[PVS] [qest-announce] QEST2008 Tool papers ***Deadline approaching****

[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
*******************************************************************

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 to the
Tools Chair (markus.siegle@xxxxxxxx) by 28 April, 2008.

Accepted tool descriptions will appear in the conference proceedings.   
*******************************************************************

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