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
- DIMACS Center
- P.O. Box 1179
- Busch Campus
- Rutgers University
- Piscataway, NJ 08855-1179
Previous: Program
Next: Registration Form
Index
DIMACS Homepage
Contacting the Center
Document last modified on August 24, 1998.