Models and Logics for Quantitative Analysis

This is the preliminary home page of the ERCIM Working Group on Models and Logics for Quantitative Analysis (MLQA).

Please read here for information about:

· the present version of the mission statement

Please read here for information about the Kick-Off meeting in York in March 2009

· the programme

· the presentation by Flemming Nielson

· the presentation by Stephen Gilmore

· the presentation by Carolyn Talcott

· the presentation by Rocco De Nicola

· the presentation by Diego Latella

· the presentation by Holger Hermanns

· the presentation by Paola Quaglia

· the presentations by the participants

· the report

Flemming Nielson <nielson(at)imm.dtu.dk>