Fifth Annual Meeting of the ERCIM Working Group on |
Models and Logics for Quantitative Analysis (MLQA 2013)
March 24th, 2013, Rome, Italy - Colocated with QAPL at ETAPS 2013.
*** CALL FOR PARTICIPATION ***
The fifth annual meeting of the MLQA working group will take place on Sunday 24 March 2013 as part of the European Joint Conferences on Theory And Practice of Software (ETAPS) in Rome, Italy.
This year's edition will be held in cooperation with the Quantitative Aspects of Programming Languages and Systems (QAPL) workshop.
Invited speakers will be shared between the two events:
• Martin Fränzle, University of Oldenburg
A tight integration of symbolic, numeric, and statistical methods for the analysis of cyber-physical systems
• Paolo Zuliani, Newcastle University
Statistical Model Checking for Cyber-Physical Systems
• Flemming Nielson, Technical University of Denmark
Guarding against Denial of Service Attacks
For abstracts of these talks please consult http://wiki.ercim.eu/wg/MLQA/index.php/MLQA_2013
For more about the ERCIM working group MLQA please consult http://wiki.ercim.eu/wg/MLQA
We invite all interested researchers and PhD students to participate at MLQA 2013.
For registration please follow the instructions on the ETAPS website http://www.etaps.org