[hofa] Fwd: [TYPES/announce] Call for Papers: VMCAI'11

David Van Horn dvanhorn at ccs.neu.edu
Mon Jul 26 13:30:46 PDT 2010

-------- Original Message --------
Subject: [TYPES/announce] Call for Papers: VMCAI'11
Date: Thu, 15 Jul 2010 10:23:18 -0500
From: Dave Schmidt <schmidt at cis.ksu.edu>
To: types-announce at lists.seas.upenn.edu

[ 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


More information about the HOFA mailing list