[TYPES/announce] Call for Participation & Posters - Joint Workshop on Compositional Modelling & Analysis of Quantitative Systems

Gethin Norman Gethin.Norman at glasgow.ac.uk
Wed Jun 27 04:39:32 EDT 2012

************ CALL FOR PARTICIPATION AND POSTERS ************

Joint Workshop on Compositional Modelling and Analysis of Quantitative Systems
University of Edinburgh, 8 September 2012


The workshop combines

 - the fourth annual meeting of the ERCIM Working Group on
   Models and Logics for Quantitative Analysis (MLQA)

 - 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'. 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 4-7th September 2012. (Edinburgh is approximately 90 minutes from Newcastle by train.)


 - Pedro D'Argenio, FaMAF, Universidad Nacional de Cordoba
   Security analysis in probabilistic distributed protocols
   via bounded reachability

 - Andrea Marin, Universita di Venezia
   Compositional model specifications and analyses via product-forms

 - Jaco van de Pol, University of Twente
   Symbolic Manipulation of Markov Automata

 - Mirco Tribastone, Ludwig-Maximilians-Universität München
   Exact Aggregation for Fluid Process Algebra Models


We invited posters under two categories:

 - presentation of recent or on-going work in relation to
   the themes of MLQA:
 - overview of the recent research activities of a research
   group related to the themes of MLQA.

We equally encourage submissions from both research leaders, junior researchers and PhD students.

Posters should be printed by the participants in their preferred size.

Notification of your intention to submit, along with a title and short description of the poster, should be sent by August 31 to gethin.norman at glasgow.ac.uk.


Jane Hilston, University of Edinburgh
Gethin Norman, University of Glasgow


Registration will be at a cost of £25. Registration is free for members of SICSA institutions. Further details are available from the workshop website:


The University of Glasgow, charity number SC004401

More information about the Types-announce mailing list