athena AT services.cnrs.fr
Objet :
Histoire des techniques
Archives de la liste
- 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.