[Agda] VMCAI 2013: Call for Papers

Josh Berdine jjb at microsoft.com
Wed Jul 4 15:02:51 CEST 2012


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


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


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.


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.


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:

    15 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. 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:



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)
Mad Dams (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)


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


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

More information about the Agda mailing list