Afficher la légende

29 Juin - 3 Juillet

 «
 
 
» 
Lun 29 Juin Mar 30 Juin Mer 1 Juil Jeu 2 Juil Ven 3 Juil
09:00         
         
10:00         
         
11:00         
         
12:00
12:15
BE-PUM: A tool of Binary Emulation for Pushdown Model generation
       
   
12:30
Solving the quadratic shortest path problem
 
13:00       
         
14:00
14:00
Annotation et exploration de textes de spécialité - fragments d'une expérience
       
   
14:30
Action synthesis for branching time logic: theory and applications
 
15:00       
         
16:00         
         
17:00         
         
18:00         
         
19:00