17th International Conference on Automated Deduction
A directory with most of the pictures
taken during the whitewater rafting excursion on Sunday
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: email@example.com (email), +1 412 268 4740 (phone) or +1 412 268 3608 (fax).
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.
T3 Nat. Lang.
|CADE||CADE||CADE|| W3 Type Theory
| W1 Model Comp.
|CADE||CADE|| W3 Type Theory
T1 Model Checking
T2 Meta. Frameworks
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.
|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|
|David McAllester, Chair|
|Hubert Comon||Paliath Narendran|
|David Dill||Robert Nieuwenhuis|
|Ulrich Furbach||Tobias Nipkow|
|Harald Ganzinger||Hans de Nivelle|
|Didier Galmiche||Larry Paulson|
|Mike Gordon||David Plaisted|
|Tom Henzinger||Amir Pnueli|
|Deepak Kapur||Mark Stickel|
|Ursula Martin||Moshe Y. Vardi|
|Ken McMillan||Andrei Voronkov|
|Maria Paola Bonacina (Secretary)|
|Uli Furbach (President)|
|David McAllester (CADE-17 PC Chair)|
|Neil Murray (Treasurer)|
|Tobias Nipkow (IJCAR 01 PC Co-Chair)|
|Frank Pfenning (Vice President)|