posted by user: rivalxavier || 8527 views || tracked by 33 users: [display]

VMCAI 2014 : Verification, Model Checking, and Abstract Interpretation

FacebookTwitterLinkedInGoogle


Conference Series : Verification, Model Checking and Abstract Interpretation
 
Link: http://vmcai2014.di.ens.fr/
 
When Jan 19, 2014 - Jan 21, 2014
Where San Diego
Abstract Registration Due Sep 11, 2013
Submission Deadline Sep 18, 2013
Notification Due Oct 25, 2013
Final Version Due Nov 15, 2013
Categories    static analysis   program verification   abstract interpretation   model checking
 

Call For Papers

VMCAI 2014 CALL FOR PAPERS

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

January 19-21, 2014, San Diego, USA
Co-located with POPL 2014 (January 22-24, 2014)
41th 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'14 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, error diagnosis, program
transformation, 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: September 6, 2013
Paper Submission: September 13, 2013
Acceptance Notification: October 25, 2013
Conference: January 19-21, 2014 (right before POPL)

The deadlines are strict and will not be changed.


SUBMISSION INSTRUCTIONS

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

18 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.


PROGRAM COMMITTEE

Program Chairs:

Kenneth McMillan (MSR, USA & Co-Chair)
Xavier Rival (CNRS & ENS Paris & INRIA, France & Co-Chair)


Program Committee:

Christel Baier, Technische Universität Dresden, Germany
Agostino Cortesi, Universita Ca Foscari of Venezia, Italy
Jerome Feret, CNRS & ENS & INRIA, France
Alexey Gotsman, IMDEA Software Institute, Spain
Aarti Gupta, NEC Labs, USA
Alan J. Hu, University of British Columbia, Canada
Laura Kovacs, Chalmers University of Technology, Sweden
Daniel Kroening, Oxford University, UK
Mark Marron, MSR, USA
Isabella Mastroeni, Universita di Verona, Italy
Kenneth McMillan, MSR, USA & Co-Chair
Matthew Might, University of Utah, USA
David Monniaux, CNRS & University of Grenoble, France
Kedar Namjoshi, Bell Labs, USA
Peter O'Hearn, University College of London, UK
Ruzica Piskac, MPI-SWS, Germany
Sylvie Putot, CEA, France
Xavier Rival, CNRS & ENS & INRIA, France & Co-Chair
Philipp Rümmer, Uppsala University, Sweden
Sriram Sankaranarayanan, University of Colorado at Boulder, USA
Tachio Terauchi, Nagoya University, Japan
Tayssir Touili, CNRS & University of Paris 7, France
Eran Yahav, Technion, Israel


VMCAI STEERING COMMITTEE

Agostino Cortesi, Universita' Ca' Foscari, Venice, Italy
Patrick Cousot, CNRS & ENS & INRIA, France and NYU, USA
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

Related Resources

VMCAI 2022   Verification, Model Checking and Abstract Interpretation
VSTTE 2021   VSTTE'21: Working Conference on Verified Software: Theories, Tools, and Experiments
MoDeVVa 2021   18th Workshop on Model-Driven Engineering, Verification, and Validation (MoDeVVA)
ICST 2022   15th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2022
Fact-Checking, Fake News in OSN 2021   2nd International Symposium on Fact-Checking, Fake News and Malware Detection in Online Social Networks (OSNs)
MODELSWARD 2022   10th International Conference on Model-Driven Engineering and Software Development
MDPI-Electronics-SI-QualRiskDistribSys 2022   MDPI Electronics Special Issue on Quality Assurance and Risk Mitigation in Large-Scale Distributed Systems
COLA Journal (Elsevier) 2021   CFP: Special issue on “Methods, Tools and Languages for Model-driven Engineering and Low-code Development”
IEEE-IIB 2021   IEEE Intelligent Informatics Bulletin: Call for Ph.D. Thesis Abstracts
QEST 2022   QEST 2022: International Conference on Quantitative Evaluation of SysTems