[PVS] [qest-announce] QEST: Final Call for Tool Papers

["Nihal PEKERGIN" <nihal.pekergin@xxxxxxxxxxxxxxx>]

Apologies for multiple mailing

*******************************************************************
5th International Conference on Quantitative Evaluation of SysTems

September 14-17, 2008, Palais du Grand Large, Saint Malo, France

http://www.qest.org
*******************************************************************

FINAL CALL FOR TOOL PAPERS

Deadline: 28 April, 2008

*******************************************************************
At the QEST08 conference, sessions will be arranged to present and
demonstrate tools relevant to any conference topic. Tool submissions
(2 pages, IEEE double-column format) should be sent by email directly
to the Tools Chair (markus.siegle@xxxxxxxx) by 28 April, 2008.

Accepted tool descriptions will appear in the conference proceedings
published by IEEE Computer Society Press.	
*******************************************************************


--
Open WebMail Project (http://openwebmail.org)


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