Projet V&P: Colloque final (Paris, 21-22 octobre 2011

[Isaac Manuel gustavo]

Site du projet: http://iml.univ-mrs.fr/~seiller/Projet.html
Le projet "Vérité et Preuves" a pour but la création d'un
réseau de recherche pluridisciplinaire entre doctorants centré
autour de la logique. Les participants à ce projet proviennent de
domaines variés : mathématiques, philosophie, informatique, et
histoire des sciences.
- Ecole Doctorale ED184 (Marseille)- Ecole Doctorale ED280 (Paris 1)-
Ecole Doctorale ED386 (Paris 7)- Ecole Doctorale ED400 (Paris 7)- Ecole
Doctorale ED540 (ENS)
___________________

Friday, October 21: Université Paris Diderot – Paris 7 SALLE
KLIMT (366A), 3ème étage, bâtiment CONDORCET(4, rue Elsa
Morante - 75013 Paris - Métro: Bibliothèque François
Mitterandhttp://www.rehseis.cnrs.fr/spip.php?rubrique74&lang=en )
9h45 - 10h: Jean-Baptiste Joinet (Univeristé Paris 1) –
Presentation  of the PhD project "Vérité & Preuves"
10h - 11h: Volker Peckhaus (Universität Paderborn) – The
Pragmatism of  Hilbert's Programme
11h - 11h15: break
11h15 - 12h15: Giorgio Venturi (doctorant, Université Paris 7 /
Scuola  Normale di Pisa) - The concept of axiom between Hilbert and set
theory
12h30 - 14h30: lunch
14h30 - 15h30: Vito Michele Abrusci (Università Roma Tre) - Main 
contributions of linear logic to general developments of logic, 
philosophy and computer science.
15h30 - 16h30: Thomas Seiller (doctorant, Université Aix-Marseille 2
/  Université de Savoie) - Graphs of interaction
16h30 - 16h45: break
16h45 – 17h15: Jean-Baptiste Midez (doctorant, Université 
Aix-Marseille 2) –- Operads and the resource lambda-calculus
20h00: conference social dinner

Saturday, October 22: Université Paris 1 – Panthéon-Sorbonne
SALLE HALBWACHS, escalier C, 1er étage(17, rue de la Sorbonne - 75005
Paris - Metro: Luxembourg or
Cluny-Sorbonnehttp://samos.univ-paris1.fr/archives/wsom/plansorb.pdf)
9h30 - 10h30: Mario Piazza (Università di Chieti-Pescara) - 
Deflationism, Incompleteness, and omega-rule
10h30 - 10h45: break
10h45 – 11h45: Méven Cadet (doctorant, Université Paris 1)
-– Models  and Modalities: what logical system(s)?
11h45 – 12h15: Manuel Gustavo Isaac (doctorant, Université Paris
7) -  Syntax and semantic before their time. Setting up the
dichotomisation  via intension vs extension: the Frege-Husserl case
12h30 - 14h: lunch
14h00 - 15h00: Alexandre Miquel (ENS de Lyon) - Krivine's theory of
classicalrealizability: A genuine alternative to the
Brouwer-Heyting-Kolmogorov  interpretation of proofs
15h00 - 16h00: Sylvain Cabanaq (doctorant, Université Paris 7) - TBA
16h00 - 16h15: break
16h15 - 16h45: Alberto Naibo (doctorant, Université Paris 1) & Mattia
Petrolo (doctorant, Université Paris 7 / Università Roma Tre) - 
Towards a verificationist theory for classical logic
16h45 - 17h15: Round table

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.linguistlist.org/pipermail/parislinguists/attachments/20111017/fe354aa2/attachment.htm>