[Athena] [IHPST] HYPOTHESES Conference, 29-30 May, 2014, Paris

[Peggy Tessier <Peggy.Tessier AT univ-paris1.fr>]

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.