posted by user: wimmer || 9337 views || tracked by 32 users: [display]

VMCAI 2015 : 16th International Conference on Verification, Model Checking, and Abstract Interpretation

FacebookTwitterLinkedInGoogle


Conference Series : Verification, Model Checking and Abstract Interpretation
 
Link: http://research.microsoft.com/en-us/events/vmcai2015/
 
When Jan 12, 2015 - Jan 14, 2015
Where Mumbai, India
Abstract Registration Due Sep 5, 2014
Submission Deadline Sep 12, 2014
Notification Due Oct 10, 2014
Final Version Due Oct 31, 2014
Categories    verification   formal methods   model checking
 

Call For Papers

16th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)
January 12-14, 2015 | Mumbai, India
Collocated with POPL 2015

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'15 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
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.
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 Springer. Submissions deviating from these guidelines risk summary rejection. Please prepare your submission in accordance with the rules described and submit via https://www.easychair.org/conferences/?conf=vmcai2015.


Program Chairs

Deepak D'Souza, Indian Institute of Science, India
Akash Lal, Microsoft Research, India
Kim Guldstrand Larsen, Aalborg University, Denmark

Steering Committee:
Agostino Cortesi, Universita Ca Foscari of Venezia, 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

Proceedings

The Conference proceedings will be published in the LNCS Series of Springer.

Related Resources

VSTTE 2021   VSTTE'21: Working Conference on Verified Software: Theories, Tools, and Experiments
FormaliSE 2022   10th International Conference on Formal Methods in Software Engineering
MoDeVVa 2021   18th Workshop on Model-Driven Engineering, Verification, and Validation (MoDeVVA)
Petri Nets 2022   43rd International Conference on Application and Theory of Petri Nets and Concurrency
MDPI-Electronics-SI-QualRiskDistribSys 2022   MDPI Electronics Special Issue on Quality Assurance and Risk Mitigation in Large-Scale Distributed Systems
ICST 2022   15th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2022
SIMULTECH 2022   12th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
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
IEEE-IIB 2021   IEEE Intelligent Informatics Bulletin: Call for Ph.D. Thesis Abstracts