Posted on behalf of Joost-Pieter Katoen ([email protected]) -----
Dear colleague, The 2012 ISoLA International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation Amirandes, Heraklion, Greece 15-18 October, 2012 http://www.cs.uni-potsdam.de/isola/isola2012/ is a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools for the analysis, specification, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains. At ISoLA 2012, we organize a track on "Quantitative Modeling and Analysis" This area has a broad application potential including embedded system design, hardware, security, safety-critical software, schedulability and WCET analysis, systems biology, distributed systems, and so forth. We would like to ask whether you are interested in contributing to our session. Case studies, new tools, successful industry transfers, or other contributions that are of interest to users and developers are highly welcome! Please drop us an e-mail in case you want to send in a contribution. The ISoLA'12 proceedings will be published in the LNCS series and will be available at the ISoLA symposium. Papers will be subject to a normal review. Selected contributions will invited to the Innovations in Systems and Software Engineering: A NASA Journal (Springer Verlag, London), and to STTT (Springer Verlag, Heidelberg). Important dates: Abstract submission: Apr 19, 2012 Full paper submission: Apr 26, 2012 (firm) Notification of acceptance: May 14, 2012 Final version due: June 7, 2012 Early registration deadline: Aug 20, 2012 Symposium: Oct 15-18, 2012 Paper submissions via the webpage:http://senldogo0039.springer-sbm.com/ocs/en/home/ISoLA2012. Best wishes by there track organizers: Joost-Pieter Katoen (RWTH Aachen) and Kim G. Larsen (CISS Aalborg) _______________________________________________ qest-announce mailing list [email protected] http://mailman.crhc.uiuc.edu/mailman/listinfo/qest-announce ---- [[ 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] ]]
