[TYPES] VMCAI'05: Call for papers

[VMCAI'05]

**************************************************************************
*									 *
*               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 	Università Ca'Foscari di Venezia (I)
Radhia Cousot  	 	CNRS / École Polytechnique (F)
E. Allen Emerson        University of Texas, Austin (USA)
Roberto Giacobazzi      Università degli Studi di Verona (I)
Chris Hankin 	   	Imperial College (UK)
Warren A. Hunt 	   	University of Texas, Austin (USA)
Ken McMillan 	   	Cadence Berkeley (USA)
David Monniaux 	   	CNRS / École Normale Supérieure (F)
Amir Pnueli 	   	Weizmann Institute of Science (IL)
Andreas Podelski        Max-Planck-Institut für Informatik (G)
Francesco Ranzato 	Università di Padova (I)
Hanne Riis Nielson    	Technical University of Denmark (DK)
Shmuel Sagiv 	   	Tel-Aviv University (IL)
Bernhard Steffen        Universität  Dortmund (G)
Reinhard Wilhelm    	Universität des Saarlandes (G)


Program Chair:
Email: 	Radhia.Cousot at polytechnique.fr
Post: 	Radhia Cousot
        École 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 	   	Università Ca'Foscari di Venezia (I)
E. Allen Emerson                University of Texas, Austin (USA)
Giorgio Levi                    Università di Pisa (I)
Thomas W. Reps                  University of Wisconsin-Madison (USA)
Andreas Podelski                Max-Planck-Institut für Informatik (G)
David A. Schmidt                Kansas State University (USA)
Lenore Zuck                     New York University (USA)