[FM-India] VMCAI 2015 CFP
Madhavan Mukund
madhavan at cmi.ac.in
Wed Jul 23 14:26:29 IST 2014
CALL FOR PAPERS
===============
16th International Conference on
Verification, Model Checking, and Abstract Interpretation (VMCAI 2015)
January 12--14, 2015, Mumbai, India
http://research.microsoft.com/vmcai2015
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.
Scope
-----
The program of VMCAI 2015 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 * Type Systems
* Model Checking * Deductive Methods
* Abstract Interpretation * Program Certification
* Abstract Domains * Error Diagnosis
* Program Synthesis * Program Transformation
* Static Analysis * Hybrid and Cyberphysical Systems
Submissions can address any programming paradigm, including
concurrent, constraint, functional, imperative, logic and
object-oriented programming.
Submissions
-----------
Submissions are restricted to 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 the Springer website.
Submissions must be uploaded via
https://www.easychair.org/conferences/?conf=vmcai2015.
Accepted papers will be published in Springer's Lecture Notes in
Computer Science series. The conference also plans to organise a
special issue of the Elsevier journal Computer Languages, Systems and
Structures journal (COMLAN) with selected papers from VMCAI 2015. More
details are available at the conference website
research.microsoft.com/vmcai2015.
Important Dates
---------------
Abstract Submission: September 5, 2014
Paper Submission: September 12, 2014
Notification to authors: October 10, 2014.
Camera-Ready version due: October 31, 2014.
Conference: January 12-14, 2015.
Program Committee Chairs
------------------------
Deepak D'Souza (IISc, Bangalore)
Akash Lal (Microsoft Research, India)
Kim Guldstrand Larsen (Aalborg)
Program Committee
-----------------
Erika ?brah?m (RWTH Aachen)
S Akshay (IIT Bombay)
Aws Albarghouthi (University of Toronto)
Patricia Bouyer-Decitre (ENS Cachan)
Alessandro Cimatti (FBK, Trento)
Tino Cortesi (Univ Ca' Foscari, Venezia)
Thomas Dillig (UT Austin)
Deepak D'Souza (IISc, Bangalore)
Constantin Enea (LIAFA, Paris 7)
Bill Harris (Georgia Tech)
Ranjit Jhala (UC San Diego)
Barbara Jobstmann (VERIMAG, Grenoble)
Daniel Kroening (Oxford University)
Akash Lal (Microsoft Research, India)
Kim Guldstrand Larsen (Aalborg)
Francesco Logozzo (Microsoft Research, USA)
Ken McMillan (Microsoft Research, USA)
David Monniaux (VERIMAG, Grenoble)
David Parker (University of Birmingham)
Matthew Parkinson (Microsoft Research, UK)
Ruzica Piskac (Yale University)
Andreas Podelski (University of Freiburg)
Pavithra Prabhakar (IMDEA, Madrid)
Xiaokang Qiu (MIT, USA)
Sriram Sankaranarayanan (UC Boulder)
Thomas Wies (New York University)
Steering Committee
------------------
Tino Cortesi (Universita Ca Foscari of Venezia, Italy)
Patrick Cousot (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)
More information about the FMIndia
mailing list