Joint Workshop on Compositional Modelling and Analysis of Quantitative Systems

Date(s) - 08/09/2012
9:30 am - 5:00 pm

SHSC Conference & Training Centre, Edinburgh

The workshop combines the fourth annual meeting of the ERCIM Working Group on Models and Logics for Quantitative Analysis (MLQA) and 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 system into smaller pieces, 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’.

Registration is free for members of SICSA institutions. Further details are available from the workshop website:

This entry was posted in .