Registration 8:30 - 9:00 |
Registration Registration
|
Session 1 9:00 - 10:30 |
Improving Constructiveness in Code Generators
K. Schneider, J. Brandt, T. Schuele, T. Tuerk Simulation of Mobile Ad hoc Network Protocols
in ReactiveML
Mandel, Benbadis A survey of automatic distribution method for
synchronous programs
A. Girault |
Coffee |
|
Session 2 11:00 - 12:30 |
Synchronous Formalism and Behavioral
Substitutability in Component Frameworks
S. Moisan, A. Ressouche, J-P. Rigault Temporal Refinement for Lustre
J. Mikac, P. Caspi |
Lunch |
|
Session 3 14:00 - 15:30 |
Removing cycles in Esterel Programs
Lukoschus, von Hanxleden SHIM: a language for hw/sw integration
S. Edwards |
Coffee |
|
Session 4 16:00 - 18:00 |
Direct Execution of Esterel Using Reactive
Microprocessors
M.W. Sajeewa Dayaratne, P. S. Roop, Z. Salcic
Using Lustre in educational activities: digital circuits design, formal
languages
P. Amblard Panel on using synchronous languages in
education
|
Evening 7.45pm for 8pm |
Dinner Dinner at Heights Rooftop Restaurant in the
Apex International Hotel, Grassmarket. Situated in one of Edinburgh's
oldest parts of town, the restaurant boasts a spectacular view of the
castle.
|