Models and Logics for Quantitative Analysis (MLQA 2013)

Mar 24, 2013

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.