Synchron 2008: programme

December 1st to 5th, 2008

Schedule: room La Dent Parrachée

Sunday 30th November 2008

19:30 - 21:30

Dinner

Monday 1st December 2008

07:45 - 08:45	Breakfast
08:45 - 09:30	Welcoming
09:30 - 10:15	Marc Pantel: Formal specification and development for the GeneAuto Simulink/Stateflow ACG
10:15 - 10:45	Break
10:45 - 11:30	Martin Strecker: Formally specifying and verifying type soundness of a synchronous language
11:30 - 12:15	Alexandre Cortier: The Synoptic Language
12:15 - 14:00	Lunch
14:00 - 14:45	Yann Glouche: A Boolean algebra of contracts for assume-guarantee reasoning
14:45 - 15:30	Claus Traulsen: The Kiel Lustre processor
15:30 - 16:00	Break
16:00 - 16:45	Matthieu Moy: An experiment with Real-Time calculus, Lustre, and nbac
16:45 - 17:30	Stephan Scheele: Semantic Stream Processing in Business Auditing (Project SPACMODL)
19:30 - 21:30	Dinner

Tuesday 2nd December 2008

07:45 - 08:45	Breakfast
08:45 - 09:30	Robert de Simone: Formal methods for static schedules of Latency-Insensitive designs
09:30 - 10:15	Jean-Vivien Millo: Static Scheduling in Process Networks; Application to Latency Insensitive Design
10:15 - 10:45	Break
10:45 - 11:30	Julien Boucaron and Anthony Coadou: K-periodically routed process networks
11:30 - 12:15	Charles André: Marte Time Model & TimeSquare
12:15 - 14:00	Lunch
14:00 - 14:45	Florence Plateau: Abstraction of Clocks in Synchronous Data-flow Systems
14:45 - 15:30	Léonard Gérard: Integer clocks, a way to efficient distribution and compilation of synchronous programs
15:30 - 16:00	Break
16:00 - 16:45	Abdoulaye Gamatié: A heterogeneous design model for high-performance applications
16:45 - 17:30	Marc Pouzet: N-synchronous continued
19:30 - 21:30	Workshop Dinner

Wednesday 3th December 2008

07:45 - 08:45	Breakfast
08:45 - 09:30	Dan Ghica: Towards a Synchronous Game Semantics
09:30 - 10:15	Joaquin Aguado: The Synchronous Painter
10:15 - 10:45	Break
10:45 - 11:00	Louis Mandel: ReactiveML and JoCaml demos
11:00 - 11:45	Giovanni Funchal: Components and abstraction levels for system-on-chip
11:45 - 12:30	Florence Maraninchi: Using ReactiveML for the modeling and simulation of embedded systems
12:15 - 14:00	Lunch
14:00 - 18:00	Social Event
19:30 - 21:30	Special Dinner

Thurday 4th December 2008

07:45 - 08:45	Breakfast
08:45 - 09:30	Michael Mendler: Lusterel - A Uniform and Modular Composition of Data-flow and Control-flow in Haskell
09:30 - 10:15	Jens Brandt: Synchronous Programs and Modular Compilation
10:15 - 10:45	Break
10:45 - 11:30	Erwan Jahier: Lustre v6
11:30 - 12:15	Marc Pouzet: Objects in Data-flow Languages
12:15 - 14:00	Lunch
14:00 - 14:45	Mouaiad Alras: Model-Based Design of Embeded Control Systems with a Synchronous Intermediate Model
14:45 - 15:30	Xavier Fornari: Certifying a Scade 6 compiler
15:30 - 16:00	Break
16:00 - 16:45	Gwenaël Delaval: Modular Discrete Controller Synthesis
16:45 - 17:30	Aamir Mehmood Khan: UML MARTE Time Model for Spirit IP-XACT
19:30 - 21:30	Dinner

Friday 5th December 2008

07:45 - 08:45	Breakfast
08:45 - 09:30	Matthieu Lemerre: The OASIS model for developpement of deterministic safety-critical multitask real-time systems
09:30 - 10:15	Bertrand Jeannet: Relational Interprocedural Analysis of Concurrent Program
10:15 - 10:45	Break
10:45 - 11:30	Jeff Le Tallec: SoC Conception Methodology
12:15 - 14:00	Lunch