CFP - VMCAI 2010, Madrid (11th Int'l Conf on Verification, Model Checking, and Abstract Interpretation)

From: Michael Hanus <>
Date: Tue, 28 Jul 2009 08:36:27 +0200

                       *** CALL FOR PAPERS ***

                              VMCAI 2010

               The Eleventh International Conference on
      Verification, Model Checking, and Abstract Interpretation

                  Madrid, Spain, January 17-19, 2010
                     (Co-located with POPL 2010)


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. VMCAI'10 is co-located with the POPL'10 conference.

The program of VMCAI'10 will consist of invited lectures, invited
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:

 program verification program certification
 model checking debugging techniques
 abstract interpretation abstract domains
 static analysis type systems
 deductive methods optimization

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 will be published by Springer in the Lecture Notes in
Computer Science series.

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. Formatting style files can be found at:

Please visit the conference website for more information.

Important Dates:

- Submission of abstracts: August 14, 2009
- Submission of papers: August 21, 2009
- Notification of acceptance: October 2, 2009
- Final version due: October 30, 2009
- Conference: January 17-19, 2010

Program Chairs:

   Gilles Barthe, IMDEA Software, Spain
   Manuel Hermenegildo, IMDEA Software and T. U. of Madrid, Spain

Program Committee:

   Christel Baier, Technische Universität Dresden, Germany
   Patrick Cousot, École Normale Supérieure, France
   Javier Esparza, Technische Universität München, Germany
   Patrice Godefroid, Microsoft Research, USA
   Orna Grumberg, Technion, Israel
   Sumit Gulwani, Microsoft Research, USA
   Joxan Jaffar, National University of Singapore
   Rustan Leino, Microsoft Research, USA
   Ken McMillan, Cadence, USA
   Markus Müller-Olm, Universität Münster, Germany
   Hanne Riis Nielson, Technical University of Denmark
   Xavier Rival, École Normale Supérieure and INRIA, France
   David Sands, Chalmers University of Technology, Sweden
   David Schmidt, Kansas State University, USA
   Hongseok Yang, Queen Mary, University of London, United Kingdom
   Kwangkeun Yi,Seoul National University, Korea
   Greta Yorsh, IBM TJ Watson Research Center, NY, USA

Steering Committee:

   Tino Cortesi, Universita' Ca' Foscari, Venice, Italy
   Patrick Cousot, École Normale Supé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


curry mailing list
Received on Di Jul 28 2009 - 08:37:02 CEST

This archive was generated by hypermail 2.3.0 : Fr Okt 07 2022 - 07:15:24 CEST