ERCIM Working Group on Models and Logics for Quantitative Analysis (MLQA)
- consider process models formally described by transition systems, automata or process calculi,
- consider logics for expressing stochastic and continuous properties as well as discrete ones,
- 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 MLQA home page: http://wiki.ercim.eu/wg/MLQA
The goal of this working group is to create a venue for knowledge sharing in this exciting area, for creating a network also for young researchers, for sharing tools developed within the field, for discussing research directions, and eventually to formulate a European project or network on formal quantitative analysis.
The working group will be open also to researchers outside of ERCIM (and outside of Europe).
The fifth annual meeting: MLQA 2013, Rome, Italy.
The Kick-Off meeting: MLQA 2009, York, UK.
The second annual meeting: MLQA 2010, Edinburgh, UK.
The third annual meeting: MLQA 2011, Aachen, Germany.
The fourth annual meeting: MLQA 2012, Edinburgh, UK.