[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] VSTTE 2010: Third Call for Participation -- EarlyRegistration ends this week!




(Apologies if you receive multiple copies of this announcement)

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

       *** Second Call for Participation -- Early Registration ends this week! ***

Third International Conference on Verified Software:
          Theories, Tools, and Experiments

              Edinburgh, Scotland

            August 16th-19th, 2010

       http://www.macs.hw.ac.uk/vstte10

SPONSORS: NSF, EPSRC, Microsoft Research, SICSA, Altran Praxis,
      SSEI, FME, Contemplate, Heriot-Watt University

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

The Third International Conference on Verified Software: Theories,
Tools, and Experiments follows a successful inaugural working
conference at Zurich (2005) and a successful conference in Toronto
(2008). This conference is part of the Verified Software Initiative
(VSI), a fifteen-year, cooperative, international project directed
at the scientific challenges of large-scale software verification.
VSI also includes UKCRC's Grand Challenge 6, i.e. Dependable Systems
Evolution. 

PROGRAMME 
The programme includes 
- Keynote presentations by Tom Ball (Microsoft), Gerwin Klein (National ICT Australia), and
 Matthew Parkinson (University of Cambridge); 
- Invited Tool Demo Presentations by Colin O’Halloran (ClawZ/Circus) , Bart Jacobs (VeriFast), 
 Michael Jastram (ProB) and Joe Kinry (BONc/Beetlz);
- A Verification Competition;
- Industrial Tool Vendors;
- Two workshops: Theory WS and Tools & Experiments WS;
- A Summer School -- lectures given by Robert Atkey/Ewen Maclean, Alan Bundy/Lucas Dixon, 
 Jane Hillston, Cliff Jones, Gerwin Klein, J Strother Moore, Natarajan Shankar and Graham Steel.

A provisional programme is available at:

http://www.macs.hw.ac.uk/vstte10/Programme.html

VENUE
VSTTE 2010 is being hosted by Heriot-Watt University in Edinburgh.
The conference dates coincide with the 2010 Edinburgh International
Festival and the Edinburgh Festival Fringe -- collectively the
largest annual arts festival on the planet! The technical programme
will take place in the Edinburgh Conference Centre (Heriot-Watt University 
campus), where accommodation will be available at very competitive rates for
festival time. Social events will be arranged within the city centre,
making VSTTE an unique cultural and scholarly event for 2010!

SOCIAL EVENTS
As well as a welcome reception and conference banquet, SICSA are
sponsoring a special drinks reception in the Informatics Forum 
at the heart of the Festival on August 17th. 

STUDENT SUPPORT
Support for students wishing to attend VSTTE 2010 is available. 
Please contact vstte10@macs.hw.ac.uk for more details. 

REGISTRATION
Online registration is available from

http://www.macs.hw.ac.uk/vstte10_reg/Registration.php

Early registration ends on July 31st.
-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.