Verimag News

News

  • New Book: Introduction to Distributed Self-Stabilizing Algorithms

Seminars

  • In 3 days, Pierre-Jean Meyer (University of California, Berkeley) on 26 September 2019 at 14h00 : « Reachability analysis and decompositions for abstraction-based control synthesis »
  • In 2 weeks, Valentin TOUZEAU (Verimag) on 8 October 2019 at 16h00 : « Static Analysis of Least Recently Used Caches: Complexity, Optimal Analysis, and Applications to Worst-Case Execution Time and Security » (Thesis)
  • In 1 week (LIG Keynote) at 16h00 : Christian Jutten - Processing of multimodal data: Benefit or loss? (IMAG Building Amphitheatre)

Conferences

  • Synchron 2019 - November 25-29 2019 (in 2 months)

    26ème Workshop sur la programmation Synchrone, à Aussois, du 25 au 29 Novembre 2019