[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