Afficher la légende

8 Décembre - 12 Décembre

 «
 
 
» 
Lun 8 Déc Mar 9 Déc Mer 10 Déc Jeu 11 Déc Ven 12 Déc
09:00         
         
10:00         
         
11:00       
11:00
Asynchronous Interaction with Theorem Provers: ProofGeneral's Last March
       
12:00       
 
12:30
Complexity aspects of graph convexities
     
13:00       
         
14:00 
14:00
Asymptotic expansion for random tensor models
     
       
15:00       
       
16:00   
16:00
CosyVerif: An Open Source Extensible Verification Environment
 
     
17:00         
         
18:00         
         
19:00