[TYPES] VMCAO'05, Paris 17-20 Jan. 2005: Call for Papers

[Radhia COUSOT]

************************************************************************ 
**
									
		 SIXTH INTERNATIONAL CONFERENCE on
									
       VERIFICATION, MODEL CHECKING and ABSTRACT INTERPRETATION
									
	       January 17-20, 2005   :   Paris, France
									
		http://www.polytechnique.fr/vmcai05/
									
************************************************************************ 
**

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 program of VMCAI'05 will consist of invited tutorials, refereed  
papers,
invited lectures on -Perspectives in Program Verification- and invited
demonstrations of -Tools for Program Verification-.

Papers are solicited reporting new results as well as experimental
evaluation 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.

Submission instructions:

All submissions must be performed electronically at
http://www.polytechnique.fr/vmcai05/ (use of this page requires a  
recent,
script-enabled HTML browser).  Submitted papers should be at most (LNCS
style) 15 pages excluding bibliography and well-marked appendices.   
Program
committee members are not required to read the appendices, and thus  
papers
should be intelligible without them.

Publication:

The proceedings will be published by Springer in the Lecture Notes in
Computer Science series (see the LNCS Author's Instructions
http://www.springer.de/comp/lncs/authors.html ).  Thus, adhering to that
style already in the submission is strongly encouraged.  Papers should  
be
submitted either in PostScript or PDF format and they should be
interpretable by Ghostscript or Acrobat Reader.  Papers must be  
printable
on either A4 paper or US letter, and preferably on both.

Journal Special Issue:

Selected papers will be invited to a Journal Special Issue.

Best Paper Award:

Starting this VMCAI'05, the program committee may select papers accepted
to the conference as VMCAI Best Papers.

Important dates:

Deadline for submissions :  September 6, 2004, 19:00 UTC/GMT
Notification of acceptance or rejection:  October 11, 2004
Deadline for reception of the final versions :  November 8, 2004
The conference :  January 17-20, 2005

Program Committee:

Agostino Cortesi (I)
Radhia Cousot (F)
E. Allen Emerson (USA)
Roberto Giacobazzi (I)
Chris Hankin (UK)
Warren A. Hunt (USA)
Ken McMillan (USA)
David Monniaux (F)
Amir Pnueli (IL)
Andreas Podelski (G)
Francesco Ranzato (I)
Hanne Riis Nielson (DK)
Shmuel Sagiv (IL)
Bernhard Steffen (G)
Reinhard Wilhelm (G)


Program Chair:
Email: 	Radhia.Cousot at polytechnique.fr
Post: 	Radhia Cousot
	Ecole Polytechnique - STIX, 91128 Palaiseau cedex, France
Fax: 	+ 33 (0)1 69 33 30 50
Phone: 	+ 33 (0)1 69 33 45 95

VMCAI Steering Committee:

Agostino Cortesi (I)
E. Allen Emerson (USA)
Giorgio Levi (I)
Thomas W. Reps (USA)
Andreas Podelski (G)
David A. Schmidt (USA)
Lenore Zuck (USA)