========================================================================
--------------- FINAL CALL FOR PAPERS --------------------
The Eighth International Conference on Verification, Model Checking,
and Abstract Interpretation
Nice, France, January 14-16, 2007
Conference website: http://research.microsoft.com/vmcai07/
Paper submission website: http://www.easychair.org/VMCAI07/
========================================================================
=
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'07 is
co-located with the POPL'07 conference.
The program of VMCAI'07 will consist of invited lectures, 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 reviewer. Formatting style files can be found at:
http://www.springer.de/comp/lncs/authors.html
Submissions deviating from these guidelines risk summary rejection.
Important Dates:
Submission Deadline: September 28, 2006 (FIRM!!)
Notification of Acceptance: October 27, 2006
Final Version Due: November 10, 2006
Conference: January 14-16, 2007
Invited Speakers:
Tom Reps: WYSINWYX: What You See Is Not What You eXecute
Moshe Vardi: Automata-Theoretic Model Checking Revisited
Hongseok Yang: Shape Analysis for Low-level Code
Invited Tutorials:
Ken McMillan: Interpolants and Symbolic Model Checking
Madhusudan Parthasarathy: Learning Algorithms and Formal
Verification
Peter Revesz: Constraint-Database Tools for Software Verification
Program Chairs:
Byron Cook and Andreas Podelski
Program Committee:
Marsha Chechik Ed Clarke
Byron Cook Radhia Cousot
Javier Esparza Limor Fix
Roberto Giacobazzi Patrice Godefroid
Neil Jones Ken McMillan
Kedar Namjoshi Andreas Podelski
Jean-Francois Raskin Scott Stoller
Yassine Lakhnech Markus Mueller-Olm
Peter O'Hearn Tayssir Touili
Lenore Zuck
_________________________________________________________________________________
mozart-users mailing list
mozart-users@ps.uni-sb.de
http://www.mozart-oz.org/mailman/listinfo/mozart-users
