DIMACS Summer School on Applied Logic

Tutorial on Computer-Aided Verification

Aug. 28 -- Sep. 1, 1995

All talks will be at the DIMACS Center located at Rutgers University, Busch Campus, in Piscataway, New Jersey.

Session Schedules

All sessions are 90 minutes

Monday, August 28

Tuesday, August 29

Wednesday, August 30

Thursday, August 31

Friday, September 1