Preliminary Program

Thursday, June 26th

09h30 : Opening: Themes of these days
10h15 : Alain Lecomte : Ludics and modelisation of Socratic dialogues

11h00 : coffee break

11h15 : Michele Abrusci: Incompleteness theorems and Transcendental Syntax
12h00 : Mathieu Marion : Dialogue, dialectics, and inferentialism 

12h45 : lunch

14h30 : Alberto Naibo : From axioms to computation: A philosophical account of geometry of interaction
15h15 : Paolo Pistone : Rules, types and the transcendence of second order logic

16h00 : coffee break

16h15 : Giuseppe Primiero : Resources based interpretation of Ludics
17h00 : General Discussion

Friday, June 27th

09h30 : Laurent Keiff : Modalities, Proof theory and Ludics
10h15 : Frederic Nef : Relation and Connection

11h00 : coffee break

11h15 : Michele Basaldella : Ludics without designs
12h00 : Arnaud Valence: Towards a Transcendental Euristics

12h45 : lunch

14h30 : Daniele Porello : TBA
15h15 : Pierre Livet : The notion of incompatibility in Brandom's inferentialism

16h00 : coffee break

16h15 : Samuel Tronçon : Ludics and Social Interaction
17h00 : General Discussion

http://www.anr-loci.fr/
http://logica.uniroma3.it/