[Prev][Next][Index][Thread]
VMCAI 2002
%-&-%-&-%-&-%-&-%-&-%-&-%-&-%-&-%-&-%-&-%-&-%-&-%-&-%-&-%-&-%-&-%-&-%-&-%-&-%
second call for papers
THIRD INTERNATIONAL WORKSHOP ON
VERIFICATION, MODEL CHECKING AND ABSTRACT INTERPRETATION
January 21-22, 2002
Venice, Italy
http://www.dsi.unive.it/~cortesi/vmcai02.htm
%-&-%-&-%-&-%-&-%-&-%-&-%-&-%-&-%-&-%-&-%-&-%-&-%-&-%-&-%-&-%-&-%-&-%-&-%-&-%
Main topics:
* program verification * static analysis techniques
* model checking * program certification
* type systems * abstract domains
* debugging techniques * compiler optimization
Papers Submission: November 18, 2001
Notification: December 16, 2001
Authors are invited to submit an extended abstract (7 to 12 pages) by e-mail
in PostScript format to cortesi@dsi.unive.it, following the LNCS guidelines.
It is planned to publish the post-proceedings in the Springer Lecture Notes in
Computer Science series.
Program Committee:
Annalisa Bossi Univ. Ca' Foscari (I)
Agostino Cortesi (chair) Università Ca' Foscari (I)
Dennis Dams Bell Labs (USA) and TU Eindhoven (NL)
Javier Esparza TU Munchen (D)
Chris Hankin Imperial College (UK)
Joxan Jaffar NU Singapore (SU)
Thomas Jensen Irisa Rennes (F)
Cosimo Laneve Univ. di Bologna (I)
Baudouin Le Charlier Louvain La Neuve (B)
Michael Leuschel Univ. of Southampton (UK)
Giorgio Levi Univ. di Pisa (I)
Torben Mogensen DIKU, Copenhagen (DK)
Supratik Mukhopadhyay University of Pennsylvania (USA)
Thomas Reps Univ of Wisconsin (USA)
Hanne Riis Nielson TU of Denmark (DK)
David Schmidt Kansas State University (USA)
Pascal Van Hentenryck Brown University (USA)
Sponsored by:
Dip. di Informatica, Università Ca' Foscari di Venezia
EAPLS (European Association for Programming Languages and Systems)