----------------------------------------------------------------------
*** CALL FOR PAPERS -- EXTENDED DEADLINE: Aug 21/28 ***
[ Please redistribute. Apologies for multiple postings. ]
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
----------------------------------------------------------------------
|
