[TYPES/announce] VMCAI 2013: Final call for papers (page limit extended)

[Josh Berdine]

ATTENTION:
                     Abstracts are due this Friday

                       Papers are due next Friday

     The page limit for submissions has been increased to 20 pages.


VMCAI 2013 CALL FOR PAPERS

14th International Conference on
Verification, Model Checking, and Abstract Interpretation (VMCAI)

    http://vmcai13.di.univr.it

January 20-22, 2013, Rome, Italy
Co-located with POPL 2013 (http://popl.mpi-sws.org/2013/)
40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

SCOPE

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 these and
related areas.

The program of VMCAI'13 will consist of refereed research papers and tool
demonstrations, as well as invited lectures and tutorials. 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, model checking, abstract interpretation and abstract
domains, program synthesis, static analysis, type systems, deductive methods,
program certification, debugging techniques, program transformation,
optimization, hybrid and cyberphysical systems.
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 overlap with papers that have been published or that are
simultaneously submitted to a journal or a conference with refereed
proceedings. Proceedings are published by Springer-Verlag as volumes in the
Lecture Notes in Computer Science series.

IMPORTANT DATES

Abstract Submission:              August 17, 2012
Paper Submission:                 August 24, 2012
Acceptance Notification:          October 12, 2012
Conference:                       January 20-22, 2013 (right before POPL)

The submission system is now open and early submissions are welcome. The
deadlines are strict and will not be changed.

SUBMISSION INSTRUCTIONS

The VMCAI 2013 proceedings will be published as a volume in Springer's Lecture
Notes in Computer Science series. The page limit for submissions is:

    20 pages in Springer's LNCS format. 

Additional material may be placed in an appendix, to be read at the discretion
of the reviewers and to be omitted in the final version. Tool demonstration
are welcome provided that they include a scientific advance in the
field. Formatting style files and further guidelines for formatting can be
found at http://www.springer.de/comp/lncs/authors.html.  Submissions deviating
from these guidelines risk summary rejection. Please prepare your submission
in accordance with the rules described above and submit a pdf file via:

    http://www.easychair.org/conferences/?conf=vmcai2013

PROGRAM COMMITTEE

Program Chairs:

Roberto Giacobazzi (Chair)
Josh Berdine (Co_Chair)
Isabella Mastroeni (Co_chair)

Program Committee:

Josh Berdine (MSR, UK & Co_Chair)
Nikolaj Bjorner, (MSR, USA)
Sandrine Blazy (U. Rennes, France)
Agostino Cortesi (U. Venezia, Italy)
Mads Dam (KTH, Sweden)
Michael Emmi (U. Paris Diderot, France)
Azadeh Farzan (U. Toronto, Canada)
Pierre Ganty (IMDEA, Spain)
Samir Genaim (U. Complutense, Spain)
Roberto Giacobazzi (U. Verona, Italy &  Chair)
Orna Grumberg (Technion, Israel)
Klaus Havelund (JPL, USA)
Jochen Hoenicke (U. Freiburg, Germany)
Sebastian Hunt (City U. London, UK)
Limin Jia, (CMU, USA)
Andy King (Kent, UK)
Arun Lakhotia (U. Louisiana, USA)
Akash Lal (MSR, India)
Rupak Majumdar (MPI-SWS, Germany)
Matthieu Martel (U. Perpignan, France)
Isabella Mastroeni (U. Verona, Italy &  Co_chair)
Ganesan Ramalingam (MSR, India)
Roberto Sebastiani (FBK, Italy)
Saurabh Srivastava (Berkeley, USA)
Greta Yorsh (ARM, UK)
Enea Zaffanella (U. Parma, Italy)

VMCAI STEERING COMMITTEE

Agostino Cortesi, Universita' Ca' Foscari, Venice, Italy
Patrick Cousot, Ecole Normale Superieure, France
E. Allen Emerson, University of Texas at Austin, USA
Andreas Podelski, University of Freiburg, Germany
Thomas W. Reps, University of Wisconsin at Madison, USA
David Schmidt, Kansas State University, USA 
Lenore Zuck, University of Illinois at Chicago, USA

ADDITIONAL INFORMATION

Please consult: http://vmcai13.di.univr.it or contact PC chairs.