Accéder au contenu.
Menu Sympa

athena - [Athena] [IHPST] CONF: Functions, Proofs, Constrcutions - Tübingen 21-23 February

athena AT services.cnrs.fr

Objet : Histoire des techniques

Archives de la liste

[Athena] [IHPST] CONF: Functions, Proofs, Constrcutions - Tübingen 21-23 February


Chronologique Discussions 
  • From: Peggy Tessier <peggy.tessier AT univ-paris1.fr>
  • To: destinataires inconnus:;
  • Subject: [Athena] [IHPST] CONF: Functions, Proofs, Constrcutions - Tübingen 21-23 February
  • Date: Fri, 24 Jan 2014 09:44:33 +0100

Functions, Proofs, Constructions

21-23 February 2014, Tübingen

The aim of the workshop is to bring together  philosophers, historians as well as mathematician and computer scientists to discuss questions such as: “Which kind of algorithms are proofs?”, “Can the constructive notion of proof be fully grasped in terms of some notion of function?”, “What is the distinctive feature of the class of inference rules among that of all possible operations?”, “In which sense are the notions of proof and function impredicative and how does impredicativity manifest itself?”, “Which are the identity conditions for proofs and functions?”

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)


For more information and a full programme please visit: http://ls.informatik.uni-tuebingen.de/FPC/index.html.


Anyone interested in the topic of the workshop is welcome. If you intend to come, please send an email to Marine Gaudefroy-Bergmann <mailto:fpc-org AT informatik.uni-tuebingen.de>  by *9 February*.
 



The workshop is organized by Luca Tranchini (Tübingen) and Marco Panza (IHPST, Paris) as part of the DFG-financed project `Logical Consequence. Proof-theoretic and epistemological perspective <https://sites.google.com/site/locoepiproper/> ' (Tr1112/1). 

-----------------------------
Peggy TESSIER
Ingénieur d'Etudes
Médiation scientifique
Responsable administrative
IHPST-UMR8590 (Paris 1/CNRS/ENS)
13 rue du four 75006 Paris
Tél : +33 (0) 1 43 54 94 60
Fax : +33 (0) 1 43 25 29 48
Page perso : http://www-ihpst.univ-paris1.fr/2,peggy_tessier.html

Réseau Pro HiPhiSciTech : http://hiphiscitech.org/

--
Ce message a été vérifié par MailScanner pour des virus ou des polluriels et rien de suspect n'a été trouvé.


  • [Athena] [IHPST] CONF: Functions, Proofs, Constrcutions - Tübingen 21-23 February, Peggy Tessier, 24/01/2014

Archives gérées par MHonArc 2.6.18.

Haut de le page