----------------------------------------------------------------------
       *** CALL FOR PAPERS -- EXTENDED DEADLINE: Aug 21/28 ***

			      VMCAI 2010

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

		  Madrid, Spain, January 17-19, 2010
		     (Co-located with POPL 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 (extended):

- Submission of abstracts:    August 21, 2009
- Submission of papers:       August 28, 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 Universitaet Dresden, Germany
   Patrick Cousot, Ecole Normale Superieure, France
   Javier Esparza, Technische Universitaet Muenchen, 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 Mueller-Olm, Universitaet Muenster, Germany
   Hanne Riis Nielson, Technical University of Denmark
   Xavier Rival, Ecole Normale Superieure 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, Ecole Normale Superieure, France
   E. Allen Emerson, University of Texas at Austin, USA
   Giorgio Levi, University of Pisa, Italy
   Andreas Podelski, Universitaet 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

----------------------------------------------------------------------