Afficher la légende

13 Mars - 17 Mars

 «
 
 
» 
Lun 13 Mar Mar 14 Mar Mer 15 Mar Jeu 16 Mar Ven 17 Mar
09:00         
         
10:00         
         
11:00       
11:00
Des preuves, oui, mais formelles !
       
12:00       
         
13:00         
         
14:00 
14:00
Géométrie combinatoire : densité d'hypergraphes et méthode probabiliste
     
       
15:00       
   
15:30
Preserving Partial Order Runs in Parametric Time Petri Nets
 
16:00     
       
17:00         
         
18:00         
         
19:00