![]() |
![]() |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
  |
CADE-17
17th International Conference on Automated Deduction
|
A directory with most of the pictures
taken during the whitewater rafting excursion on Sunday
afternoon. Thanks to Wilderness Voyageurs and Alexey Nogin for making the pictures available electronically! |
Some arrival information has just been emailed to all participants! |
Early registration deadline Friday, May 26 has passed!
Limited on-campus housing is still assigned on a
first-come/first-served basis!
Register on-line for CADE, all CADE-affiliated events, UNIF 2000, and on-campus housing.
Note: On-campus housing is limited and available on a first-come/first-serve basis.
Contact: cade-17@cs.cmu.edu (email),
+1 412 268 4740 (phone) or +1 412 268 3608 (fax).
On-Line Registration |
If you are a full-time student, you may be eligible for the
Woody Bledsoe Travel Award.
Please consider asking your supervisor to nominate you!
Fri Jun 16 | Sat Jun 17 | Sun Jun 18 | Mon Jun 19 | Tue Jun 20 | Wed Jun 21 | |
W1 Model Comp. W2 Induction W4 Education T3 Nat. Lang. |
CADE | C A S C |
CADE | CADE | CADE | W3 Type Theory W5 Mathematics |
Lunch | Lunch | Excursions: Fallingwater or Rafting |
Lunch Business Mtg. |
Lunch | ||
W1 Model Comp. W2 Induction W4 Education T4 TPS |
CADE | CADE | W3 Type Theory W5 Mathematics T1 Model Checking T2 Meta. Frameworks |
|||
Reception | Banquet | CASC Results |
Highlighted events require registration. Other events are included in the main conference registration.
The 14th International Workshop on Unification is co-located with CADE-17 at Carnegie Mellon University in Pittsburgh and takes place on Friday, June 16, 2000. UNIF 2000 is a separate event, but registration (including on-campus housing) is through the same on-line form. The call for contributions is still open.
Campus Map
CMU Visitor Information
Event | Room | Building |
---|---|---|
Main Program (CADE) | McConomy Auditorium | University Center |
Welcome Reception | Connan Room | University Center |
Coffee Breaks | Connan Room | University Center |
Lunches | Rangos Hall | University Center |
Banquet | Pittsburgh Golf Club | |
System Competition (CASC) | 5th Floor Cluster | Wean Hall |
Workshops (W1-W5) | various rooms | Wean Hall |
Tutorials (T1-T4) [free] | various rooms | Wean Hall |
Excursions | buses leave from | University Center |
Maria Paola Bonacina (Secretary) |
Uli Furbach (President) |
Harald Ganzinger |
Claude Kirchner |
David McAllester (CADE-17 PC Chair) |
William McCune |
Neil Murray (Treasurer) |
Tobias Nipkow (IJCAR 01 PC Co-Chair) |
Frank Pfenning (Vice President) |
David Plaisted |
John Slaney |
[ Home
| Program
| Workshops
| Tutorials
| System Competition
]
[ Accommodations
| Excursions
| Computing Facilities
| Athletic Facilities
| Restaurants
| Travel
]
[ On-Line Registration ]
[ UNIF 2000 ]