Programme

‹ mercredi 9 novembre 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)
Accueil
›9:00 (1h)
Dale Miller : A proof theory for model checking
Dale Miller
› Place de l'École - ENS Lyon
›10:00 (15min)
Pause café
› Place de l'École - ENS Lyon
›10:15 (2h)
Logique linéaire, mathématiques et informatique
› Place de l'École - ENS Lyon
›12:15 (1h30)
Déjeuner
› 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)
Logique linéaire, mathématiques et informatique
› Place de l'École - ENS Lyon
›15:45 (15min)
Pause café
› Place de l'École - ENS Lyon
›16:00 (2h)
Logique linéaire, mathématiques et informatique
› Place de l'École - ENS Lyon
Session
Discours
Logistique
Pause
Sortie
Personnes connectées : 1 Flux RSS