Afficher la légende

8 Février - 12 Février

 «
 
 
» 
Lun 8 Fév Mar 9 Fév Mer 10 Fév Jeu 11 Fév Ven 12 Fév
09:00         
         
10:00         
         
11:00       
11:00
Hacking Nondeterminism with Induction and Coinduction
       
12:00       
 
12:30
Primal Heuristics for Branch-and-Price
     
13:00       
         
14:00 
14:00
TBC
 
14:00
Timed Aggregate Graph : a finite graph for model checking of Time Petri Nets
 
     
15:00       
       
16:00       
       
17:00         
         
18:00         
         
19:00