[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


                            CALL FOR PAPERS

                              VMCAI 2011

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

                  Austin, Texas, USA, January 23-25, 2011
                     (Co-located with POPL 2011)



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

The  program of  VMCAI'11 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:


Please visit the conference website for more information.

Submission is by PDF file at


Important Dates:

- Submission of abstracts:    August 22, 2010
- Submission of papers:       August 29, 2010
- Notification of acceptance: October 10, 2010
- Final version due:          November 3, 2010
- Conference:                 January 23-25, 2011

Program Chairs:

Ranjit Jhala, University of California, San Diego
David Schmidt, Kansas State University

Program Committee:

Josh Berdine, Microsoft Research
Ahmed Bouajjani, University of Paris VII
Swarat Chaudhuri, Pennsylvania State University
Patrick Cousot, École Normale Supérieure, France
Azadeh Farzan, University of Toronto
Cormac Flanagan, University of California, Santa Cruz
Aari Gupta, NEC Laboratories America
Ranjit Jhala, University of California, San Diego
Orna Kupferman, Hebrew University, Jerusalem
Viktor Kuncak, École Polytechnique Fédérale de Lausanne
Akash Lal, Microsoft Research
Kedar Namjoshi Bell Labs
Corina Pasareanu, NASA Ames Lab
Ganesan Ramalingam, Microsoft Research
Andrey Rybalchenko, Technische Universität München
Sriram Sankaranarayanan, University of Colorado, Boulder
David Schmidt, Kansas State University
Dino Di Stefano, Queen Mary, University of London
Tachio Terauchi, Tohoku University
Lenore Zuck, University of Illinois at Chicago

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


Reply via email to