[Prev][Next][Index][Thread]
Call for Papers: VMCAI'04, Venice, Italy
*****************************************************************
* *
* Call For Papers *
* VMCAI'04 *
* *
* Fifth International Conference on Verification, *
* Model Checking and Abstract Interpretation *
* *
* Auditorium S.Margherita *
* Venice, Italy *
* January 11-13, 2004 *
* (co-located with POPL'04) *
* *
* http://www.dsi.unive.it/~vmcai04/ *
* *
* Paper submission deadline: AUGUST 22, 2003 *
* Submit at *
* http://sttt.cs.uni-dortmund.de/vmcai2004/servlet/Conference *
* *
*****************************************************************
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 that combine the three areas. With the growing
need for formal methods to reason about complex, infinite-state,
and embedded systems, such hybrid methods are bound to be of great
importance.
The conference will feature a keynote speech by
David Harel (Weizmann Institute),
invited talks by
Dawson Engler (Stanford University) and
Mooly Sagiv (Tel Aviv University),
and a tutorial on security by
Joshua Guttman (Mitre Corporation).
Papers are solicited reporting new results as well as experimental
evaluation and comparisons of existing techniques.
Authors are invited to submit a PDF or Postcript file (max. 12 pages),
formatted according to Springer LNCS guidelines, via the conference service:
http://sttt.cs.uni-dortmund.de/vmcai2004/servlet/Conference
The URL will be activated in August.
The proceedings of the conference will be published in the
Springer-Verlag Lecture Notes in Computer Science. Selected papers
will be invited to a Special Section of Springer's international
journal on "Software Tools for Technology Transfer" (STTT).
Topics include but are not limited to:
* program verification * static analysis techniques
* model checking * program certification
* type systems * abstract domains
* debugging techniques * compiler optimization
* embedded systems * formal analysis of security protocols.
Important Dates:
Paper Submission Deadline: August 22, 2003
Notification of acceptance: October 3, 2003
Camera-Ready copy due: November 7, 2003
Conference: January 11-13,2004
Program Committee co-chairs:
GIORGIO LEVI (University of Pisa, I)
BERNHARD STEFFEN (Universitat Dortmund, D)
Program Committee
RALPH BACK (Abo Akademi University, FIN)
AGOSTINO CORTESI (University Ca' Foscari di Venezia, I)
RADHIA COUSOT (CNRS and Ecole Polytechnique, F)
SUSANNE GRAF (VERIMAG, Grenoble, F)
RADU GROSU (SUNY at Stony Brook, USA)
ORNA GRUMBERG (Technion, IL)
GERARD HOLZMANN (Bell Laboratories, USA)
YASSINE LAKHNECH (Universite' Joseph Fourier, Grenoble, F)
JIM LARUS (Microsoft Research, USA)
MARKUS MULLER-OLM (Fernuniversitat Hagen, D)
HANNE RIIS NIELSON (Technical University of Denmark, DK)
DAVID A. SCHMIDT (Kansas State University, USA)
LENORE ZUCK (New York University, USA)
VMCAI Steering Committee
Agostino Cortesi, Univ. Ca' Foscari (I)
E. Allen Emerson, University of Texas, Austin (USA)
Giorgio Levi, University of Pisa (I)
Andreas Podelski, Max Planck Institute (D)
Thomas W. Reps, University of Wisconsin, Madison (USA)
David A. Schmidt, Kansas State University (USA)
Lenore Zuck, New York University (USA)