Planning

‹ Wednesday, November 9, 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 (30min)
Welcome
›9:00 (1h)
Dale Miller: A proof theory for model checking
Dale Miller
› Place de l'École - ENS Lyon
›10:00 (15min)
Coffee break
› Place de l'École - ENS Lyon
›10:15 (2h)
Linear logic, mathematics and computer science
› Place de l'École - ENS Lyon
›12:15 (1h30)
Lunch
› Place de l'École - ENS Lyon
›13:45 (1h)
Michele Pagani: The Free Exponential Modality of Probabilistic Coherence Spaces
Michele Pagani
› 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 (2h)
Linear logic, mathematics and computer science
› Place de l'École - ENS Lyon
Session
Speech
Logistics
Break
Tour
Online user: 1 RSS Feed