9h00-9h10: Welcome and openning
9h10-9h50: "Computing SyncCharts reactions", C. André.
9h50-10h30: "A-maze-ing Esterel", J. Aguado and M. Mendler.
10h30-11h00: Coffee break
11h00-11h40: "An overview of the Signal clock calculus", M. Nebut.
11h40-12h20: "Safety property verification of cyclic synchronous circuits", K. Claessen.
12h20-14h00: Lunch (buffet)
14h00-14h40: "Synchronous Estelle: just another synchronous language?", M. Riesco and J. Tuya.
14h40-16h00: Discussion: "Execution of synchronous programs in industrial context, and open research problems in synchronous programming".
16h00-16h30: Coffee break
16h30-17h10: "Modelling of avionics applications and performance evaluation techniques using the synchronous language Signal", A. Gamatié, T. Gautier, and L. Besnard.
17h10-17h50: "Testing against some eventuality properties of synchronous software: a case study", L. du Bousquet, F. Ouabdesslam, and J.-L. Richier.
17h50-18h00: Closing
18h15: Bus to the hotels.