Affichage jour Jour Affichage semaine ouvrée Semaine ouvrée Affichage semaine Semaine Vue mensuelle Mois
Afficher aujourd’hui Aujourd’hui
page précédente 27/11 page suivante
2019   mercredi 27 novembre
     
08:00    
   
   
   
09:00  
09:00
Dumitru Potop Butucaru: Efficient parallelization of hard real-time systems
 
 
 
09:45
Timothy Bourke: Even more proofs about Lustre in Coq
10:00  
 
   
 
10:45
Guillaume Baudart : Reactive Probabilistic Programming
11:00  
 
 
11:30
Albert Benveniste : Probabilistic PRogramming
 
12:00  
   
 
12:30
Lunch
 
13:00  
 
   
   
14:00  
14:00
Michael Mendler : Reconciling Synchrony \& Asynchrony
 
 
 
14:45
Tim Engel : Policy-synchronised and Clock-deterministic Shared Memory in Haskell
15:00  
 
   
   
16:00  
16:00
Erwan Jahier : SASA: a SimulAtor of Self-stabilizing Algorithms
 
 
 
16:45
Kai Engelhardt : Driving a car with Lustre - Ambitions, Beliefs, Challenges
17:00  
 
   
 
17:45
Discussion on a Synchronous Conference
18:00  
 
   
   
19:00    
   
 
19:30
Dinner
 
20:00  
 
   
   
ics Synchron 2019 Program.ics GMT +01:00 Bruxelles, Copenhague, Madrid, Paris