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