DIMACS Workshop Registration Form
DIMACS Workshop Registration Form
Workshop on SPIN96 --
2nd International SPIN Verification Workshop
Algorithms, Applications, Tool Use, Theory
August 5, 1996
Name: ..................................
Title: .................................
Affiliation: ...........................
Address: ...............................
.........................................
.........................................
Country: ................................
Phone: .................................
Fax: ...................................
Email: .................................
Talk title/topic: .....................................................
Will you want to give a software demo? Yes .... No .... Maybe ......
Other special needs: ...............................................
To help us improve publicity and to gather information requested by
sponsors, please answer the following:
Is your position primarily:
Student: __ Faculty: __ Researcher: __
Is your home institution:
University: __ Corporate Lab: __ Government Lab: __
Other (Please describe):. ..............................................
How did you hear about this workshop: ..................................
Previous: Registration
Workshop Index
DIMACS Homepage
Contacting the Center
Document last modified on August 24, 1998.