9h00-9h10: Welcome and openning
9h10-9h30: Design of a mobile robot controller using Esterel tools (short) - A. Sowmya, D. Tsz-Wang So, and W.H. Tang
9h30-9h50: Symbolic simulation of synchronous programs (short) - D. Garriou
9h50-10h10: Efficient compilation of array iterators for Lustre (short) - L. Morel
10h10-10h30: Describing non-deterministic reactive systems by means of regular expressions (short) - P. Raymond and Y. Roux
10h30-11h00: Coffee break
11h00-11h30: Modifying Esterel concepts to model hybrid systems (medium) - M. Baldamus and T. Stauner
11h30-12h00: Slicing synchronous reactive programs (medium) - V. Ganapathy and S. Ramesh
12h00-12h30: Type-based initialisation analysis of a synchronous data-flow language (medium) - J.-L. Colaço and M. Pouzet
12h30-14h00: Lunch
14h00-14h30: ESUIF: an open Esterel compiler (medium), S. Edwards
14h30-15h10: SAXO-RT: interpreting Esterel semantic on a sequential execution structure (long) - E. Closse, M. Poize, J. Pulou, P. Venier, and D. Weil
15h10-15h50: Towards a model-theory for Esterel (long) - G. Lüttgen and M. Mendler
15h50-16h30: Coffee break
16h30-17h10: The saga of synchronous bus arbiter: on model checking quantitative timing properties of synchronous programs (long) - P.K. Pandya
17h10-17h50: SOL: a verifiable synchronous language for reactive systems (long) - R. Bharadwaj
17h50-18h30: A decidable clock language for synchronous specifications (long) - M. Nebut and S. Pinchinat
18h30-18h40: Closing
19h00: Workshop dinner - Tickets must be ordered when you register for the conference