DIMACS Workshop SPIN96 -- 2nd International SPIN Verification Workshop Algorithms, Applications, Tool Use, Theory

August 5, 1996
DIMACS, CoRE Building, Rutgers University

Registration and Participant Support

The DIMACS Conference Center at Rutgers can accommodate about 100 participants. Subject to capacity constraints, the workshop is open to all researchers. If possible, please pre-register, although registration at the conference is permitted. THERE IS NO REGISTRATION FEE.

To register, please email a Workshop Registration Form to Pat Pravato, Workshop Coordinator, pravato@dimacs.rutgers.edu (908) 445-5930.

or send it by postal mail:

Workshop Coordinator
P.O. Box 1179
Busch Campus
Rutgers University
Piscataway, NJ 08855-1179

Previous: Program
Next: Registration Form
DIMACS Homepage
Contacting the Center
Document last modified on August 24, 1998.