Afficher la légende

Jeudi 24 Novembre

« Lundi Mardi Mercredi Jeudi Vendredi »
09:00  
 
10:00
10:00 - 11:00
Vers une théorie de la réécriture probabiliste
11:00
11:00 - 12:00
Regular Model Checking: Vérification et systèmes de réécriture
12:00  
 
13:00  
 
14:00  
 
15:00  
 
16:00  
 
17:00  
 
18:00  
 
19:00