CADE-17   Carnegie Mellon University - School of Computer Science
 

CADE-17
System Competition (CASC-17)

Geoff Sutcliffe, System Competition Chair

The CADE-17 ATP System Competition (CASC-17) will be held on Saturday, June 17. For more information, please see the CASC-17 Home Page. Please note that you will need to register twice!

  1. System Registration for CASC closes May 15.
  2. Entrant Registration should be submitted with your regular CADE-17 registration.

Schedule


Saturday, June 17

10:00 Entrants' Meeting
  Connan Room, University Center
10:30 Competition
  5th Floor Cluster, Wean Hall

Monday, June 19

6:00 CASC Result Presentation
  McConomy Auditorium
  Geoff Sutcliffe and Division Winners
6:30 CASC Panel Discussion
  McConomy Auditorium

[ 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