Email Gateway (Aug 18 2022 at 18:53): Email Gateway (Aug 18 2022 at 18:53):From: Gudmund Grov <ggrov@staffmail.ed.ac.uk>
* First Call for Participation *
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/
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 has been held
and the winner will be announced during the conference.
KEYNOTE SPEAKERS
Rupak Majumdar, Max Planck Institute for Software Systems
Wolfgang Paul, Saarland University
TUTORIALS
Francesco Logozzo, Microsoft Research
Rustan Leino, Microsoft Research
PROGRAM
The full program is available at the conference web site:
https://sites.google.com/site/vstte2012/program
VENUE
The conference is co-located with POPL and will be held at
the Sheraton Society Hill Hotel in Philadelphia's historic district.
For hotel rate details and booking please see the POPL webpage:
http://www.cse.psu.edu/popl/12/
REGISTRATION
Registration is handled by the POPL registration. For rates, please see
http://www.cse.psu.edu/popl/12/
and for registration please follow this link:
https://regmaster3.com/2012conf/POPL12/register.php
Note that early registration deadline is December 24, 2011.
Last updated: Nov 21 2024 at 12:39 UTC