Projet "Vérité et Preuves"
Présentation du projet
Partipants
Clément Aubert
Sylvain Cabanacq
Meven Cadet
Davide Crippa
Andrei Dorman
Giulio Guerrieri (Organisateur)
Jean-Baptiste Midez
Alberto Naibo (Organisateur)
Maël Pegny
Mattia Petrolo (Organisateur)
Thomas Seiller (Organisateur)
Giorgio Venturi
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. Des réunions régulières sont organisées autour d'exposés suivi d'une discussion.
Afin de concrétiser notre travail, il est prévu d'organiser un colloque d'une journée où l'on alternera des exposés invités avec la présentation de certains travaux nés de cette collaboration.
- Ecole Doctorale ED184 (Marseille)
- Ecole Doctorale ED280 (Paris 1)
- Ecole Doctorale ED386 (Paris 7)
- Ecole Doctorale ED400 (Paris 7)
- Ecole Doctorale ED540 (ENS)
Afin de concrétiser notre travail, il est prévu d'organiser un colloque d'une journée où l'on alternera des exposés invités avec la présentation de certains travaux nés de cette collaboration.
Ecoles doctorales impliquées
- Collège des Ecoles Doctorales de Paris 1- Ecole Doctorale ED184 (Marseille)
- Ecole Doctorale ED280 (Paris 1)
- Ecole Doctorale ED386 (Paris 7)
- Ecole Doctorale ED400 (Paris 7)
- Ecole Doctorale ED540 (ENS)
Documents
Général
pdfProjet
Première réunion
pdfSylvain Cabanacq
pdfAndrei Dorman
SlidesAndrei Dorman
pdfGiorgio Venturi
Seconde Réunion
pdfClément Aubert
Slides Giorgio Venturi
pdfNaibo, Petrolo, Seiller
Troisième Réunion
SlidesGiulio Guerrieri
SlidesAlois Brunel
Réunions
Colloque Final
Les 21 et 22 Octobre 2011
Vendredi 21 Octobre, Université Paris 7 - Denis Diderot
SALLE KLIMT (366A), 3ième étage, bâtiment Condorcet
09h45-10h00: Jean-Baptiste Joinet (Université Paris 1),
Presentation of the project "Vérité et Preuves".
10h00-11h00: Volker Peckhaus (Universität Paderborn),
The Pragmatism of Hilbert's Program.
11h00-11h15: Break.
11h15-12h15: Giorgio Venturi (PhD student, Université Paris 7 / Scuola Normale di Pisa),
The Concept of Axiom between Hilbert and Set Theory.
12h30-14h30: Lunch Break.
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 (PhD student, Université d'Aix-Marseille / Université de Savoie),
Graphs of Interaction.
16h30-16h45: Break.
16h45-17h15: Jean-Baptiste Midez (PhD student, Université d'Aix-Marseille),
Operads and the Resource Lambda-Calculus.
19h30: Conference Social Dinner.
Samedi 22 Octobre, Université Paris 1 - Panthéon-Sorbonne
SALLE HALBWACHS, escalier C, 1er étage
09h30-10h30: Mario Piazza (Università di Chieti-Pescara),
Deflationism, Incompleteness and Omega-rule.
10h30-10h45: Break.
10h45-11h45: Méven Cadet (PhD student, Université Paris 1),
Models and Modalities: what Logical System(s)?
11h45-12h15: Manuel Gustavo Isaac (PhD Student, Université Paris 7),
Syntax and semantic before their time.
12h15-14h00: Lunch Break.
14h00-15h00: Alexandre Miquel (ENS de Lyon),
Krivine's Theory of Classical Realizability: a Genuine Alternative to the Brouwer-Heyting-Kolmogorov Interpretation of Proofs.
15h00-16h00: Sylvain Cabanacq (PhD student, Université Paris 7),
Identity of Proofs, Equivalence of Derivations.
16h00-16h15: Break.
16h15-16h45: Alberto Naibo (PhD student, Université Paris 1), Mattia Petrolo (PhD student, Université Paris 7 / Università Roma Tre),
Towards a Verificationist Theory for Classical Logic.
16h45-17h15: Round Table.
Réunions passées
Vendredi 6 Mai 2011
10h30-12h00 - Thomas Seiller14h00-16h00 - Alberto Naibo
Vendredi 11 Mars 2011
9h30-10h30 - Antonio Mosca11h-12h - Alois Brunel
14h-15h - Giulio Guerrieri
15h30-16h30 - Jean-Baptiste Midez
Vendredi 11 et Samedi 12 Février 2011
Vendredi11h-12h - Clément Aubert
16h-17h - Giorgio Venturi
17h30 Groupe de travail
Samedi
9h30-10h30 - Alberto Naibo, Mattia Petrolo
11h-12h - Thomas Seiller
Lundi 8 Novembre 2010
10h30 - Sylvain Cabanacq14h00 - Andrei Dorman
15h00 - Giorgio Venturi