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)