Planning

‹ Thursday, November 10, 2016
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
›9:00 (1h)
Elaine Pimentel: A unified view of modal and substructural logics
Elaine Pimentel
› Place de l'École - ENS Lyon
›10:00 (15min)
Coffee break
› Place de l'École - ENS Lyon
›10:15 (1h)
Linear logic, mathematics and computer science
› Place de l'École - ENS Lyon
›11:15 (1h)
Kazushige Terui: On predicative fragments of System F
Kazushige Terui
› Place de l'École - ENS Lyon
›12:15 (1h30)
Lunch
› Place de l'École - ENS Lyon
›13:45 (1h)
Willem Heijltjes: On MALL proof nets
Willem Heijltjes
› Place de l'École - ENS Lyon
›14:45 (1h)
Linear logic, mathematics and computer science
› Place de l'École - ENS Lyon
›15:45 (15min)
Coffee break
› Place de l'École - ENS Lyon
›16:00 (1h30)
Linear logic, mathematics and computer science
› Place de l'École - ENS Lyon
Session
Speech
Logistics
Break
Tour
Online user: 1 RSS Feed