VSTTE 2012: Final Call for Participation

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

VSTTE 2012: Final Call for Participation

Gudmund Grov-2
*****************************************************************

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


--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.


_______________________________________________
Haskell mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/haskell