Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] VSTTE 2012: Final Call for Participation


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

From: Gudmund Grov <ggrov@staffmail.ed.ac.uk>


* Final 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

Please note the very low registration fee for students!

SPONSORS

NSF
Microsoft Research


Last updated: Mar 28 2024 at 08:18 UTC