Jour Semaine ouvrée Semaine Mois Aujourd’hui 26/11 2025   mercredi 26 novembre       08:00                 09:00   09:00 Basile Pesin "Learn-Heptagon: a web application to teach dataflow synchronous programming"       09:45 Jean-Baptiste Jeannin "Defining zero-crossings to verify hybrid synchronous programs" 10:00       10:30 Coffee break   11:00   11:00 Alain Girault "Parallel scheduling of task graphs under minimal memory constraints"       12:00       12:15 Lunch     13:00               14:00   14:00 Basile Pesin "Formal verification of Vélus programs with SMTCoq"       15:00   15:00 Michael Mendler "Policy-synchronised Deterministic Memory in Haskell"       16:00   16:00 Break     16:30 Marc Pouzet "Parallel and Serial Iteration for a Stream Language"   17:00             18:00                 19:00           19:30 Gala Dinner   20:00             Synchron 2025 Program.ics GMT +01:00 Bruxelles, Copenhague, Madrid, Paris