Frama-C-discuss mailing list archives
This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] CFP: VSTTE 2014
- Subject: [Frama-c-discuss] CFP: VSTTE 2014
- From: Jean-Christophe.Filliatre at lri.fr (Jean-Christophe Filliatre)
- Date: Thu, 13 Feb 2014 20:47:35 +0100
CALL FOR PAPERS VSTTE 2014 ********************************************************************** 6th Working Conference on Verified Software: Theories, Tools, and Experiments July 17 - 18, 2014 Vienna, Austria http://vsl2014.at/vstte/ Co-located with the Vienna Summer of Logic (http://vsl2014.at/) ********************************************************************** Submission Deadline: April 25, 2014 SCOPE: The Sixth Working Conference on Verified Software: Theories, Tools, and Experiments follows a successful inaugural working conference at Zurich in 2005 followed by conferences in Toronto (2008), Edinburgh (2010), Philadelphia (2012), and Atherton (2013). The goal of this conference is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation. We welcome submissions describing significant advances in the production of verified software, i.e., software that has been proved to meet its functional specifications. We are especially interested in submissions describing large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge. We welcome papers describing novel experiments and case studies evaluating verification techniques and technologies. Topics of interest include education, requirements modeling, specification languages, specification/verification case-studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools (e.g., static analysis, dynamic analysis, model checking, theorem proving, satisfiability), tool integration, benchmarks, challenge problems, and integrated verification environments. PAPER SUBMISSION Papers will be evaluated by at least three members of the Program Committee. We are accepting both long (limited to 16 pages) and short (limited to 10 pages) paper submissions, written in English. Short submissions also cover Verification Pearls describing an elegant proof or proof technique. Submitted research papers and system descriptions must be original and not submitted for publication elsewhere. Research paper submissions must be in LNCS format and must include a cogent and self-contained description of the ideas, methods, results, and comparison to existing work. Submissions of theoretical, practical, and experimental contributions are equally encouraged, including those that focus on specific problems or problem domains. Papers should be submitted through: https://www.easychair.org/conferences/?conf=vstte2014. Submissions that arrive late, are not in the proper format, or are too long will not be considered. The post-conference proceedings of VSTTE 2014 will be published by Springer-Verlag in the LNCS series. Authors of accepted papers will be requested to sign a form transferring copyright of their contribution to Springer-Verlag. The use of LaTeX and the Springer LNCS class files, obtainable fromhttp://www.springer.de/comp/lncs/authors.html, is strongly encouraged. PUBLICATION Accepted papers will be published as post-Proceedings, to appear in Springer's Lectures Notes in Computer Science. IMPORTANT DATES: Abstract submission: April 19, 2014 Full paper submission: April 25, 2014 Notification: June 2, 2014 ORGANIZATION: General Chair: Wilfried Steiner (TTTech Computertechnik AG, Austria) Program Chairs: Dimitra Giannakopoulou (NASA Ames) Daniel Kroening (Oxford University) Publicity Chair: Leo Freitas (Newcastle) PROGRAM COMMITTEE: Elvira Albert (Complutense University of Madrid) Domagoj Babic (Google) Sandrine Blazy (IRISA - Universit? Rennes 1) Alessandro Cimatti (FBK-irst) Ernie Cohen (Microsoft) Arie Gurfinkel (Software Engineering Institute, Carnegie Mellon University) Klaus Havelund (Jet Propulsion Laboratory, California Institute of Technology) Mats Heimdahl (University of Minnesota) Andrew Ireland (Heriot-Watt University) Bart Jacobs (Katholieke Universiteit Leuven, Belgium) Rajeev Joshi (Laboratory for Reliable Software, Jet Propulsion Laboratory) Temesghen Kahsai (NASA Ames/CMU) Moonzoo Kim (KAIST) Francesco Logozzo (Microsoft Research) Tiziana Margaria (Univ. Potsdam) Peter M?ller (ETH Z?rich) Shiva Nejati (University of Luxembourg) Shaz Qadeer (Microsoft) Zvonimir Rakamaric (University of Utah) Natarajan Shankar (SRI Computer Science Laboratory) Nishant Sinha (IBM Research Labs) Cesare Tinelli (The University of Iowa) Arnaud Venet (CMU / NASA Ames Research Center) Jim Woodcock (University of York) Karen Yorav (IBM Haifa Research Lab) ********************************************************************** Please contactvstte2014 at easychair.org for further information **********************************************************************
- Prev by Date: [Frama-c-discuss] verification of enum safety
- Next by Date: [Frama-c-discuss] State-based contracts in ACSL?
- Previous by thread: [Frama-c-discuss] How to re-run command-line analyses?
- Next by thread: [Frama-c-discuss] Frama-c: WP issues with Alt-Ergo (but works with Z3)
- Index(es):