Jour Semaine ouvrée Semaine Mois Aujourd’hui 27/11 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             Synchron 2019 Program.ics GMT +01:00 Bruxelles, Copenhague, Madrid, Paris