Afficher la légende

25 Novembre - 29 Novembre

 «
 
 
» 
Lun 25 Nov Mar 26 Nov Mer 27 Nov Jeu 28 Nov Ven 29 Nov
09:00         
         
10:00       
10:00
Présentation de l2coq : une bibliothèque pour des preuves linéaires en Coq
       
11:00       
       
12:00 
12:00
On unified methods for multi-attribute VRPs, route evaluation operators and large neighborhoods
   
12:00
Vector space decomposition for linear programming
     
13:00     
         
14:00         
         
15:00         
         
16:00         
         
17:00         
         
18:00         
         
19:00