9h30-9h40: Welcome and openning.
9h40-10h30: Hybrid synchronous languages (invited talk), Vijay Saraswat: paper.
10h30-11h00: Morning coffee break.
14h00-14h30: Goto and concurrency: Introducing safe jumps in Esterel, O. Tardieu: paper.
14h30-15h00: A verified compiler for synchronous programs with local declarations, K. Schneider, J. Brandt, and T. Schüle: paper.
15h30-16h00: Afternoon coffee break.