Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] VSTTE 2012: Extended deadline for paper submis...


view this post on Zulip Email Gateway (Aug 18 2022 at 18:16):

From: Gudmund Grov <ggrov@staffmail.ed.ac.uk>
VSTTE 2012
Verified Software: Theories, Tools and Experiments
January 28-29, 2012
Philadelphia, USA (co-located with POPL and VMCAI)
https://sites.google.com/site/vstte2012/

(* NEW SUBMISSION DEADLINE: September 10, 2011 *)

The Fourth International Conference on Verified Software: Theories,
Tools, and Experiments will take place on January 28-29, 2012. The
focus of the conference is the development of systematic methods for
specifying, building, and verifying software. The goal of
this conference is to advance the state of the art through the
interaction of theory development, tool evolution, and experimental
validation. Historically, the conference came out of the Verified
Software Initiative (VSI), a cooperative, international initiative
directed at the scientific challenges of large-scale software
verification. An informal verification competition will be held in parallel
to the conference. More information will be available from the
website.

Topics of interest include:

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 in LNCS format and must include a
cogent and self-contained description of the ideas, methods and
results, together with a comparison to existing work. System
descriptions are also limited to 15 proceedings pages in LNCS
format. Authors are encouraged to submit work in progress, particularly if the
work involves collaboration, theory unification, and tool integration.
Papers can be submitted at

https://www.easychair.org/conferences/?conf=vstte2012

Submissions that arrive late, are not in the proper format, or are too
long will not be considered. The proceedings of VSTTE 2012 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.

IMPORTANT DATES

September 10, 2011: Conference Paper Submission Deadline
October 20, 2011: Notification of acceptance
November 15, 2011: Final conference paper versions due
January 28-29, 2012: Main conference

KEYNOTE SPEAKERS

Rupak Majumdar, Max Planck Institute for Software Systems
Wolfgang Paul, Saarland University

TUTORIALS

Francesco Logozzo, Microsoft Research
Rustan Leino, Microsoft Research

CONFERENCE CHAIR

Ernie Cohen, European Microsoft Innovation Center

PROGRAM CHAIRS

Rajeev Joshi, NASA Jet Propulsion Laboratory
Peter Müller, ETH Zurich
Andreas Podelski, University of Freiburg

PROGRAM COMMITTEE

Clark Barrett, New York University
Lars Birkedal, IT University of Copenhagen
Patrick Cousot, Ecole normale Supérieure, Paris and New York University
Leonardo De Moura, Microsoft Research
Jean-Christophe Filliatre, CNRS Université Paris Sud
John Hatcliff, Kansas State University
Bart Jacobs, Katholieke Universiteit Leuven
Ranjit Jhala, University of California, San Diego
Rajeev Joshi, NASA JPL
Gerwin Klein, NICTA
Viktor Kuncak, EPF Lausanne
Gary T. Leavens, University of Central Florida
Rustan Leino, Microsoft Research
Panagiotis Manolios, Northeastern University
Peter Müller, ETH Zurich
Tobias Nipkow, Technische Universität München
Matthew Parkinson, Microsoft Research
Corina Pasareanu, NASA Ames
Wolfgang Paul, Saarland University
Andreas Podelski, University of Freiburg
Natasha Sharygina, University of Lugano
Willem Visser, University of Stellenbosch
Thomas Wies, IST Austria

PUBLICITY CHAIR

Gudmund Grov, University of Edinburgh

VERIFICATION COMPETITION ORGANISER

Jean-Christophe Filliatre, CNRS Université Paris Sud

STEERING COMMITTEE

Tony Hoare, Microsoft Research
Andrew Ireland, Heriot-Watt University
Jay Misra, UT Austin
Natarajan Shankar, SRI International
Jim Woodcock, University of York


Last updated: Mar 28 2024 at 12:29 UTC