Afficher la légende

Jeudi 2 Juillet

« Lundi Mardi Mercredi Jeudi Vendredi »
09:00  
 
10:00  
 
11:00  
 
12:00  
12:30 - 13:30
Solving the quadratic shortest path problem
13:00
 
14:00  
14:30 - 15:30
Action synthesis for branching time logic: theory and applications
15:00
 
16:00  
 
17:00  
 
18:00  
 
19:00