The fourth annual meeting of the WG on Models and Logics for Quantitative Analysis (MLQA) took place on 8 September 2012 at the Laboratory for Foundations of Computer Science of the University of Edinburgh. The meeting was organized in cooperation with The Scottish Informatics & Computer Science Alliance (sicsa*).
The event consisted of a number of invited talks, a number of contributed talks, a poster session and a business meeting. The meeting, organized by Jane Hillston, Gethin Norman and Flemming Nielson, brought together experts in the area of process algebra, fluid flow analysis, compositional verification and analysis. Its theme was Compositional Modelling and Analysis of Quantitative Systems. This year, the programme consisted of both invited and contributed talks.
- Pedro D'Argenio: Security analysis in probabilistic distributed protocols via bounded reachability
- Andrea Marin: Compositional model specifications and analyses via product-forms
- Mirco Tribastone: Exact Aggregation for Fluid Process Algebra Models
- Jaco van de Pol: Symbolic Manipulation of Markov Automata
- Vashti Galpin: Stochastic hybrid modelling with composition of flows
- Saray Shai: Coupled adaptive complex networks
- Chris Banks: A logic for behaviour in context
The next MLQA meeting will take place in Rome, on Sunday 24 March 2013 as satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS). The meeting will be organized by Flemming Nielson and the theme will be Cyber Physical Systems. A session of MLQA 2013 will be shared with the 11th Workshop on Quatitative Aspects of Programming Languages (QAPL 2013). The Working Group will also co-organize the QAPL-MLQA summer school which will take place in Bertinoro (IT) 17-22 June 2013. The school will be organized by Alessandra Di Pierro, Erik de Vink and Herbert Wiklicky. The theme of the school will be “Dynamical Systems”.
Flemming Nielsen, Technical University of Denmark