News

• 2010-01-17 - 2010-01-19: VMCAI 2010!
• 2009-11-18: Registration open, early registration deadline: December 22
• 2009-11-03: Hotel reservation deadline: December 28
• 2009-11-03: Program published
• 2009-10-30: Camera ready versions due
• 2009-10-29: List of invited speakers available
• 2009-10-01: List of accepted papers available
• 2009-08-21: Submission closed
• 2009-08-16: Due to multiple requests, the deadline for paper submissions has been extended by one week (see Important Dates).
• 2009-06-09: CFP distributed
• 2009-06-05: Submission open

About VMCAI

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

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 Verlag as a volume in the Lecture Notes in Computer Science series.

Invited Speakers

• Javier Esparza (Technical University of Munich)
• Rustan Leino (Microsoft Research)
• Reinhard Wilhelm (Saarland University)

Invited Tutorials

• Roberto Giacobazzi (University of Verona)
• Joost Pieter Katoen (Aachen University)
• Viktor Kuncak (EPFL)

Important Dates

• Early registration deadline: December 22
• Hotel reservation deadline: December 28
• Conference: January 17-19, 2010

Closed:

• Final version due: October 30, 2009
• Notification of acceptance: October 2, 2009
• Submission deadline (extended):
  • abstracts must be received by Friday, August 21, 2009, and
  • complete papers by Friday, August 28, 2009.

Submission

Please note that submission is now closed.

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 http://www.easychair.org/conferences/?conf=vmcai10.

Registration

In order to register for VMCAI please follow the instructions on the online registration page.

Venue and Accommodation

VMCAI'10 is co-located with POPL'10. For information about venue and accomodation please visit the POPL pages.

Visas and Visa Support Letters

Spain is part of the EU "Schengen" area. Please be advised that for some nationalities a visa may be required. If in doubt we recommend that you check well ahead of time with the closest Spanish embassy or consulate. If you do need to apply for a visa, need a support letter, and you are also registering for POPL and/or other associated events, then please follow the instructions on the POPL pages in order to get a visa support letter for the whole event. If you need a support letter and are only registering for VMCAI then please send a request to vmcai10 at software.imdea.org

Committees

Program Chairs

Gilles Barthe, IMDEA Software, Spain
Manuel Hermenegildo, IMDEA Software and Tech. 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

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

Accepted papers

• Rajeev Alur and Swarat Chaudhuri.
  Temporal Reasoning for Procedural Programs.
• Joerg Kreiker, Helmut Seidl and Vesal Vojdani.
  Shape Analysis of Low-level C with Overlapping Structures.
• Cesar Sanchez and Martin Leucker.
  Regular Linear Temporal Logic with Past.
• Meera Sridhar and Kevin Hamlen.
  Model-Checking In-lined Reference Monitors.
• Viktor Vafeiadis.
  RGSep Action Inference.
• Jori Dubrovin.
  Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing.
• Alexander Summers and Sophia Drossopoulou.
  A Considerate Specification of the Composite Pattern.
• Benjamin Aminof, Orna Kupferman and Aniello Murano.
  Improved Model Checking of Hierarchical Systems.
• Bjoern Wachter and Lijun Zhang.
  Best Probabilistic Transformers.
• Thomas Henzinger, Thibaud B. Hottelier, Laura Kovacs and Andrei Voronkov.
  Invariant and Type Inference for Matrices.
• Valentin Perrelle and Nicolas Halbwachs.
  An analysis of permutations in arrays.
• Matthew Might.
  Shape Analysis of Higher-Order Programs via Abstract Interpretation.
• Mark Marron, Rupak Majumdar, Darko Stefanovic and Deepak Kapur.
  Shape Analysis with Reference Set Relations.
• Lei Bu, Jianhua ZHAO and Xuandong Li.
  Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming.
• Liqian Chen, Antoine Mine, Ji Wang and Patrick Cousot.
  An abstract domain for discovering interval linear equalities.
• Yungbum Jung, Soonho Kong, Bow-Yaw Wang and Kwangkeun Yi.
  Deriving Invariants in Propositional Logic by Algorithmic Learning, Decision Procedure, and Predicate Abstraction.
• Kuat Yessenov, Ruzica Piskac and Viktor Kuncak.
  Collections, Cardinalities, and Relations.
• Rohit Chadha, Axel Legay, Pavithra Prabhakar and Mahesh Viswanathan.
  Complexity bounds for the verification of real-time software.
• Andy King and Harald Sondergaard.
  Automatic Abstraction for Congruences.
• Vijay D'silva, Daniel Kroening, Mitra Purandare and Georg Weissenbacher.
  Interpolant Strength.
• Alexander Malkis, Shaz Qadeer and Shuvendu Lahiri.
  Abstract Threads.

Sponsors

	European Association for Programming Languages and Systems
	Microsoft Research
	Madrid Institute for Advanced Studies in Software Development Technologies
	Spanish Ministry of Science and Innovation
	Association for Computing Machinery