Jour Semaine ouvrée Semaine Mois Aujourd’hui 24/11 - 30/11 2025   lun., 24 nov. mar., 25 nov. mer., 26 nov. jeu., 27 nov. ven., 28 nov. sam., 29 nov. dim., 30 nov.                   08:00                                   08:30 Welcoming + Coffee 09:45                           09:00   09:00 Loïc Sylvestre "A conservative extension of Eclat with Esterel and Lustre constructs: hardware implementation and semantics (WIP)" 09:00 Charles de Haro                     09:30 Timothy Bourke and Loïc Sylvestre "Scheduling Rate-synchronous Lustre II: now we've really got the bools"             09:45 Erwan Jahier "From Lustre V6 to FPGA via Verilog (WIP)"         10:00   10:00 Balthazar Patiachvili "Inlining in a Verified Synchronous Languagage Compiler" 10:00 Basile Pesin "Learn-Heptagon: a web application to teach dataflow synchronous programming"           10:15 Coffee break 10:15 Coffee break 10:15 Coffee break       10:30 Irman Faqrizal 10:30 Coffee break       10:45 Christophe Junke and Fabien Siron "Modular Extraction of Lustre Models from C Code"         11:00     11:00 Wang Yi "MIMOS: a Tool Suite for Asynchronous Embedded Systems Design"           11:15 Grégoire Bussone "Optimizing memory representation of state machines" 11:15 Dumitru Potop "A Dataflow Language for Machine Learning"   11:15 Last session                     12:00                 12:15 Lunch 12:15 Lunch 12:15 Lunch 12:15 Lunch 12:15 Lunch                 13:00                                 13:30 End of the workshop                   14:00   14:00 Jean Guyomarc’h "Compiling PsyC Automata: from Language to Schedule" 14:00 Sanjiva Prasad "Logical Synchrony, Function computations and predetermination" 14:00 Social walk 18:00                           14:45 Claude Stolze 14:45 Marc Pouzet "Parallel and Serial Iteration for a Stream Language"         15:00                       15:30 Break 15:30 Break 15:30 Break               16:00   16:00 Reinhard von Hanxleden "SCCharts Twelve Years Later: A Reflection on Sequential Constructiveness and Text-First Modeling" 16:00 Pavlo Tokariev "Stochastic CCSL (WIP)"                     16:30 Jean-Baptiste Jeannin "Verifying synchronous programs with automata"                     17:00   17:00 Bruno Ferres "Communication and Shared Memory Efficient Mapping Techniques of Real-Time DAGs upon Clustered Multicore Platforms" 17:00 Timothy Bourke "Better but still WIP: scheduling for multithreading with constraint solvers"                                               18:00                                   18:30 Welcome Reception                           19:00                                   19:30 Dinner 19:30 Dinner 19:30 Gala Dinner 19:30 Dinner               20:00                                                 Synchron 2025 Program.ics GMT +01:00 Bruxelles, Copenhague, Madrid, Paris