Email Gateway (Aug 18 2022 at 12:39): Email Gateway (Aug 18 2022 at 12:39):From: Markus Mueller-Olm <olm@math.uni-muenster.de>
[Apologies for multiple copies]
===============================================================================
-------------- CALL FOR PARTICIPATION --------------
VMCAI 2009
Tenth International Conference on
Verification, Model Checking, and Abstract Interpretation
Savannah, GA, USA, January 18-20, 2009
http://cs.uni-muenster.de/vmcai09
Early registration deadline: December 19
===============================================================================
VMCAI 2009 is the 10th International Conference on Verification, Model
Checking, and Abstract Interpretation. VMCAI 2009 is co-located with
POPL 2009 and will be held at the Hyatt Regency Hotel in Savannah,
Georgia, USA, January 18-20, 2009. Information on how to register for
VMCAI is available from the conference web site:
http://cs.uni-muenster.de/vmcai09
The early registration deadline is December 19, 2008.
VMCAI centers on state-of-the-art research relevant to analysis of
programs and systems and drawn from three research communities:
Verification, Model Checking, and Abstract Interpretation. A goal is
to facilitate interaction, cross-fertilization, and the advance of
hybrid methods that combine two or all three areas. Topics covered by
VMCAI include program verification, program certification, model
checking, debugging techniques, abstract interpretation, abstract
domains, static analysis, type systems, deductive methods, and
optimization. The proceedings of the conference will be published in
the Springer-Verlag Lecture Notes in Computer Science series.
Invited Talks:
==============
Allen Emerson, co-recipient of 2008 Turing Award (Univ. of Texas):
Model Checking: Progress and Problems
Aarti Gupta (NEC Labs, Princeton):
Model Checking Concurrent Multi-Threaded Programs
Mooly Sagiv (Tel-Aviv University):
Thread Modular Shape Analysis
Invited Tutorials:
==================
Byron Cook (Microsoft Research, Cambridge):
Proving Program Termination and Liveness
Veronique Cortier (LORIA, CNRS, Nancy):
Verification of Security Protocols
Contributed Papers:
===================
The VMCAI 2009 program encompasses 24 regular papers. The list of
accepted papers is available on the conference web site.
Acknowledgements:
=================
VMCAI 2009 is held in cooperation with ACM (Association for Computing
Machinery). It is sponsored by EAPLS (European Association for
Programming Languages and Systems) and Microsoft Research.
Program Chairs:
===============
Neil Jones, University of Copenhagen, Denmark
Markus Mller-Olm, Universitt Mnster, Germany
Program Committee:
==================
Christel Baier, Technische Universitt Dresden, Germany
Ahmed Bouajjani, Universit Paris 7, France
Michael Codish, Ben-Gurion University of the Negev, Israel
Patrick Cousot, cole Normale Suprieure, Paris, France
Javier Esparza, Technische Universitt Mnchen, 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 Universitt Mnchen, 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:
===================
Tino Cortesi, Universita' Ca' Foscari, Venice, Italy
Patrick Cousot, cole Normale Suprieure, France
E. Allen Emerson, University of Texas at Austin, USA
Giorgio Levi, University of Pisa, Italy
Andreas Podelski, Universitt 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
Last updated: Oct 31 2025 at 16:27 UTC