Seminar Programme

As usual, the technical programme was created and updated dynamically during the conference. 

Monday 18/Nov/24

Tuesday 19/Nov/24

Wednesday 20/Nov/24

Thursday 21/Nov/24

Friday 22/Nov/24

• Jean Baptiste Jeannin, Department of Aerospace Engineering, University of Michigan at Ann Arbor, USA
  
  Synchronous Programming with Refinement Types
  
  This talk will present MARVeLus, a cyber-physical systems language which combines verification, simulation, and implementation. The language is based on Zélus, a modern version of Lustre, where we add refinement types and associated typing rules. Our refinement types can express temporal-logic-based safety properties and prove them using a rich type system in the style of deductive verification. The language comes with an implementation, and a platform enabling execution on physical robots. Although our current implementation is limited to verifying properties about discrete constructs of Zélus, the talk will also present early efforts extending the proof systems to continuous constructs of Zélus, inspired by the theory of differential dynamic logic.
   
• Romain Michon, INRIA, INSA Lyon, Centre Nationale de Création Musicale (GRAME), France
  
  Evolution of Real-Time Audio Signal Processing Through the Lens of Timing and Synchronicity
  
  From the early ages of music to advanced virtual acoustics rendering systems used in nowadays' concert halls, timing and synchronicity always played a central role in the context of human-made sound production. This evolution culminated during the second half on the twentieth century with real-time digital audio signal processing systems which can now be found everywhere in our day-to-day life: smartphones, televisions, laptops, cars, virtual reality systems, etc. In this talk, we start by examining how complex rhythmic structures in music helped to solidify our understanding of clocking systems. We demonstrate that latency always played a central role in sound production, from large organs in highly reverberant churches to systems for room acoustics active control requiring sub-millisecond latency. Finally, we give an overview of the state of the art of modern technologies for real-time audio s