Verimag News


  • New Book: Introduction to Distributed Self-Stabilizing Algorithms
  • Oded Maler Memorial Day

    The laboratory VERIMAG is organizing a one-day scientific workshop on 20 September 2019 in Grenoble to celebrate the life and scientific legacy of Oded Maler, who sadly left us last year.


  • AVoCS 2019 - 30 September - 1 October 2019 (in 2 months)

    19th International Workshop on Automated Verification of Critical Systems