Special Year on Logic and Algorithms Seminar Schedule 1995-96

DIMACS is hosting a weekly seminar for the Special Year on Logic and Algorithms. The emphasis will be on the three main topics of the special year, Computer Aided Verification, Finite Model Theory, and Proof Theory. The list of speakers includes visitors at DIMACS during the course of the special year as well as DIMACS postdocs. As of January, the seminar will meet regularly on Fridays from 2:30 to 3:45 p.m. in room 431 of the CoRE building. Any changes to this schedule will be specifically noted. The seminar is open to the public and all are welcomed.

Fall Scheduled Talks

Spring Scheduled Talks

IndexIndex of Special Year on Logic and Algorithms
DIMACS Homepage
Contacting the Center
Document last modified on October 19, 1998.