Afficher la légende

17 Novembre - 21 Novembre

 «
 
 
» 
Lun 17 Nov Mar 18 Nov Mer 19 Nov Jeu 20 Nov Ven 21 Nov
09:00         
         
10:00         
       
10:30
Chemins en ludique non-linéaire
11:00       
       
12:00         
         
13:00         
         
14:00 
14:00
Cryptophie : Black-box Trace and Revoke Codes
     
       
15:00       
   
15:30
Abstraction and Modular Verification of Services Using Symbolic Observation Graph (SOG)
 
16:00     
       
17:00         
         
18:00         
         
19:00