Afficher la légende

2 Mars - 6 Mars

 «
 
 
» 
Lun 2 Mar Mar 3 Mar Mer 4 Mar Jeu 5 Mar Ven 6 Mar
09:00         
   
09:30
On an Extension of Freeze LTL with Ordered Attributes
   
10:00       
         
11:00       
11:00
The Plotkin's call-by-value lambda-calculus from a linear-logical viewpoint
       
12:00       
         
13:00         
         
14:00
14:00
Open questions on Dynamic Semantic Annotation
14:00
Généralisation des nombres et polynômes de Bernoulli aux cas multiples
     
     
15:00     
     
16:00     
     
17:00         
         
18:00         
         
19:00