posted by user: ndisp || 2289 views || tracked by 35 users: [display]

VMCAI 2016 : 17th International Conference on Verification, Model Checking, and Abstract Interpretation


Conference Series : Verification, Model Checking and Abstract Interpretation
When Jan 17, 2016 - Jan 19, 2016
Where St. Petersburg, Florida, United States
Abstract Registration Due Sep 4, 2015
Submission Deadline Sep 11, 2015
Notification Due Oct 10, 2015
Categories    verification   formal methods   model checking

Call For Papers

17th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2016) January 17-19, 2016, St. Petersburg, Florida, United States

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 2016 will consist of refereed research papers 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
* Abstract Domains
* Program Synthesis
* Static Analysis
* Type Systems
* Deductive Methods
* Program Certification
* Error Diagnosis
* Program Transformation
* Hybrid and Cyber-physical Systems
Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic, and object-oriented programming.

Important Dates
Abstract submission Fri 4 Sep 2015
Paper submission Fri 11 Sep 2015
Author notification Sat 10 Oct 2015
VMCAI 2016 conference Sun 17 - Tue 19 Jan 2016

Submissions are restricted to 17 pages in Springer's LNCS format, not counting references. 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 the Springer website.

Submissions must be uploaded via the paper submission site:

Accepted papers will be published in Springer’s Lecture Notes in Computer Science series.

Student Travel Funding
We are in the process of acquiring funds to sponsor travel and other costs of attending VMCAI in St. Petersburg, Florida. Only students who are registered (or will register) for VMCAI are eligible to apply. If you are interested, please send the following information to
* Are you presenting a paper at VMCAI? If not, then a short paragraph on why you want to attend VMCAI.
* An estimate of the cost (travel and accommodation).
* Will you be able to attend the conference if we cannot fund you?
* Are you studying at a US university?
* A copy of your CV.

Program chairs
Barbara Jobstmann (EPFL and CNRS-Verimag)
K. Rustan M. Leino (Microsoft Research)

Program Committee
Bor-Yuh Evan Chang (University of Colorado at Boulder)
Hana Chockler (King's College)
Eva Darulova (EPFL)
Rayna Dimitrova (MPI-SWS)
Javier Esparza (TU München)
Aarti Gupta (Princeton University)
Arie Gurfinkel (Carnegie Mellon University)
Barbara Jobstmann (EPFL and CNRS-Verimag)
K. Rustan M. Leino (Microsoft Research)
Francesco Logozzo (Facebook)
Madhavan Mukund (Chennai Mathematical Institute)
Peter Müller (ETH Zürich)
David Parker (University of Birmingham)
Andreas Podelski (University of Freiburg)
Nadia Polikarpova (MIT CSAIL)
Philipp Ruemmer (Uppsala University)
Roopsha Samanta (Institute of Science and Technology)
Martina Seidl (Johannes Kepler University Linz)
Sanjit A. Seshia (UC Berkeley)
Sharon Shoham (The Academic College of Tel Aviv Yaffo)
Tachio Terauchi (Japan Advanced Institute of Science and Technology)
Caterina Urban (Ecole Normale Superieure)
Thomas Wies (New York University)
Lenore Zuck (University of Illinois at Chicago)

Organizing Committee
Outreach Activities Chair: Ruzica Piskac (Yale University)
Treasurer & Conference Manager: Lenore Zuck (University of Illinois at Chicago)

Steering Committee
Agostino Cortesi (Universita Ca Foscari of Venezia)
Patrick Cousot (CNRS & ENS & INRIA, France and NYU)
E. Allen Emerson (University of Texas at Austin)
Andreas Podelski (University of Freiburg)
Thomas W. Reps (University of Wisconsin at Madison)
David Schmidt (Kansas State University)
Lenore Zuck (University of Illinois at Chicago)

Related Resources

VMCAI 2017   International Conference on Verification, Model Checking,and Abstract Interpretation
NFM 2017   The 9th NASA Formal Methods Symposium
CAV 2017   29th International Conference on Computer-Aided Verification
FSEN 2017   Fundamentals of Software Engineering
Petri Nets 2017   CFP 38th Int. Conf. on APPLICATIONS AND THEORY OF PETRI NETS AND CONCURRENCY (Petri nets 2017), Zaragoza, Spain, June 25-30, 2017
FTSCS 2016   Fifth International Workshop on Formal Techniques for Safety-Critical Systems
IMPACT 2017   7th International Workshop on Polyhedral Compilation Techniques
QEST 2017   14th International Conference on Quantitative Evaluation of SysTems
SATT - 2016   Software Algorithms, Tools, and Technologies for Model Verification and Validation
SAS 2016   23rd Static Analysis Symposium