List of Group Members

Individual Memberships

The group is open to all interested -- please sign up as indicated under Contact in the leftmost column.

Proposing Institutions

At present the following institutions, that are members of the national organisations taking part in ERCIM, support the MLQA working group (in alphabetical order and just one contact person per site):

• CNR (Italy) / Diego Latella
• CWI (Holland) / Jan Rutten
• INRIA (France) / Catuscia Palamidessi
• Oxford University (England) / Marta Kwiatkowska
• RWTH Aachen University (Germany) / Joost-Pieter Katoen
• Technical University of Berlin (Germany) / Uwe Nestmann
• Technical University of Denmark / Flemming Nielson
• Trinity College (Ireland) / Matthew Hennessy
• Universita’ di Firenze (Italy) / Rocco De Nicola
• University of Trento (Italy) / Paola Quaglia
• University of Edinburgh (Scotland) / Stephen Gilmore
• Universität des Saarlandes (Germany) / Holger Hermanns
• University of Aalborg (Denmark) / Kim Guldstrand Larsen

Chair and Steering Committee

At the MLQA 2010 Meeting the attendees elected a Chair that reports to ERCIM and a Steering Committee to ensure that the many good suggestions from the meeting be put into action.

• Flemming Nielson (Chair)
• Diego Latella
• Joost-Pieter Katoen
• Herbert Wiklicky
• Erik de Vink
• Catuscia Palamidessi