Summer School on Applied Logic
All talks will take place at the DIMACS center
(Center for Discrete Mathematics and Theoretical
Computer Science at Rutgers University) located on the
Busch Campus of Rutgers Unviersity.
Meeting facilities are on the 4th floor of the CORE
Building.
Anticipated program of Tutorials.
Tutorial on Finite-Model Theory
Date: August 14-18, 1995
- Organizer: Jim Lynch
- Speakers: Neil Immerman, Phokion Kolaitis, Jim Lynch
- Email: jlynch@sun.mcs.clarkson.edu
- Syllabus:
Press
here
- Notes:
Press here
Tutorial on Proof Complexity
- Date: August 21-25, 1995
- Organizer: Toniann Pitassi
- Speakers: Sam Buss, Toniann Pitassi, Alasdair Urquhart
- Email: toni@cs.pitt.edu
- Syllabus:
Press here
- Notes: Press here
Tutorial on Computer-Aided Verification
- Date: August 28 -- September 1, 1995
- Organizer: Ken McMillan
- Speakers: Rajeev Alur, Bob Kurshan, Ken McMillan, J. Moore, Pierre Wolper
- Email: mcmillan@cadence.com
- Syllabus:
Press here
- Notes: Press here
DIMACS Homepage
Contacting the Center
Document last modified on July 18, 1995