[Om-announce] VMCAI'07: Call for papers

[Byron Cook]

CALL FOR PAPERS

VMCAI'07, [The Eighth International Conference on Verification, Model
Checking, and Abstract Interpretation]

Location: Nice, France, January 14-16, 2007

Website: http://research.microsoft.com/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 8, 2006

* Notification of Acceptance: October 27, 2006

* Final Version Due: November 10, 2006

* Conference: January 14-16, 2006



Invited Speakers: 

* Tom Reps, 

* Moshe Vardi, 

* Hongseok Yang



Invited Tutorial Speakers: 

* Ken McMillan, 

* Madhusudan Parthasarathy, 

* Peter Revesz


Organizers:

    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