[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
FINAL CALL FOR PAPERS Second Working Conference on Verified Software: Theories, Tools, and Experiments VSTTE 2008 http://qpq.csl.sri.com/vsr/vstte-08 Oct 6--9, 2008, Toronto, Canada Program Chairs: Jim Woodcock, University of York [EMAIL PROTECTED] Natarajan Shankar, SRI International [EMAIL PROTECTED] Program Committee: Egon Boerger, Supratik Chakraborty, Patrick Cousot, Jin Song Dong, Jose Luiz Fiadeiro, Kokichi Futatsugi, Chris George, Ian Hayes, Eric Hehner, Rajeev Joshi, Joseph Kiniry, Yassine Lakhnech, Gary Leavens, Zhiming Liu, Peter Manolios, Tiziana Margaria, David Naumann, Peter O'Hearn, Ernst-Ruediger Olderog, Wolfgang Paul, Augusto Sampaio, Mark Utting, Jian Zhang Conference Chair: Eric Hehner, University of Toronto [EMAIL PROTECTED] Workshop Chairs: Theories: David Naumann & Peter O'Hearn Tools: Daniel Kroening & Tiziana Margaria Experiments: Rajeev Joshi & Joseph Kiniry Publicity Chair: Richard Paige, University of York [EMAIL PROTECTED] Steering Committee: Tony Hoare, Jay Misra Important Dates: April 30 2008: Submission deadline June 30 2008: Decisions on papers July 31 2008: Final versions due October 6-9 2008: VSTTE 2008 The Second IFIP Working Conference on Verified Software: Theories, Tools, and Experiments follows a successful inaugural working conference at Zurich, Switzerland in 2005. This conference formally inaugurates the Verified Software Initiative (VSI), a fifteen-year, cooperative, international project directed at the scientific challenges of large-scale software verification. It is open to anyone who is interested in participating actively in the VSI effort. Scope: The goal of this conference is to advance the state of the art in the science and technology of program verification through the interaction of theory development, tool evolution, and experimental validation. Authors are encouraged to submit works in progress, particularly if these involve collaboration, theory unification, and tool integration. Topics of interest include requirements modeling, specification languages, specification/verification case-studies, formal calculi, programming languages, language semantics, software design methods, software testing, automatic code generation, refinement methodologies, type systems, computer security, verification tools (static analysis, dynamic analysis, model checking, theorem proving, satisfiability), tool integration, benchmarks, challenge problems, and integrated verification environments. We are especially interested in specific challenges such as the POPLMark (http://alliance.seas.upenn.edu/~plclub/cgi-bin/poplmark/), File system (http://www.cs.york.ac.uk/circus/mc/abz), and medical devices (http://www.cas.mcmaster.ca/sqrl/pacemaker.htm). Invited Speakers: Andreas Podelski, University of Freiburg Sriram Rajamani, Microsoft Research John Reynolds, Carnegie-Mellon University Moshe Vardi, Rice University Submissions: Submitted research papers and system descriptions must be original and not submitted for publication elsewhere. Research paper submissions are limited to 15 proceedings pages 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 http://www.easychair.org/VSTTE08. Submissions that arrive late or are too long will not be considered. The proceedings of VSTTE 2008 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 http://www.springer.de/comp/lncs/authors.html, is strongly encouraged. Workshops: The Working Conference will be followed by three workshops on Oct 10, 2008, Theories, Tools, and Experiments. These workshops will focus on formulating action plans for tackling the challenges for verified software.