Afficher la légende

Vendredi 30 Mars

« Lundi Mardi Mercredi Jeudi Vendredi »
09:00  
 
10:00  
 
11:00
11:00 - 13:00
Un calcul des séquents avec des types dépendants pour l'arithmétique classique
12:00
13:00  
 
14:00  
 
15:00  
 
16:00  
 
17:00  
 
18:00  
 
19:00