MLQA 2013 - 5th Meeting of the working group on Models and Logics for Quantitative Analysis (MLQA)

Models and Logics for Quantitative Analysis are seen as comprising process models that are analysed using logics for quantitative properties. More specifically, we consider process models formally described by transition systems, automata or process calculi, and we consider logics for expressing stochastic and continuous properties as well as discrete ones, we focus on algorithms, theory and tools, and study applications with particular emphasis on embedded systems and service oriented systems but will aim at treating also IT guided workflow systems and biological systems.
The proposed theme for MLQA 2013 is Cyber Physical Systems.
Flemming Nielson (Techn. Univ. of Denmark, Lyngby, Denmark)