News

• Slides of (some of) the invited talks are available now from this page.
• The proceedings are now available from Springer as LNCS 5403. They are also available online (access to full papers is restricted to LNCS subscribers).
• The (preliminary) program is available.
• Registration is open. Please note that for early registrations on or before December 19 a reduced fee is available.
• The list of accepted papers is available.
• Submission is closed.
• Due to multiple requests, the deadline for paper submissions has been extended (see Important Dates). Note that we require submission of the abstract by the original deadline, August 22, 2008.
• July 29, 2008: Submission is open.

About VMCAI

VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine the three areas.

The program of VMCAI'09 will consist of invited lectures, tutorials, refereed research papers, and tool demonstrations. Research contributions can report new results as well as experimental evaluations and comparisons of existing techniques. Topics include, but are not limited to:

Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic and object-oriented programming. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with refereed proceedings. The proceedings are published by Springer as LNCS 5403 of the Lecture Notes in Computer Science series. The proceedings are already available online (access to full papers is restricted to LNCS subscribers).

Invited Speakers

• Allen Emerson, corecipient of the 2008 ACM Turing award (University of Texas at Austin): Model Checking: Progress and Problems (abstract)
• Aarti Gupta (NEC Labs, Princeton): Model Checking Concurrent Programs (abstract, slides)
• Mooly Sagiv (Tel-Aviv University): Thread Modular Shape Analysis (abstract, slides)

Invited Tutorials

• Byron Cook (Microsoft Research, Cambridge): Proving Program Termination and Liveness (abstract, slides)
• Véronique Cortier (LORIA, CNRS, Nancy): Verification of Security Protocols (abstract, slides)

Important Dates

• Submission deadline (extended): abstracts must be received by Friday, August 22, 2008, and complete papers by Tuesday, August 26, 2008. These deadlines are strict; submissions where abstract or paper are received later will not be evaluated.
• Notification of acceptance: October 6, 2008
• Final version due: October 31, 2008
• Early registration: On or before December 19, 2008
• Conference: January 18-20, 2009

Submission

The page limit for submissions is 15 pages in Springer's LNCS format. Additional material may be placed in an appendix, to be read at the discretion of the reviewers and to be omitted in the final version. Formatting style files and further guidelines for formatting can be found at http://www.springer.de/comp/lncs/authors.html. Submissions deviating from these guidelines risk summary rejection.

Submission is closed. It was handled via EasyChair: http://www.easychair.org/conferences/?conf=vmcai09.

Registration

In order to register for VMCAI please follow the instructions on the online registration page.

Venue and Accommodation

VMCAI'09 is co-located with POPL'09. For information about venue and accomodation please visit the POPL pages.

Committees

Program Chairs

Neil Jones, University of Copenhagen, Denmark
Markus Müller-Olm, Universität Münster, Germany

Program Committee

Christel Baier, Technische Universität Dresden, Germany
Ahmed Bouajjani, Université Paris 7, France
Michael Codish, Ben-Gurion University of the Negev, Israel
Patrick Cousot, École Normale Supérieure, Paris, France
Javier Esparza, Technische Universität München, Germany
Klaus Havelund, NASA JPL, USA
Michael Huth, Imperial College London, Great-Britain
Bengt Jonsson, Uppsala Universitet, Sweden
Sorin Lerner, University of California, San Diego, USA
Francesco Logozzo, Microsoft Research, Redmond, USA
Pete Manolios, Northeastern University, Boston, USA
Amir Pnueli, New York University, USA
C. R. Ramakrishnan, SUNY at Stony Brook, NY, USA
Andrey Rybalchenko, MPI for Software Systems, Germany
Helmut Seidl, Technische Universität München, Germany
Henny Sipma, Stanford University, USA
Carolyn Talcott, SRI International, Menlo Park, CA, USA
Greta Yorsh, IBM TJ Watson Research Center, NY, USA

Steering Committee

Agostino Cortesi, Universita' Ca' Foscari, Venice, Italy
Patrick Cousot, École Normale Suipérieure, France
E. Allen Emerson, University of Texas at Austin, USA
Giorgio Levi, University of Pisa, Italy
Andreas Podelski, Universität Freiburg, Germany
Thomas W. Reps, University of Wisconsin at Madison, USA
David Schmidt, Kansas State University, USA
Lenore Zuck, University of Illinois at Chicago, USA

Sponsors

	Association for Computing Machinery
	European Association for Programming Languages and Systems
	Microsoft Research

Legal Disclosure | Privacy Statement