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
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, firstname.lastname@example.org (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
Next: Registration Form
Contacting the Center
Document last modified on August 24, 1998.