•  08:00   Welcoming

•  09:45   Albert, Benveniste: Mathematical foundations of physical systems modeling languages.

•  10:45   Benoît, Caillaud : An Implicit Structural Analysis Method for Multi-Mode DAE Systems

•  11:30   Eugene Yip : A Multi-Rate Extension of the ForeC Precision Timed Programming Language for Multi-Cores

•  12:30   Lunch

•  14:00   Matheus Schuh: Time-Critical use of the MPPA / Implementation of Data-Flow Programs on MPPA / WCRT computing algorithm

•  14:45   Vincent Morice:Adding Diagnostic Capabilities to System-On-Chip Digital Twins

•  16:00   Cyril Six: Porting and optimizing CompCert for a VLIW processor (Kalray Coolidge)

•  16:45   Adrien Guatto : Programming with Time Warps

•  17:30   Discussion on the program schedule

•  19:30   Dinner

•  09:00   Friedrich Gretz : Programming Blech

•  10:45   Lena Grimm : From Lustre to Graphical Dataflow Programs

•  11:30   Reinhard Von Hanxleden: Synthesizing Manually Verifiable Code for SCCharts

•  12:30   Lunch

•  19:30   Dinner

•  09:00   Dumitru Potop Butucaru: Efficient parallelization of hard real-time systems

•  09:45   Timothy Bourke: Even more proofs about Lustre in Coq

•  10:45   Guillaume Baudart : Reactive Probabilistic Programming

•  11:30   Albert Benveniste : Probabilistic PRogramming

•  12:30   Lunch

•  14:00   Michael Mendler : Reconciling Synchrony \& Asynchrony

•  14:45   Tim Engel : Policy-synchronised and Clock-deterministic Shared Memory in Haskell

•  16:00   Erwan Jahier : SASA: a SimulAtor of Self-stabilizing Algorithms

•  16:45   Kai Engelhardt : Driving a car with Lustre - Ambitions, Beliefs, Challenges

•  17:45   Discussion on a Synchronous Conference

•  19:30   Dinner

•  09:00   Robert De Simone: Communicationg Networks of Data Flow Networks with limited memory: an approximate title

•  09:45   Lélio Brun : An intermediate language in Vélus for handling modular reset

•  10:45   Dan Ghica: Transparent Synchronous Dataflow

•  11:30   Marc Pouzet: A Coiterative Synchronous Semantics (work in progress)

•  12:30   Lunch

•  14:00   Guillaume Iooss: Lustre, OpenCL, non-determinism

•  14:45   Ismail Lahkim Bennani : Property-based testing of Hybrid Synchronous Systems

•  16:00   Arash Shafiei : RDF : Reconfigurable Data Flow Model of Computation

•  16:45   Luke Burke: Hype and hyperintensionality

•  19:30   Dinner