Could you please post the following announcement to your mailing list. Alma Riska
***************************************************************** QEST 2006 3rd International Conference on Quantitative Evaluation of SysTems University of California, Riverside, CA, USA September 11-14, 2006 - http://www.qest.org CALL FOR TOOL PAPERS - SUBMISSION DEADLINE EXTENDED to MAY 7, 2006 SCOPE AND TOPICS * The International Conference on Quantitative Evaluation of SysTems (QEST) includes a TOOL SESSION devoted to the presentation and demonstration of TOOLS supporting evaluation of quantitative properties of computer systems and networks, including performance, reliability, availability, safety, security, survivability, correctness, timeliness, and efficiency. * Specific factors of merit for a TOOL include: support for novel evaluation and verification techniques; report on case studies and/or experimentations; recent advances in consolidated tools; good engineering practices enabling evolution of tool capabilities and integration of new components; availability of an evaluation version and documentation on the Web. * Accepted tool paper will appear in the CONFERENCE PROCEEDINGS, they will be presented in conference SESSIONS and will have support for DEMONSTRATION during the conference days. TOOL PAPER SUBMISSIONS * TOOL papers should be submitted in IEEE double-column format (the same format of regular papers), and they should not exceed 2 PAGES; both requirements can be somehow relaxed in the submission, but they will be strict for the published version. * Papers must be unpublished and must not be submitted for publication elsewhere. * Papers must be presented at the conference by one of the authors. * We invite submission through the form at the address http://quack2.dsi.unifi.it/QEST06TOOLS. * We also accept submissions by email to the Tool Chair address [EMAIL PROTECTED] In this case, please indicate QEST06 in the subject and do expect a confirmation from the Tool Chair. * For any information, do not hesitate to contact the Tool Chair at the address [EMAIL PROTECTED] or page www.dsi.unifi.it/~vicario IMPORTANT DATES * Tool paper submission: May 7, 2006 * Author notification: May 22, 2006 * Camera ready version: June 26, 2006 GENERAL CHAIR Gianfranco Ciardo (USA) PROGRAM CO-CHAIRS Pedro D'Argenio (Argentina), Andrew Miner (USA), Gerardo Rubino (France) TOOL CHAIR Enrico Vicario (Italy) TUTORIAL CHAIR Peter Kemper (Germany) PUBLICITY CHAIR Alma Riska (USA) TECHNICAL PROGRAM COMMITTEE Christel Baier (Germany) Gianfranco Balbo (Italy) Andrea Bondavalli (Italy) Mario Bravetti (Italy) Peter Buchholz (Germany) Hector Cancela (Uruguay) Juan Carrasco (Spain) Giuliana Franceschinis (Italy) Reinhard German (Germany) Serge Haddad (France) Mor Harchol-Balter (USA) Boudewijn Haverkort (The Netherlands) Holger Hermanns (Germany) Jane Hillston (UK) Alain Jean-Marie (France) Joost-Pieter Katoen (Germany) Peter Kemper (Germany) William Knottenbelt (UK) Gabriele Kotsis (Austria) Marta Kwiatkowska (UK) Kim G. Larsen (Denmark) John C.S. Lui (Hong Kong) Raymond Marie (France) Patrice Moreaux (France) Carroll Morgan (Australia) Gethin Norman (UK) Prakash Panangaden (Canada) Alma Riska (USA) William H. Sanders (USA) Roberto Segala (Italy) Evgenia Smirni (USA) Scott Smolka (USA) Edmundo de Souza e Silva (Brazil) Marielle Stoelinga (The Netherlands) Miklos Telek (Hungary) Yann Thierry-Mieg (France) Kishor Trivedi (USA) Franck van Breugel (Canada) Murray Woodside (Canada) STEERING COMMITTEE Gianfranco Balbo (Italy) Pedro D'Argenio (Argentina) Susanna Donatelli (Italy) Boudewijn Haverkort (The Netherlands) Jane Hillston (UK) Joost-Pieter Katoen (Germany) Marta Kwiatkowska (UK) William H. Sanders (USA, chair) Roberto Segala (Italy) Evgenia Smirni (USA) Manuel Silva (Spain) ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
