VMCAI 2012 - 13th International Conference on Verification, Model Checking, and Abstract Interpretation

Website lara.epfl.ch/vmcai2012/ | Edit Freely

Category VMCAI 2012

Deadline: August 19, 2011 | Date: January 22, 2012-January 24, 2012

Venue/Country: Philadelphia, U.S.A

Updated: 2011-07-17 17:30:16 (GMT+9)

Call For Papers - CFP

13th International Conference on

Verification, Model Checking, and Abstract Interpretation (VMCAI)

http://lara.epfl.ch/vmcai2012/

January 22-24, 2012, Philadelphia, USA

Collocated with POPL 2012 ( http://www.cse.psu.edu/popl/12/ )

39th 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'12 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 12, 2011

Paper Submission: August 19, 2011

Acceptance Notification: October 10, 2011

Conference: January 22-24, 2012 (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 2012 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

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

PROGRAM COMMITTEE

Josh Berdine

Nikolaj Bjorner

Bor-Yuh Evan Chang

Wei-Ngan Chin

Radhia Cousot

Sophia Drossopoulou

Philippa Gardner

Patricia Hill

Marieke Huisman

Radu Iosif

Daniel Kröning

Viktor Kuncak

Barbara König

Francesco Logozzo

Rupak Majumdar

Greg Morrisett

Corina Pasareanu

Andreas Podelski

Sriram Rajamani

Andrey Rybalchenko

Mooly Sagiv

Sriram Sankaranarayanan

Helmut Veith

Heike Wehrheim

Eran Yahav

Lenore Zuck

PC CHAIRS

Viktor Kuncak, EPFL, Switzerland

Andrey Rybalchenko, TUM, Germany

VMCAI STEERING COMMITTEE

Agostino Cortesi, Universita' Ca' Foscari, Venice, Italy

Patrick Cousot, École Normale Supérieure, 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://lara.epfl.ch/vmcai2012/

or contact PC chairs.