The Coq mailing list

[Harald Ruess <ruess AT csl.sri.com>]

Subject: Special Session on ``Simulation and Verification''
Cc: 
lin AT informatik.uni-rostock.de,
 ruess
--text follows this line--


Dear Colleague: since the Winter Simulation Conference is
not too well advertised in the formal methods community,
I would like to take the opportunity to point you to a special 
session on

          Simulation and Verification

which might be of particular interest to recipients of this list.
This session is part of the modelling methodology track
(http://www.informatik.uni-rostock.de/~lin/WinterSim/)
of the Winter Simulation Conference (http://www.wintersim.org)
in New Orleans from Dec 7-10. 

All submissions will be peer reviewed. Accepted papers will be published 
in both the print volume and CD-ROM versions of the conference proceedings, 
both of which will be copyrighted and widely disseminated. 

Deadline for regular paper submission is April 1, 2003. For 
further information about the submission process see  
   
       http://www.wintersim.org/wsc03cfp.htm#deadlines

and information about required formatting can be found at

       http://www.wintersim.org/authkit.htm

Please, contact me 
(ruess AT csl.sri.com)
 or Lin Uhrmacher 
(lin AT informatik.uni-rostock.de)
 if you are having further questions.

Best regards,

Harald Ruess