Jour
Semaine ouvrée
Semaine
Mois
Aujourd’hui
novembre 2025
novembre 2025
Lundi
Mardi
Mercredi
Jeudi
Vendredi
Samedi
Dimanche
27/10
28
29
30
31
1/11
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
• 08:30 Welcoming + Coffee
• 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:15 Grégoire Bussone "Optimizing memory representation of state machines"
• 12:15 Lunch
• 14:00 Jean Guyomarc’h "Compiling PsyC Automata: from Language to Schedule"
• 14:45 Claude Stolze "Coherence and Determinacy with Priorities and Clocks"
• 15:30 Break
• 16:00 Reinhard von Hanxleden "SCCharts Twelve Years Later: A Reflection on Sequential Constructiveness and Text-First Modeling"
• 17:00 Bruno Ferres "Communication and Shared Memory Efficient Mapping Techniques of Real-Time DAGs upon Clustered Multicore Platforms"
• 18:45 Welcome Reception
• 19:30 Dinner
25
• 09:00 Loïc Sylvestre "Compiling Esteral via Eclat (WIP)"
• 09:45 Erwan Jahier "From Lustre V6 to FPGA via Verilog (WIP)"
• 10:15 Coffee break
• 10:45 Christophe Junke and Fabien Siron "Modular Extraction of Lustre Models from C Code"
• 11:30 Pavlo Tokariev "Stochastic CCSL (WIP)"
• 12:15 Lunch
• 14:00 Sanjiva Prasad "Logical Synchrony, Function computations and predetermination"
• 14:45 Dumitru Potop "A Dataflow Language for Machine Learning"
• 15:30 Break
• 16:00 Loïc Sylvestre "A conservative extension of Eclat with Esterel and Lustre constructs"
• 16:45 Timothy Bourke "Better but still WIP: scheduling for multithreading with constraint solvers"
• 19:30 Dinner
26
• 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:30 Coffee break
• 11:00 Alain Girault "Parallel scheduling of task graphs under minimal memory constraints"
• 12:15 Lunch
• 14:00 Basile Pesin "Formal verification of Vélus programs with SMTCoq"
• 15:00 Michael Mendler "Policy-synchronised Deterministic Memory in Haskell"
• 16:00 Break
• 16:30 Marc Pouzet "Parallel and Serial Iteration for a Stream Language"
• 19:30 Gala Dinner
27
• 09:00 Jean Guyomarc’h "WCET: from "problem solved" to an open research/industrial problem"
• 09:45 Pascal Raymond "Exploiting Modes for Timing Analysis"
• 10:15 Coffee break
• 10:45 Bruno Ferres "Formal Models of Integrated Circuits for Electrical Verification at Transistor Level""
• 11:30 Etienne Parent "Presentation of the Shannon meets Cray project"
• 12:15 Lunch
• 14:00 Social walk
• 19:30 Dinner
28
• 09:00 Victor Miquel "Wisteria: a frontend for structural/dataflow compilers"
• 09:45 Timothy Bourke and Loïc Sylvestre "Scheduling Rate-synchronous Lustre II: now we've really got the bools"
• 10:15 Coffee break
• 10:45 Charles de Haro "Introduction to the Static Analysis of Synchronous Data-Flow Languages"
• 11:30 Marc Pouzet "TBA"
• 12:15 Lunch
• 13:30 End of the workshop
29
30
1/12
2
3
4
5
6
7
Synchron 2025 Program.ics
GMT +01:00 Bruxelles, Copenhague, Madrid, Paris
Synchron 2025 Program.ics
