Afficher la légende

10 Février - 14 Février

 «
 
 
» 
Lun 10 Fév Mar 11 Fév Mer 12 Fév Jeu 13 Fév Ven 14 Fév
09:00
00:59
La paraphrase : approches et modélisations linguistiques, mise en oeuvre informatique
     
00:59
Two Intensional Phenomena: The Size of Church-Rosser Diagrams, and Characterization of PTIME via Ove...
     
10:00     
     
11:00     
     
12:00       
       
13:00       
       
14:00
14:00
Petit voyage autour des sémantiques quantitatives de la logique linéaire
     
     
15:00       
       
16:00       
       
17:00         
         
18:00         
         
19:00