Jour Semaine ouvrée Semaine Mois Aujourd’hui 25/11 2025   mardi 25 novembre       08:00                 09:00   09:00 Loïc Sylvestre "A conservative extension of Eclat with Esterel and Lustre constructs: hardware implementation and semantics (WIP)"       09:45 Erwan Jahier "From Lustre V6 to FPGA via Verilog (WIP)" 10:00     10:15 Coffee break     10:45 Christophe Junke and Fabien Siron "Modular Extraction of Lustre Models from C Code" 11:00     11:15 Dumitru Potop "A Dataflow Language for Machine Learning"     12:00       12:15 Lunch     13:00               14:00   14:00 Sanjiva Prasad "Logical Synchrony, Function computations and predetermination"       14:45 Marc Pouzet "Parallel and Serial Iteration for a Stream Language" 15:00       15:30 Break   16:00   16:00 Pavlo Tokariev "Stochastic CCSL (WIP)"     16:30 Jean-Baptiste Jeannin "Verifying synchronous programs with automata"   17:00   17:00 Timothy Bourke "Better but still WIP: scheduling for multithreading with constraint solvers"           18:00                 19:00           19:30 Dinner   20:00             Synchron 2025 Program.ics GMT +01:00 Bruxelles, Copenhague, Madrid, Paris