The workshop combines the Fourth annual meeting of the ERCIM Working Group on Models and Logics for Quantitative Analysis (MLQA) with a SICSA Modelling and Abstraction Theme event.
The theme of the workshop is Compositional Modelling and Analysis of Quantitative Systems. Compositionality is a key concept in both the modeling and analysis of computer systems. It is only by decomposing large complex systems into smaller pieces that we can build and analyse these systems.
The aim of the workshop is to bring together researchers working on quantitative modelling and analysis of computer systems focusing on research using compositional techniques. The workshop hopes to encourage interaction and collaboration between the attendees in developing compositional approaches. The workshop will bring together MLQA participants from across Europe with contributors to the SICSA theme of 'Modelling and Abstraction'. However, participation from outside MLQA and the SICSA theme are also welcome.
The workshop will take place immediately following the CONCUR International Conference taking place in Newcastle-upon-Tyne 4th-7th September 2012.