Overview

The workshop "Functions, proofs, constructions" is organized by Marco Panza and Luca Tranchini. The workshop is funded by the Deutsche Forschungsgemeinschaft as part of the project "Logical consequence. Epistemological and proof-theoretic perspectives", with a contribution of the Division for Logic, Methodology and Philosophy of Science.

Confirmed Speakers

Ryota Akiyoshi (Kyoto)
Mark van Atten (Paris)
Stefania Centrone (Hamburg)
Thierry Coquand (Gothenburg)
Walter Dean (Warwick)
Giulio Guerrieri (Rome-Paris)
Fritz Hamm (Tübingen)
Reinhard Kahle (Lisbon)
Alberto Naibo (Paris)
Mattia Petrolo (Paris)
Dag Prawitz (Stockholm)
Peter Schroeder-Heister (Tübingen)
Peter Schuster (Leeds)
Anton Setzer (Swansea)
Stewart Shapiro (Ohio)
Göran Sundholm (Leiden)
Yuta Takahashi (Keyo)