[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)