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

[PVS] MLQA 2013 (colocated with QAPL at ETAPS) - Models and Logics for Quantitative Analysis: Call for Participation



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