Afficher la légende

26 Janvier - 30 Janvier

 «
 
 
» 
Lun 26 Jan Mar 27 Jan Mer 28 Jan Jeu 29 Jan Ven 30 Jan
09:00         
         
10:00         
         
11:00       
11:00
Une introduction à la théorie de Squier
       
12:00       
         
13:00         
         
14:00
14:00
Apprentissage faiblement supervise d'un etiqueteur morpho-syntaxique par transfert cross-lingue
14:00
Soutenance de thèse (AOC-RCLN)
   
14:00
Cost Linear Temporal Logic for Verification
   
14:40
Vérification de Spécifications EB-3 à l'aide de Techniques de Model Checking
15:00       
       
16:00       
       
17:00         
         
18:00         
         
19:00