Afficher la légende

21 Novembre - 25 Novembre

 «
 
 
» 
Lun 21 Nov Mar 22 Nov Mer 23 Nov Jeu 24 Nov Ven 25 Nov
09:00         
         
10:00     
10:00
Vers une théorie de la réécriture probabiliste
 
       
11:00     
11:00
Regular Model Checking: Vérification et systèmes de réécriture
11:00
Implémentation de complexité implicite dans les compilateurs
     
12:00       
         
13:00         
         
14:00         
         
15:00         
         
16:00 
16:15
Double régularisation des polyzêtas en les multi-indices négatifs
     
       
17:00       
       
18:00       
       
19:00