Afficher la légende

17 Octobre - 21 Octobre

 «
 
 
» 
Lun 17 Oct Mar 18 Oct Mer 19 Oct Jeu 20 Oct Ven 21 Oct
09:00         
         
10:00         
         
11:00       
11:00
Some interplays between proof theory and computational complexity
       
12:00         
 
12:30
Lower bounds in resource constrained shortest path algorithms
     
13:00       
         
14:00
14:00
Framester: A Wide Coverage Linguistic Linked Data Hub
14:00
Combinatoire des mots
     
     
15:00       
   
15:30
Integer-Complete Synthesis for Bounded Parametric Timed Automata
 
16:00     
       
17:00         
         
18:00         
         
19:00