•  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

•  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

•  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

•  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