Verimag News

News

  • Understanding and Changing the World, From Information to Knowledge and Intelligence

    Un livre écrit par Joseph Sifakis, Fondateur du laboratoire Verimag, et récipiendaire du prix Turing

Seminars

  • In 3 days, Matheus Schuh (Verimag / Kalray) on 31 May 2022 at 09h30 : « Safe Implementation of Hard Real-Time Applications on Many-Core Platforms » (Thesis)
  • In 6 days, CAPITAL Workshop (sCalable And PrecIse Timing AnaLysis for multicore) on 3 June 2022 at 09h00 : « Workshop CAPITAL 2022 : sCalable And PrecIse Timing AnaLysis for multicore platforms »
  • In 2 weeks, Joel Goossens (ULB, Brussels) on 14 June 2022 at 14h00 : « Real-Time Computing, foundation »
  • In 2 weeks, Joel Goossens (ULB, Brussels) on 16 June 2022 at 14h00 : « Periodicity of real-time priority driven schedulers with preemption delay on uniprocessor »

Conferences

  • Workshop CAPITAL 2022: sCalable And PrecIse Timing AnaLysis for multicore platforms - (in 1 week)
  • ASL 2022 : Advances in Separation Logic - July 31, 2022 (in 2 months)