Verimag News

News

  • New Book: Introduction to Distributed Self-Stabilizing Algorithms
  • Automation: Flying High?

    Verimag is mentionned in a France Culture broadcast

Seminars

  • In 1 month, Radu IOSIF (VERIMAG) on 4 July 2019 at 14h00 : « Alternating Automata Modulo First Order Theories »
  • In 2 weeks (LIG Keynote) at 16h00 : Pierre-Yves Longaretti - Global environmental collapse risks: is digital technology a solution or a problem? (IMAG Building Amphitheatre)

Conferences

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

    19th International Workshop on Automated Verification of Critical Systems