Afficher la légende

27 Mai - 31 Mai

 «
 
 
» 
Lun 27 Mai Mar 28 Mai Mer 29 Mai Jeu 30 Mai Ven 31 Mai
09:00       
00:59
Game semantics and applications to compilation (3/3): A type system for hard real-time computation
00:59
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