[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Call For Papers: VMCAI 2010, Madrid, January 17-19, 2010



===============================================================
 ------------------- CALL FOR PAPERS -------------------

                          VMCAI 2010

           The Eleventh International Conference on
  Verification, Model Checking, and Abstract Interpretation

              Madrid, Spain, January 17-19, 2010

          http://software.imdea.org/events/vmcai10/

================================================================

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. VMCAI'10 is co-located with the POPL'10
conference.

The program of VMCAI'10 will consist of invited lectures, invited
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         program certification
 model checking               debugging techniques
 abstract interpretation      abstract domains
 static analysis              type systems
 deductive methods            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. The proceedings will be published by
Springer in the 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. Formatting style files can be found at:

 http://www.springer.de/comp/lncs/authors.html

Please visit the conference website for more information.

Important Dates:

- Submission of abstracts:    August 14, 2009
- Submission of papers:       August 21, 2009
- Notification of acceptance: October 2, 2009
- Final version due:          October 30, 2009
- Conference:                 January 17-19, 2010

Program Chairs:

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

Tino 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