athena AT services.cnrs.fr
Subject: Histoire des techniques
List archive
- From: Peggy Tessier <Peggy.Tessier AT univ-paris1.fr>
- To: undisclosed-recipients:;
- Subject: [Athena] [IHPST] HYPOTHESES Conference, 29-30 May, 2014, Paris
- Date: Wed, 30 Apr 2014 10:37:42 +0200
Chères et chers collègues,
nous avons le plaisir de vous inviter à la conférence HYPOTHESES qui
aurai lieu le 29 et 30 mai 2014 à Paris.
Veuillez trouver ci-dessous le descriptif de la conférence, ainsi que
la liste des orateurs invités.
HYPOTHESES Conference
29-30 May, 2014, Paris
Since the introduction by Gentzen of natural deduction and sequent
calculus in the Thirties, the study of hypothetical reasoning became
one of the central aspects of the (structural) analysis of formal
derivations. The aim of this conference is to investigate some recent
developments of this tradition and evaluate their philosophical
significance.
This conference is part of the ANR-DFG funded project "HYPOTHESES -
Hypothetical Reasoning: Its Proof-Theoretical Analysis"
(http://ls.informatik.uni-tuebingen.de/hypotheses/).
Speakers include:
Vito Michele Abrusci (Univ. Rome 3)
Michael Arndt (Univ. Tübingen)
Federico Aschieri (ENS Lyon)
Nicolas Clerbout (Univ. Lille 3)
Ole T. Hjortland (Univ. Münich)
Jean-Baptiste Joinet (Univ. Lyon 3)
Jon Litland (Univ. Olso)
Alberto Naibo (IHPST, Univ. Paris 1)
Luiz Carlos Pereira (PUC Rio)
Mattia Petrolo (IHPST, Univ. Paris 1)
Thomas Piecha (Univ. Tübingen)
Jan von Plato (Univ. Helsinki)
Shahid Rahman (Univ. Lille 3)
Giovanni Sambin (Univ. Padua)
Tor Sandqvist (KTH Stockholm)
Peter Schroeder-Heister (Univ. Tübingen)
Göran Sundholm (Univ. Leiden)
Luca Tranchini (Univ. Tübingen)
Titles and abstracts can be found on the website of the conference:
http://ls.informatik.uni-tuebingen.de/hypotheses/hypo-con.html
*Conference venue*
Institut d'Histoire et de Philosophie des Sciences et des Techniques (IHPST)
Salle de conférences
13, rue du Four
75006 Paris
http://www-ihpst.univ-paris1.fr
*Organizers*
Jean Fichot (jean.fichot AT univ-paris1.fr)
Alberto Naibo (alberto.naibo AT univ-paris1.fr)
Mattia Petrolo (mattia.petrolo AT univ-paris1.fr)
--
Ce message a ete verifie par MailScanner
pour des virus ou des polluriels et rien de
suspect n'a ete trouve.
- [Athena] [IHPST] HYPOTHESES Conference, 29-30 May, 2014, Paris, Peggy Tessier, 04/30/2014
Archive powered by MHonArc 2.6.18.