Afficher la légende

19 Janvier - 23 Janvier

 «
 
 
» 
Lun 19 Jan Mar 20 Jan Mer 21 Jan Jeu 22 Jan Ven 23 Jan
09:00         
         
10:00         
         
11:00       
11:00
An Introduction to Higher-Dimensional Rewriting Theory
       
12:00       
         
13:00         
13:30
A Text Analytic Approach to Historical Legal Records
       
14:00
14:00
Statistical physics and combinatorics
14:00
Quantum Computing: From physics to computational systems
   
   
15:00       
       
16:00   
16:00
Specification and verification of Time Petri Nets with Coq
 
     
17:00         
         
18:00         
         
19:00