Linear Logic: interaction, proofs and computation

›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)