CADE-17

17th International Conference on Automated Deduction
June 17-20, 2000
Carnegie Mellon University
Pittsburgh, Pennsylvania, USA

CADE is the major international forum for research on all aspects of automated deduction since 1974.

Frank Pfenning, Conference Chair
David McAllester, Program Chair
Michael Kohlhase, Workshop Chair
Geoff Sutcliffe, System Competition Chair

CADE is sponsored by Cedilla Systems and Cadence.

Excursion (Brand-New!)

Arrival Information (New!)

Registration

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).

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!

Program Overview

Highlighted events require registration. Other events are included in the main conference registration.

UNIF 2000

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.

Event Locations

Campus Map
CMU Visitor Information

Program Committee

CADE Trustees

[ Home | Program | Workshops | Tutorials | System Competition ]
[ Accommodations | Excursions | Computing Facilities | Athletic Facilities | Restaurants | Travel ]
[ On-Line Registration ]        [ UNIF 2000 ]

cade-17@cs.cmu.edu
www.cs.cmu.edu/~cade
Contact Us