posted by user: wimmer || 8422 views || tracked by 23 users: [display]

VMCAI 2012 : 13th International Conference on Verification, Model Checking, and Abstract Interpretation


Conference Series : Verification, Model Checking and Abstract Interpretation
When Jan 22, 2012 - Jan 24, 2012
Where Philadelphia, USA
Abstract Registration Due Aug 12, 2011
Submission Deadline Aug 19, 2011
Notification Due Oct 10, 2011
Categories    verification   formal methods   model checking

Call For Papers

13th International Conference on
Verification, Model Checking, and Abstract Interpretation (VMCAI)
January 2012
Collocated with POPL 2012


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'12 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:

* program verification
* model checking
* abstract interpretation
* static analysis
* deductive methods
* program certification
* debugging techniques
* abstract domains
* type systems
* 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. Past proceedings have been published by Springer Verlag as volumes in the Lecture Notes in Computer Science series, as will be the case this year.
Invited Speakers

Important Dates

All deadline times are 23:00 Central European time, which is typically 5pm in Boston. For example, here is a link to the submission time in various time zones.
Abstract Submission August 12, 2011
Paper Submission August 19, 2011
Notification of Acceptance October 10, 2011
Conference January 22-24, 2012 (right before POPL 2012)

Submission and Proceedings

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 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


Program Committee

* Josh Berdine
* Nikolaj Bjorner
* Bor-Yuh Evan Chang
* Wei-Ngan Chin
* Radhia Cousot
* Sophia Drossopoulou
* Philippa Gardner
* Patricia Hill
* Marieke Huisman
* Radu Iosif
* Daniel Kröning
* Viktor Kuncak
* Barbara König
* 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

Program Committee Chairs

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

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

Related Resources

VSTTE 2021   VSTTE'21: Working Conference on Verified Software: Theories, Tools, and Experiments
FormaliSE 2022   10th International Conference on Formal Methods in Software Engineering
MoDeVVa 2021   18th Workshop on Model-Driven Engineering, Verification, and Validation (MoDeVVA)
Petri Nets 2022   43rd International Conference on Application and Theory of Petri Nets and Concurrency
MDPI-Electronics-SI-QualRiskDistribSys 2022   MDPI Electronics Special Issue on Quality Assurance and Risk Mitigation in Large-Scale Distributed Systems
Fact-Checking, Fake News in OSN 2021   2nd International Symposium on Fact-Checking, Fake News and Malware Detection in Online Social Networks (OSNs)
SIMULTECH 2022   12th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
ICST 2022   15th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2022
MODELSWARD 2022   10th International Conference on Model-Driven Engineering and Software Development
IEEE-IIB 2021   IEEE Intelligent Informatics Bulletin: Call for Ph.D. Thesis Abstracts