[TYPES] EXTENDED Deadline for submissions, September 14, 2004

[vmcai05 at stix.polytechnique.fr]

**************************************************************************

 		       SIXTH INTERNATIONAL CONFERENCE on

       VERIFICATION, MODEL CHECKING and ABSTRACT INTERPRETATION

 	               January 17-19, 2005   :   Paris, France

   http://www.polytechnique.fr/vmcai05/    http://vmcai05.di.ens.fr/

**************************************************************************
        EXTENDED Deadline for submissions :  September 14, 2004
**************************************************************************

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://vmcai05.di.ens.fr/
(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:

EXTENDED Deadline for submissions :  September 14, 2004, 19:00 UTC/GMT
Notification of acceptance or rejection:  October 12, 2004
Deadline for reception of the final versions :  November 8, 2004
The conference :  January 17-19, 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