Giada Coppi

TU Wien (Department of Formal Languages – Theory and Logic Group)

Agata Ciabattoni, Coordinator
Christian Fermueller
Roman Kuznets
Bjoern Lellmann
Tim Lyon (PhD Student)
Revantha Ramanayake, Co-coordinator TU Wien


LSIS Marseilles

Nicola Olivetti (AMU, LSIS-LIS), French Coordinator
Vincent Risch (AMU LSIS-LIS)
Luigi Santocanale (AMU, LIF-LIS)
Marianna Girlando (AMU, LSIS-LIS), Ph.D. Student


LORIA Nancy

Didier Galmiche (Université de Lorraine and LORIA, TYPES team), Coordinator for Nancy
Dominique Larchey-Wendling (CNRS and LORIA, TYPES team)
Daniel Méry (Université de Lorraine and LORIA, TYPES team)