Remarks: the programme will be updated dynamically, as soon as new talks will be proposed. Please keep tuned on this page for the latest updates. Please propose talks by email to the organizer. Your presentation will be put online. Please send your PDF to the organizer, before or after your talk.
Monday Nov. 27th
- 10:30-11:00 Registration, coffee & snacks
Language design & compilation
- 11:00-11:45 Albert Benveniste, The Signal synchronous language, the principles beyond the language and how to exploit and extend them
- 11:45-12:30 Timothy Bourke, Symbolic simulation of dataflow synchronous programs with timers
- 12:30-14:00 Lunch at the Étoile university cafeteria
Models of computation, parallel & distributed computing
- 14:00-14:45 Arash Shafiei, Lossy channels in a dataflow model of computation
- 14:45-15:30 Spare
- 15:30-16:00 Coffee break
Free topics
- 16:00-16:30 Spare
- 16:30-17:00 Spare
- 18:00-… Cheese & wine cocktail party, at Quai 13 (13 quai Lamennais, downtown Rennes)
Tuesday Nov. 28th
Models of computation, parallel & distributed computing
- 09:00-09:45 Robert de Simone, Between models of computation and parallel programming language
- 09:45-10:30 Adrien Guatto, A functional synchronous language with time warps
- 10:30-11:00 Coffee break
Language Design
- 11:00-11:45 Colin Vidal, Orchestrate web applications
- 11:45-12:30 Baltasar Trancón Widemann, The Future of Real-Time Java and the Synchronous Paradigm
- 12:30-14:00 Lunch: buffet with regional specialties
- 14:00-15:30 Debate on synchronous programming for multi-core architectures
- 15:30-16:00 Coffee break
Free topics
- 16:00-16:30 Keryan Didier, A compilation-like approach to real-time systems implementation
- 16:30-17:00 Spare
Wednesday Nov. 29th
Circuits & constructive semantics
- 09:00-10:30 Gérard Berry, to be announced
- 10:30-11:00 Coffee break
- 11:00-11:45 Michael Mendler, Logical analysis of synchronous systems. The importance of being constructive II
- 11:45-12:30 Alexander Schulz-Rosengarten, A sequentially constructive circuit semantics for Esterel
- 12:30-14:00 Lunch at the Étoile university cafeteria
Free topics
- 14:00-14:45 Robby Findler, A Calculus for Esterel
- 14:45-15:30 Lelio Brun, Velus: towards a modular reset
- 17:30-19:30 Guided visit of the Parliament of Brittany and of the old Rennes. Meeting point is rue de Brilhac, under the arches of the Opera, 17:30 sharp.
- 19:30-… Dinner at Le cours des Lices
Thursday Nov. 30th
Hybrid systems modeling based on synchronous language principles
- 09:00-09:45 Marc Pouzet, A synchronous look at the Simulink standard library
- 09:45-10:30 Benoît Caillaud, Revisiting the Simulink standard library with complementarity conditions
- 10:30-11:00 Coffee break
- 11:00-11:45 Michael Mendler, Logical analysis of synchronous systems. The importance of being constructive (s. II e. 2)
- 11:45-12:30 Guillaume Iooss, Harmonic clocks and how to infer them
- 12:30-14:00 Lunch at the Étoile university cafeteria
Free topics
- 14:00-14:45 Fatma Jebali, xMAS+Time: timed hardware simulation at multiple abstraction levels
- 14:45-15:30 Spare
- 15:30-16:00 Coffee break
- 16:00-16:30 Spare
- 16:30-17:00 Discussion and Conclusions
