VMCAI 2011 - 12th International Conference on Verification, Model Checking and Abstract Interpretation

Website http://vmcai11.cis.ksu.edu/ | Edit Freely

Category VMCAI 2011

Deadline: August 29, 2010 | Date: January 23, 2011-January 25, 2011

Venue/Country: Austin, U.S.A

Updated: 2010-06-19 21:32:39 (GMT+9)

Call For Papers - CFP

The program of VMCAI'11 will consist of invited lectures, tutorials, refereed research papers, and tool demonstrations. 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

static analysis

deductive methods

program certification

debugging techniques

abstract domains

type systems

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. Past proceedings have been published by Springer Verlag as volumes in the Lecture Notes in Computer Science series, and it is anticipated that the proceedings for VMCAI'11 will be published as an LNCS volume, too.

Important Dates

Submission deadline:

abstracts must be received by August 22, 2010, and

complete papers by August 29, 2010.

Notification of acceptance: October 10, 2010

Final version due: November 3, 2009

Conference: January 23-25, 2011

Submission

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=vmcai10.

Venue and Accommodation

VMCAI'11 is co-located with POPL'11. For information about venue and accomodation please visit the POPL pages.

Committees

Program Chairs

Ranjit Jhala, University of California, San Diego (jhala AT cs.ucsd.edu)

David Schmidt, Kansas State University (das AT cis.ksu.edu)