[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] [qest-announce] Call for Papers ISOLA'12 Special Session on"Quantitative Modeling and Analysis"




[We apologize for multiple copies.]

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
qest-announce@iti.illinois.edu
http://mailman.crhc.uiuc.edu/mailman/listinfo/qest-announce