People

Second project phase: Hypothetical Reasoning – Its Proof-Theoretical Analysis

Project Leaders:

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

Further Participating Researchers:

• Michael Arndt (Tübingen)
• Pascal Boldini (Paris)
• Michel Bourdeau (Paris)
• Henri Galinon (Paris)
• Jean-Baptiste Joinet (Paris)
• Rainer Lüdecke (Tübingen)
• Alberto Naibo (Paris)
• Mattia Petrolo (Paris)
• Thomas Piecha (Tübingen)
• Francesca Poggiolesi (Paris)
• Luca Tranchini (Tübingen)
• Ernst Zimmermann (Tübingen)

 

---

 

First project phase: Hypothetical Reasoning – Logical and Semantical Perspectives

Project Leaders:

• Michel Bourdeau (Paris)
• Peter Schroeder-Heister (Tübingen)

Further Participating Researchers:

• Michael Arndt (Tübingen)
• Mark van Atten (Paris)
• Pascal Boldini (Paris)
• Mikaël Cozic (Paris)
• Jacques Dubucs (Paris)
• Paul Egré (Paris)
• Jean Fichot (Paris)
• Brian Hill (Paris)
• Hendrik Maryns (Tübingen)
• Thomas Piecha (Tübingen)
• Francesca Poggiolesi (Bruxelles)
• Luca Tranchini (Tübingen)
• Bartosz Więckowski (Tübingen)
• Ernst Zimmermann (Tübingen)