Afficher la légende

20 Octobre - 24 Octobre

 «
 
 
» 
Lun 20 Oct Mar 21 Oct Mer 22 Oct Jeu 23 Oct Ven 24 Oct
09:00         
         
10:00         
       
10:30
Construction de l'exponentielle libre en logique linéaire
11:00       
       
12:00       
         
13:00         
         
14:00 
14:00
A general theory of Wilf-equivalence for Catalan structures
     
       
15:00       
   
15:30
The implementation of GPGPU for Model Checking Problems
 
16:00     
       
17:00         
         
18:00         
         
19:00