[PVS] [qest-announce] QEST'07 Call for Participation

[Marina Ribaudo <ribaudo@xxxxxxxxxxxxx>]

[Please accept our apologies if you receive multiple copies of this 
announcement]


====================== CALL FOR PARTICIPATION QEST'07====================
     4th International Conference on Quantitative Evaluation of SysTems
      September 16th-19th, 2007, University of Edinburgh, Scotland, UK
           Conference Website: http://www.qest.org/qest2007/
=========================================================================
On line registration is now open

- Early registration before 15th July, 2007
- Late registration after 15th July, 2007

Fees and registration form: http://www.qest.org/qest2007/fees.php
Accepted papers and tutorials: http://www.qest.org/qest2007/program.php

=========================================================================
Invited Speakers

- Luca Cardelli (Microsoft Research, Cambridge, UK)
- Robert Givan  (Purdue University, US)
- Jean-Yves Le Boudec (EPFL, Lausanne, CH)

=========================================================================
Graduate Symposium

Graduate students posters describing their work will be displayed during
the welcome reception, when students will be able to answer questions and
describe their work to delegates.

=========================================================================
Student Bursaries

The QEST conference is able to give bursaries to PhD students which provide
full or partial financial support for their attendance at the conference.
Details of the application procedure are available from the conference
registration page: applicants must register interest in the conference
before applying.

QEST bursaries are funded by the UK Engineering and Physical Sciences 
Research
Council and the British Computer Society.  All bursary applications must be
received by 30th June. Awards will be announced by 6th July at the latest.
The decision of the bursary awards committee is final.

=========================================================================

 

_______________________________________________
qest-announce mailing list
qest-announce@iti.uiuc.edu
http://mailman.crhc.uiuc.edu/mailman/listinfo/qest-announce