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
DIMACS Homepage