Afficher la légende

16 Mars - 20 Mars

 «
 
 
» 
Lun 16 Mar Mar 17 Mar Mer 18 Mar Jeu 19 Mar Ven 20 Mar
09:00         
         
10:00         
         
11:00       
11:00
An infinitary model of linear logic
       
12:00     
12:15
Calcul efficace de la stabilité des concepts formels
       
13:00       
         
14:00 
14:00
ALEA, au CIRM (16-20 mars)
     
   
14:30
Effective verification of low-level software with nested interrupts
 
15:00     
       
16:00       
       
17:00         
         
18:00         
         
19:00