[TYPES/announce] VMCAI 2012 CALL FOR PAPERS
rybal at in.tum.de
Wed Jul 20 09:07:34 EDT 2011
VMCAI 2012 CALL FOR PAPERS
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
Submissions can address any programming paradigm, including
concurrent, constraint, functional, imperative, logic and
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
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
Bor-Yuh Evan Chang
Viktor Kuncak, EPFL, Switzerland
Andrey Rybalchenko, TUM, Germany
VMCAI STEERING COMMITTEE
Agostino 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, 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
or contact PC chairs.
More information about the Types-announce