CADE-17   Carnegie Mellon University - School of Computer Science


Michael Kohlhase, Tutorial Chair

Tutorials will be held Friday, June 16 and the afternoon of Tuesday, June 20. Tutorials will be Wean Hall, rather than the University Center. Directions and handouts can be obtained in the 5th floor lobby of Wean Hall.

Breaks and lunch on workshop and tutorials days will be in the 5th floor lobby of Wean Hall (main entrance).

Tutorials are free! Nonetheless, you should register for tutorials together with your regular CADE registration so we can produce the right number of copies for tutorial notes and reserve adequate rooms.

Friday, June 16, Morning

T3 Automated Deduction and Natural Language Understanding
  Stephen Pulman, Cambridge University
  Wean Hall 5409 B

Friday, June 16, Afternoon

T4 Using TPS for Higher-Order Theorem Proving and ETPS for Teaching Logic
  Peter Andrews and Chad Brown, Carnegie Mellon University
  Wean Hall 5419 D

Tuesday, June 20, Afternoon

T1 Model Checking and Program Analysis
  Andreas Podelski, MPI Informatik, Saarbrücken
  Wean Hall 7500
T2 Metalogical Frameworks
  Carsten Schürmann, Carnegie Mellon University
  Wean Hall 4625

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