[TYPES/announce] VSTTE 2012: First Call for Participation

[Gudmund Grov]

*****************************************************************

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


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