SPIN 2002
9th International SPIN Workshop on Model Checking of Software
April 11-13, 2002, Grenoble, France
A satellite event of ETAPS 2002
Final Call for Papers
==========================================================================
>>>>>>>>>>>>> EXTENDED Submission Deadline: December 19, 2001 <<<<<<<<<<<<<
==========================================================================
SPIN 2002 invited speakers:
Edmund M. Clarke and Patrick Cousot (jointly with ETAPS 2002)
---------------------------------------------------------------------------
Solicited Contributions:
Technical Papers, Tutorials, Tool Demonstrations
---------------------------------------------------------------------------
Complete Call for Papers:
http://tele.informatik.uni-freiburg.de/spin2002/cfp.html
Paper Submission Web Site:
http://www.metaframe.de/spin2002/servlet/Conference
---------------------------------------------------------------------------
-----------
you received this e-mail via the individual or collective address
[log in to unmask]
to unsubscribe from ETAPS list: contact [log in to unmask]
-----------
|