(We apologize for multiples copies)
*Call for papers*
8th IFIP Working Conference on Verified Software: Theories, Tools, and
Experiments (VSTTE 2016 <http://www.cs.toronto.edu/~chechik/vstte16/>) [
http://www.cs.toronto.edu/~chechik/vstte16/]
Co-located with 26th Conference on Computer Aided Verification (CAV 2016
<http://i-cav.org/2016/>)
Toronto - Canada
July 17 - 18, 2016
The 8th IFIP 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), Atherton (2013), Vienna (2014), San Francisco (2015).
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.
*Important Dates*
• Abstract submission: April 25, 2016, anywhere on Earth (11.59 pm, UTC-12)
• Full paper submission: May 2, 2015, anywhere on Earth (11.59 pm, UTC-12)
• Notification: June 6, 2016
• Conference: July 17–18, 2016
• Camera-ready: August 28, 2016
*Scope*
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, but
are not limited to, 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.
*Submissions*
We are accepting both long (limited to 16 pages) and short (limited to 10
pages) paper submissions. 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 can be submitted at https://easychair.org/conferences/?conf=vstte2016
Submissions that arrive late, are not in the proper format, or are too long
will not be considered. The post-conference proceedings of VSTTE 2016 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 llncs
class files, obtainable from the Springer website is strongly encouraged.
Springer website: http://www.springer.de/comp/lncs/authors.html
*Program Committee*
- Sandrine Blazy, (Rennes, France) Co-Chair
- Marsha Chechik (University of Toronto, Canada) Co-Chair
- Ernie Cohen (Amazon, USA)
- Temeghen Kahsai (NASA Ames / CMU , USA) General Chair
- Natarajan Shankar (SRI, USA)
- Arie Gurfinkel (CMU / SEI, USA)
- Rustan Leino (Microsoft, USA)
- Natasha Sharygina (Lugano, Switzerland)
- Jean-Christophe Filliâtre (CNRS, France)
- Tiziana Margaria (LERO, Ireland)
- Vijay Ganesh (University of Waterloo, Canada)
- Bill Harris (Georgia Institute of Technology, USA)
- Nadia Polikarpova (MIT, USA)
- Kristin Yvonne Rozier (University of Cincinnati, USA)
- Richard Trefler (University of Waterloo, Canada)
- Mike Whalen (University of Minnesota, USA)
- June Andronick (NICTA, Australia)
- Frédéric Besson (INRIA, France)
- Nikolaj Bjorner (Microsoft, USA)
- Vladimir Klebanov (Karlsruhe Institute of Technology, Germany)
- David Naumann (Stevens Institute of Technology, USA)
- Deepak D'Souza (Indian Institute of Science, Bangalore, India)
- Naijun Zhan (Chinese Academy of Sciences, China)
------------------------------------------------------------------------------
Find and fix application performance issues faster with Applications Manager
Applications Manager provides deep performance insights into multiple tiers of
your business applications. It resolves application problems quickly and
reduces your MTTR. Get your free trial!
https://ad.doubleclick.net/ddm/clk/302982198;130105516;z
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
