========================================================================

        --------------- 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

Reply via email to