Verified Software:

Theories, Tools and Experiments

16th-19th August


Edinburgh, Scotland


Poster Session

The complementary themes of Theories, Tools and Experiments makes VSTTE an unique conference. Through the introduction of a POSTER session at VSTTE 2010, we are aiming to widen the body of researchers that are involved in the Verified Software Initiative (VSI) and its related Challenges (more details on VSTTE & VSI are provided below).

Limited financial support will be available if necessary to enable attendance of both MSc and PhD students whose posters are accepted. Specifically, we aim to attract students who are already engaged in theories or tools or experiments relevant to verification; and give them an opportunity to meet other students and researchers engaged in complementary experiments or theories or tools. Note that the POSTER session is open to all researchers, not just students. With regards to submissions, we require the following:

  1. 1. One-page abstract of your research

  2. 2. Poster OR a poster plan

  3. 3. For students, a supporting statement from your supervisor

Submissions should be sent electronically to vstte10@macs.hw.ac.uk.

Important Dates

The timetable for POSTER authors is as follows:

June 18:  Submission of abstract & poster (plan) deadline

June 30:  Notification of decision

July 31:  Camera-ready abstract deadline

August 17:  Poster session

Note that a collection of abstracts for the accepted posters  will be distributed at the conference. Poster authors will be expected to bring their poster with them to the conference. Details of the size of the final posters will be provided in due course.

Financial Support

Financial support will be allocated on a case-by-case basis, and will support around 30 partial/fully funded places, including 10 SICSA PhD funded places.

If you have any queries, please direct them to vstte10@macs.hw.ac.uk