VMCAI'02 call for papers (Venice, Jan 21-22)

cortesi@dsi.unive.it (Tino Cortesi)
4 Nov 2001 23:59:22 -0500

          From comp.compilers

Related articles
VMCAI'02 call for papers (Venice, Jan 21-22) cortesi@dsi.unive.it (2001-11-04)
| List of all articles for this month |

From: cortesi@dsi.unive.it (Tino Cortesi)
Newsgroups: comp.compilers
Date: 4 Nov 2001 23:59:22 -0500
Organization: http://groups.google.com/
Keywords: conference, CFP
Posted-Date: 04 Nov 2001 23:59:22 EST

                                                  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 UC de Louvain (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)


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.