Afficher la légende

Vendredi 31 Mai

« Lundi Mardi Mercredi Jeudi Vendredi »
09:00
00:59 - 11:30
Game semantics and applications to compilation (3/3): A type system for hard real-time computation
00:59 - 13:30
From Mind to Turing to Mind
10:00
11:00
 
12:00  
 
13:00  
 
14:00  
 
15:00  
 
16:00  
 
17:00  
 
18:00  
 
19:00