Planning

‹ Tuesday, November 8, 2016 ›
08:00
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
18:00
›8:30 (1h30)
Linear Logic: exponentials attack!
Damiano Mazza
› Amphi Huvelin - Lyon 3 (15 quai Claude Bernard, rez-de-chaussée)
›10:00 (30min)
Coffee break
› Espace détente - Lyon 3 (15 quai Claude Bernard, cour centrale)
›10:30 (1h30)
Linear Logic: denotational semantics
Lionel Vaux
› Amphi Huvelin - Lyon 3 (15 quai Claude Bernard, rez-de-chaussée)
›12:00 (1h30)
Lunch
› Salle "La Rotonde" (18 rue Chevreul, last floor)
›13:30 (10min)
Opening (session Linear Logic & Philosophy)
Michele Abrusci
› Amphi Huvelin - Lyon 3 (15 quai Claude Bernard, rez-de-chaussée)
›13:40 (1h)
Le fantôme de la transparence
Jean-Yves Girard
› Amphi Huvelin - Lyon 3 (15 quai Claude Bernard, rez-de-chaussée)
›14:40 (45min)
Proof-forms vs. formal-proofs: linear logical re-evaluation of early modern logics and consideration of the next generation-notion of “proof”.
Mitsuhiro Okada
› Amphi Huvelin - Lyon 3 (15 quai Claude Bernard, rez-de-chaussée)
›15:25 (20min)
Break
› Espace détente - Lyon 3 (15 quai Claude Bernard, cour centrale)
›15:45 (45min)
Linear Logic and the analysis of the computational time
Jean-Baptiste Joinet
› Amphi Huvelin - Lyon 3 (15 quai Claude Bernard, rez-de-chaussée)
›16:30 (45min)
A computational analysis of logical operators
Mattia Petrolo
› Amphi Huvelin - Lyon 3 (15 quai Claude Bernard, rez-de-chaussée)
›17:15 (45min)
Polymorphism and the notion of type: the input of linear logic
Paolo Pistone
› Amphi Huvelin - Lyon 3 (15 quai Claude Bernard, rez-de-chaussée)
Session
Speech
Logistics
Break
Tour
Online user: 1 RSS Feed