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

August 5, 1996
DIMACS, CoRE Building, Rutgers University

Organizers:

Jean-Charles Gre'goire, INRS, Univ. de Quebec, Canada, gregoire@inrs-telecom.uquebec.ca

Gerard J. Holzmann, Bell Labs, gerard@research.att.com

Doron Peled, Bell Labs, doron@research.att.com

• Workshop Announcement

• Call for Participation

• Program

• How to Register

• Information on Accommodations

• Information on Travel Arrangements

• Proceedings available through AMS (Volume 32 in the DIMACS Series):
  Ordering information, preface and table of contents
  

Other Workshops

DIMACS Homepage