[ecoop-info] [VMCAI2012] VMCAI 2012 CALL FOR PAPERS

Andrey Rybalchenko rybal at in.tum.de
Thu Jul 28 10:54:27 CEST 2011


13th International Conference on
Verification, Model Checking, and Abstract Interpretation (VMCAI)


January 22-24, 2012, Philadelphia, USA
Collocated with POPL 2012 ( http://www.cse.psu.edu/popl/12/ )
39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages


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 these and related areas.

The program of VMCAI'12 will consist of refereed research papers and
tool demonstrations, as well as invited lectures and tutorials.
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, model checking, abstract
interpretation and abstract domains, program synthesis, static
analysis, type systems, deductive methods, program certification,
debugging techniques, program transformation, optimization, hybrid and
cyberphysical systems.

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 overlap with papers that have been published or
that are simultaneously submitted to a journal or a conference with
refereed proceedings. Proceedings are published by Springer Verlag as
volumes in the Lecture Notes in Computer Science series.


Abstract Submission: August 12, 2011
Paper Submission: August 19, 2011
Acceptance Notification: October 10, 2011
Conference: January 22-24, 2012 (right before POPL)

The submission system is now open and early submissions are welcome.
The deadlines are strict and will not be changed.


The VMCAI 2012 proceedings will be published as a volume in Springer's
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 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.

Please prepare your submission in accordance with the rules described
above and submit a pdf file via



Josh Berdine
Nikolaj Bjorner
Bor-Yuh Evan Chang
Wei-Ngan Chin
Radhia Cousot
Sophia Drossopoulou
Philippa Gardner
Patricia Hill
Marieke Huisman
Radu Iosif
Daniel Kroening
Viktor Kuncak
Barbara Koenig
Francesco Logozzo
Rupak Majumdar
Greg Morrisett
Corina Pasareanu
Andreas Podelski
Sriram Rajamani
Andrey Rybalchenko
Mooly Sagiv
Sriram Sankaranarayanan
Helmut Veith
Heike Wehrheim
Eran Yahav
Lenore Zuck


Viktor Kuncak, EPFL, Switzerland
Andrey Rybalchenko, TUM, Germany


Agostino Cortesi, Universita' Ca' Foscari, Venice, Italy
Patrick Cousot, Ecole Normale Superieure, France
E. Allen Emerson, University of Texas at Austin, USA
Andreas Podelski, University of 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


Please consult


or contact PC chairs.

More information about the ecoop-info mailing list