Afficher la légende

Vendredi 14 Février

« Lundi Mardi Mercredi Jeudi Vendredi »
09:00
00:59 - 12:00
Two Intensional Phenomena: The Size of Church-Rosser Diagrams, and Characterization of PTIME via Overlapping Cons-Free Systems
10:00
11:00
12:00  
 
13:00  
 
14:00  
 
15:00  
 
16:00  
 
17:00  
 
18:00  
 
19:00