Programme

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

 

  • 12:30-14:00 Lunch at the Étoile university cafeteria

Models of computation, parallel & distributed computing 

 

  • 15:30-16:00 Coffee break

Free topics

  • 16:00-16:30 Spare
  • 16:30-17:00 Spare

 

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

 

Wednesday Nov. 29th

Circuits & constructive semantics

  • 09:00-10:30 Gérard Berry, to be announced

 

  • 10:30-11:00 Coffee break

 

  • 12:30-14:00 Lunch at the Étoile university cafeteria

Free topics

 

Thursday Nov. 30th

Hybrid systems modeling based on synchronous language principles

 

  • 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

Comments are closed.