•  08:30   Welcoming + Coffee

•  10:00   Balthazar Patiachvili "Inlining in a Verified Synchronous Languagage Compiler"

•  10:30   Irman Faqrizal

•  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

•  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:30   Welcome Reception

•  19:30   Dinner

•  09:00   Loïc Sylvestre "A conservative extension of Eclat with Esterel and Lustre constructs: hardware implementation and semantics (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:15   Dumitru Potop "A Dataflow Language for Machine Learning"

•  12:15   Lunch

•  14:00   Sanjiva Prasad "Logical Synchrony, Function computations and predetermination"

•  14:45   Marc Pouzet "Parallel and Serial Iteration for a Stream Language"

•  15:30   Break

•  16:00   Pavlo Tokariev "Stochastic CCSL (WIP)"

•  16:30   Jean-Baptiste Jeannin "Verifying synchronous programs with automata"

•  17:00   Timothy Bourke "Better but still WIP: scheduling for multithreading with constraint solvers"

•  19:30   Dinner

•  09:00   Charles de Haro

•  09:30   Timothy Bourke and Loïc Sylvestre "Scheduling Rate-synchronous Lustre II: now we've really got the bools"

•  10:00   Basile Pesin "Learn-Heptagon: a web application to teach dataflow synchronous programming"

•  10:30   Coffee break

•  11:00   Wang Yi "MIMOS: a Tool Suite for Asynchronous Embedded Systems Design"

•  12:15   Lunch

•  14:00   Social walk

•  19:30   Gala Dinner

•  10:15   Coffee break

•  12:15   Lunch

•  15:30   Break

•  19:30   Dinner

•  10:15   Coffee break

•  11:15   Last session

•  12:15   Lunch

•  13:30   End of the workshop