Linear Logic: interaction, proofs and computation

›9:00 (30min)

Welcome

›9:30 (2h30)

An introduction to Linear Logic
Jean-Baptiste Joinet

› 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 (2h)

Linear Logic: multiplicatives
Olivier Laurent

› Amphi Huvelin - Lyon 3 (15 quai Claude Bernard, rez-de-chaussée)

›15:30 (30min)

Coffee break

› Espace détente - Lyon 3 (15 quai Claude Bernard, cour centrale)

›16:00 (2h)

Linear Logic: multiplicatives
Olivier Laurent

› Amphi Huvelin - Lyon 3 (15 quai Claude Bernard, rez-de-chaussée)