Jour Semaine ouvrée Semaine Mois Aujourd’hui 24/11 - 28/11 2025   lun., 24 nov. mar., 25 nov. mer., 26 nov. jeu., 27 nov. ven., 28 nov.               08:00                           08:30 Welcoming + Coffee 09:45                   09:00   09:00 Loïc Sylvestre "Compiling Esteral via Eclat (WIP)" 09:00 Basile Pesin "Learn-Heptagon: a web application to teach dataflow synchronous programming" 09:00 Jean Guyomarc’h "WCET: from "problem solved" to an open research/industrial problem" 09:00 Victor Miquel "Wisteria: a frontend for structural/dataflow compilers"           09:45 Erwan Jahier "From Lustre V6 to FPGA via Verilog (WIP)" 09:45 Jean-Baptiste Jeannin "Defining zero-crossings to verify hybrid synchronous programs" 09:45 Pascal Raymond "Exploiting Modes for Timing Analysis" 09:45 Timothy Bourke and Loïc Sylvestre "Scheduling Rate-synchronous Lustre II: now we've really got the bools" 10:00   10:00 Balthazar Patiachvili "Inlining in a Verified Synchronous Languagage Compiler"   10:15 Coffee break 10:15 Coffee break 10:15 Coffee break   10:30 Irman Faqrizal "Deductive State-Space Construction and Verification of Discrete-Time Stochastic Timed Automata (WIP)" 10:30 Coffee break   10:45 Christophe Junke and Fabien Siron "Modular Extraction of Lustre Models from C Code" 10:45 Bruno Ferres "Formal Models of Integrated Circuits for Electrical Verification at Transistor Level"" 10:45 Charles de Haro "Introduction to the Static Analysis of Synchronous Data-Flow Languages" 11:00     11:00 Alain Girault "Parallel scheduling of task graphs under minimal memory constraints"   11:15 Grégoire Bussone "Optimizing memory representation of state machines"     11:30 Pavlo Tokariev "Stochastic CCSL (WIP)" 11:30 Etienne Parent "Presentation of the Shannon meets Cray project" 11:30 Marc Pouzet "TBA"   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 Basile Pesin "Formal verification of Vélus programs with SMTCoq" 14:00 Social walk 18:00         14:45 Claude Stolze "Coherence and Determinacy with Priorities and Clocks" 14:45 Dumitru Potop "A Dataflow Language for Machine Learning"   15:00   15:00 Michael Mendler "Policy-synchronised Deterministic Memory in Haskell"         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 Loïc Sylvestre "A conservative extension of Eclat with Esterel and Lustre constructs" 16:00 Break         16:30 Marc Pouzet "Parallel and Serial Iteration for a Stream Language"       16:45 Timothy Bourke "Better but still WIP: scheduling for multithreading with constraint solvers"   17:00   17:00 Bruno Ferres "Communication and Shared Memory Efficient Mapping Techniques of Real-Time DAGs upon Clustered Multicore Platforms"                           18:00                                       18:45 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