Logic and interaction (6 – 10 February)

Schedule

Monday 6

10:30 - 12:00
Lecture Jean-Yves Girard (Marseille, France) Lectures on transcendental syntax
14:00 - 15:30
Lecture Claudia Faggian (Paris, France) Proof Nets
16:00 - 17:30
Invited talk Michele Abrusci (Roma, Italy) and Paolo Pistone (Roma, Italy) Transcendental Syntax and Geometry of Interaction : Interplays between Logic and Philosophy

Tuesday 7

9:00 - 10:30
Lecture Ugo Dal Lago (Bologna, Italy) Geometry of Interaction
11:00 - 12:30
Lecture Jean-Yves Girard (Marseille, France) Lectures on transcendental syntax

Wednesday 8

9:00 - 10:30
Lecture Dan Ghica (Birmingham, UK) Game Semantics
11:00 - 12:30
Lecture Jean-Yves Girard (Marseille, France) Lectures on transcendental syntax
14:00 - 15:30
Lecture Dan Ghica (Birmingham, UK) Game Semantics
16:00 - 16:45
Contributed talk Etienne Duchesne (Paris, France) MELL in a free compact closure
16:45 - 17:30
Contributed talk Thomas Seiller (Chambéry, France) Graphs of Interaction

Thursday 9

9:00 - 10:30
Lecture Martin Hyland (Cambridge, UK) Ludics and Game Semantics
11:00 - 12:30
Lecture Jean-Yves Girard (Marseille, France) Lectures on transcendental syntax
14:00 - 15:00
Invited talk Dan Ghica (Birmingham, UK) A System-Level Semantics
15:30 - 16:15
Contributed talk Michele Basaldella (RIMS, Japan) A gentle introduction to ludics
16:15 - 17:00
Contributed talk Pierre-Marie Pédrot (Paris 7, France) Double-glueing: refining models of linear logic through realizability

Friday 10

9:00 - 10:00
Lecture Alain Lecomte (Paris, France) Dialogues and commitments
10:00 - 10:30
Lecture Christophe Fouqueré (Paris, France) Dialogues and Ludics
11:00 - 12:00
Lecture Myriam Quatrini (Marseille, France) Controversies, Meaning and dialogues
12:00 - 12:30
Lecture Christophe Fouqueré (Paris, France) C-Ludics and Natural Language
14:00 - 15:00
Invited talk Kurt Ranalter (Bolzano, Italy) Abstract machines for argumentation
15:30 - 16:15
Contributed talk Christian Rétoré (Bordeaux, France) Du système F pour la sémantique et pour la pragmatique lexicale : application à quelques phénomènes linguistiques