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
Tiziano Dalmonte (AMU, LSIS-LIS)
Marianna Girlando (AMU, LSIS-LIS), Ph.D. Student
Charles Grellois (AMU, LSIS-LIS)
Vincent Risch (AMU LSIS-LIS)
Luigi Santocanale (AMU, LIF-LIS)


LORIA Nancy

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