People

Project Leaders:

• Jean Fichot (Paris)
• Peter Schroeder-Heister (Tübingen)

Further Participating Researchers:

• Michael Arndt (Tübingen)
• Michel Bourdeau (Paris)
• Gilles Dowek (Paris)
• Jean-Baptiste Joinet (Lyon)
• Alberto Naibo (Paris)
• Maël Pégny (Paris)
• Mattia Petrolo (Paris)
• Thomas Piecha (Tübingen)
• Francesca Poggiolesi (Paris)
• Luca Tranchini (Tübingen)
• Ernst Zimmermann (Tübingen)