Jour Semaine ouvrée Semaine Mois Aujourd’hui 24/11 2025   lundi 24 novembre       08:00           08:30 Welcoming + Coffee 09:45   09:00           10:00   10:00 Balthazar Patiachvili "Inlining in a Verified Synchronous Languagage Compiler"     10:30 Irman Faqrizal "Deductive State-Space Construction and Verification of Discrete-Time Stochastic Timed Automata (WIP)"   11:00       11:15 Grégoire Bussone "Optimizing memory representation of state machines"     12:00       12:15 Lunch     13:00               14:00   14:00 Jean Guyomarc’h "Compiling PsyC Automata: from Language to Schedule"       14:45 Claude Stolze "Coherence and Determinacy with Priorities and Clocks" 15:00       15:30 Break   16:00   16:00 Reinhard von Hanxleden "SCCharts Twelve Years Later: A Reflection on Sequential Constructiveness and Text-First Modeling"         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   20:00             Synchron 2025 Program.ics GMT +01:00 Bruxelles, Copenhague, Madrid, Paris