[Haskell] VSTTE 2012: Final Call for Participation

Gudmund Grov ggrov at staffmail.ed.ac.uk
Thu Jan 19 16:58:19 CET 2012


       *** Final Call for Participation ***

			   VSTTE 2012
Verified Software: Theories, Tools and Experiments
	 	      January 28-29, 2012

Philadelphia, USA (co-located with POPL and VMCAI)


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.


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


Francesco Logozzo, Microsoft Research
Rustan Leino, Microsoft Research


The full program is available at the conference web site:



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:



Registration is handled by the POPL registration. For rates, please see


and for registration please follow this link:


Please note the very low registration fee for students!


Microsoft Research

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

More information about the Haskell mailing list