[FM-India] CFP: CAV 2016, July 17-23, Toronto [Abstract Submission: Jan 24]

Madhavan Mukund madhavan at cmi.ac.in
Wed Jan 20 22:29:52 IST 2016

 Date: Wed, 20 Jan 2016 08:13:45 -0500
 From: Roopsha Samanta <roopsha.samanta at ist.ac.at>
 To: "roopsha.samanta at ist.ac.at" <roopsha.samanta at ist.ac.at>
 Subject: CFP: CAV 2016, July 17-23, Toronto [Abstract Submission: Jan 24]
 Apologies for multiple copies of this CFP.
 *                  28th International Conference
 *                                     on
 *            Computer Aided Verification (CAV 2016)
 *                         July 17-23, 2016
 *                   Toronto, Ontario, Canada
 *                         Call for Papers
 *                      http://i-cav.org/2016/
 Important Dates
 All deadlines are 4pm EST.
 Abstract submission:         January 24, 2016 (coming Sunday)
 Paper submission:             January 29, 2016 (Friday)
 Author response period:    March 23-25, 2016 (Wednesday-Friday)
 Author Notification:            April 15, 2016 (Friday)
 Conference:                       July 17-23, 2016
 CAV 2016 is the 28th in a series dedicated to the advancement of the theory and
 practice of computer-aided formal analysis methods for hardware and software
 systems. CAV considers it vital to continue spurring advances in hardware and
 software verification while expanding to new domains such as biological systems
 and computer security. The conference covers the spectrum from theoretical
 results to concrete applications, with an emphasis on practical verification
 tools and the algorithms and techniques that are needed for their
 implementation. The proceedings of the conference will be published in the
 Springer LNCS series. A selection of papers will be invited to a special issue
 of Formal Methods in System Design and the Journal of the ACM.
 Topics of interest include but are not limited to:
 * Algorithms and tools for verifying models and implementations
 * Algorithms and tools for system synthesis
 * Mathematical and logical foundations of verification and synthesis
 * Specifications and correctness criteria for programs and systems
 * Deductive verification using proof assistants
 * Hardware verification techniques
 * Program analysis and software verification
 * Software synthesis
 * Hybrid systems and embedded systems verification
 * Compositional and abstraction-based techniques for verification
 * Probabilistic and statistical approaches to verification
 * Verification methods for parallel and concurrent systems
 * Testing and run-time analysis based on verification technology
 * Decision procedures and solvers for verification and synthesis
 * Applications and case studies in verification and synthesis
 * Verification in industrial practice
 * New application areas for algorithmic verification and synthesis
 * Formal models and methods for security
 * Formal models and methods for biological systems
 Paper Submission
 *** NEW this year: Double-blind submissions ***
 Submissions on a wide range of topics are sought, particularly ones that
 identify new research directions. CAV 2016 is not limited to topics discussed
 in previous instances of the conference. Authors concerned about the
 appropriateness of a topic may communicate by electronic mail with the
 conference chairs prior to submission.
 As explained below, CAV 2016 will follow a lightweight double-blind review
 process. Submissions that are not "blinded" will be rejected without review.
 Submissions will be in two categories: Regular Papers and Tool Papers.
 * Regular Papers should not exceed 15 pages in LNCS format, not counting
 references. These papers should contain original research and sufficient detail
 to assess the merits and relevance of the contribution.  Papers will be
 evaluated on basis of a combination of correctness, technical depth,
 significance, novelty, clarity, and elegance. We welcome papers on theory, case
 studies and comparisons with existing experimental research, as well as
 combinations of new theory with experimental evaluation. A strong theoretical
 paper is not required to have an experimental component. On the other hand,
 strong papers reproducing and comparing existing results experimentally do not
 require new theoretical insights.
 * Tool Papers should not exceed 6 pages, not counting references. These papers
 should describe system and implementation aspects of a tool with a large
 (potential) user base (experiments not required, rehash of theory strongly
 discouraged). Papers describing tools that have already been presented (in any
 conference) will be accepted only if significant and clear enhancements to the
 tool are reported and implemented.
 Unlike last year, there is no separate Short Paper category.
 Prior to the registration deadline, the authors will register their paper by
 uploading information on the submission title, abstract (of at most 300 words),
 authors, topics, and conflicts to the conference web site. Papers that are not
 registered on time will be rejected.
 We encourage authors to provide any supplementary material that is required to
 support the claims made in the paper, such as detailed proofs or experimental
 data. These materials should be uploaded at submission time, as a single pdf or
 a tarball, not via a URL. It will be made available to reviewers only after
 they have submitted their first-draft reviews and hence need not be anonymized.
 Reviewers are under no obligation to look at the supplementary material but may
 refer to it if they have questions about the material in the body of the paper.
 Simultaneous submission to other conferences with proceedings or submission of
 material that has already been published elsewhere is not allowed.
 The review process will include a feedback/rebuttal period where authors will
 have the option to respond to reviewer comments. The PC chairs may solicit
 further reviews after the rebuttal period.
 Papers must be submitted in PDF format. Submission will be via the HotCRP
 system. The submission URL will be available on the website of the conference
 closer to the deadline.
 Lightweight Double-Blind Reviewing Process
 CAV 2016 will employ a lightweight double-blind reviewing process. This means
 that committee members will not have access to authors' names or affiliations
 as they review a paper; however, authors' names will be revealed once reviews
 have been submitted and online discussion has begun.
 To facilitate this, submitted papers must adhere to two rules:
 (1) author names and institutions must be omitted, and
 (2) references to authors' own related work should be in the third person
 (e.g., not "We build on our previous work ..." but rather "We build on the work
 of ...").
 The purpose of this process is to help the PC and external reviewers come to an
 initial judgement about the paper without bias, not to make it impossible for
 them to discover the authors if they were to try.  Nothing should be done in
 the name of anonymity that weakens the submission or makes the job of reviewing
 the paper more difficult (e.g., important background references should not be
 omitted or anonymized). In addition, authors should feel free to disseminate
 their ideas or draft versions of their paper as they normally would.  For
 instance, authors may post drafts of their papers on the web or give talks on
 their research ideas. A document answering frequently asked questions about the
 double-blind review process is available on the conference website.
 Artifact Evaluation
 Authors of accepted papers will be invited to submit their artifacts for
 evaluation by a special committee.
 Swarat Chaudhuri, Rice University, USA
 Azadeh Farzan, University of Toronto, Canada
 CAV Award Committee
 Ahmed Bouajjani (Chair), Univ. Paris Diderot (Paris 7)
 Tom Ball, Microsoft Research
 Kim G. Larsen, Aalborg University
 Natarajan Shankar, SRI International
 Program Committee
 Rajeev Alur, University of Pennsylvania
 Christel Baier, Technische Universität Dresden
 Clark Barrett, New York University
 Roderick Bloem, Graz University of Technology
 Pavol Cerny, University of Colorado, Boulder
 Adam Chlipala, MIT
 Alessandro Cimatti, Fondazione Bruno Kessler
 Loris D'Antoni, University of Wisconsin, Madison
 Constantin Enea, Univ. Paris Diderot (Paris 7)
 Javier Esparza, Technische Universität München
 Kousha Etessami, University of Edinburgh
 Susanne Graf, VERIMAG
 Orna Grumberg, Technion
 Franjo Ivancic, Google
 Somesh Jha, University of Wisconsin, Madison
 Ranjit Jhala, University of California, San Diego
 Joost-Pieter Katoen, RWTH Aachen University
 Zachary Kincaid, University of Toronto
 Laura Kovacs, Chalmers University of Technology
 Viktor Kuncak, EPFL
 Marta Kwiatkowska, Oxford University
 Shuvendu Lahiri, Microsoft Research
 Akash Lal, Microsoft Research
 Pete Manolios, Northeastern University
 Kenneth McMillan, Microsoft Research
 David Monniaux, VERIMAG
 Kedar Namjoshi, Bell Labs, Alcatel-Lucent
 David Parker, University of Birmingham
 Corina Pasareneau, Carnegie Mellon Silicon Valley/NASA Ames
 Ruzica Piskac, Yale University
 Andreas Podelski, University of Freiburg
 Shaz Qadeer, Microsoft Research
 Andrey Rybalchenko, Microsoft Research
 Mooly Sagiv, Tel Aviv University
 Sriram Sankaranarayanan, University of Colorado, Boulder
 Sanjit Seshia, University of California, Berkeley
 Natasha Sharygina, University of Lugano
 Sharon Shoham, Academic College of Tel-Aviv Yaffo
 Armando Solar-Lezama, MIT
 Fabio Somenzi, University of Colorado, Boulder
 Serdar Tesiran, Koç University
 Mahesh Viswanathan, University of Illinois, Urbana-Champaign
 Bow-Yaw Wang, Academia Sinica
 Thomas Wies, New York University
 Lenore Zuck, University of Illinois, Chicago
 Workshop Chair
 Zachary Kincaid, University of Toronto, Canada
 Artifact Evaluation Chair
 Aws Albarghouthi, University of Wisconsin, USA
 Publicity Chair
 Roopsha Samanta, IST, Austria
 Sponsorship Chair
 Pavol Cerny, University of Colorado, Boulder
 Steering Committee
 Michael Gordon, University of Cambridge, UK
 Orna Grumberg, Technion, Israel
 Aarti Gupta, Princeton University, USA
 Kenneth McMillan, Microsoft Research, USA

More information about the FMIndia mailing list