[pl-seminar] FYI, Call for papers for VMCAI

["Thomas Reps" <reps@xxxxxxxxxxx>]

Apologies if you have already received this via another mailing list.

Tom

========================================================================
======
	The Seventh International Conference on 
        Verification, Model Checking, and Abstract Interpretation
(VMCAI'06)

	Charleston, South Carolina, U.S.A., January 8-10, 2006

	http://www.cs.utexas.edu/~vmcai06
        vmcai06@xxxxxxxxxxxxx
========================================================================
======
                                              Apologies for multiple
copies 
========================================================================
======
Important Dates
    Submission Deadline: September 20, 2005 *** extended ***
    Notification of Acceptance: October 28, 2005
    Final Version Due: November 5, 2005
    Conference: January 8-10, 2006

Invited Speakers
    Edmund M. Clarke, Carnegie Mellon University
    James R. Larus, Microsoft Research
    Greg Morrisett, Harvard University

Invited Tutorials
    Nicolas Halbwachs, VERIMAG
    David Schmidt, Kansas State University

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'06 is co-located with the POPL'06 conference.

The program of VMCAI'06 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. 

Program Committee Chairs
E. Allen Emerson, Texas (emerson@xxxxxxxxxxxxx)
Kedar Namjoshi, Bell Labs (kedar@xxxxxxxxxxxxxxxxxxxxxx)