Verimag News

Seminars

  • In 1 month, Joseph Sifakis (VERIMAG) on 23 November 2017 at 14h00 : « How Much Hard is System Design? »
  • In 2 weeks (LIG Keynote) at 14h00 : George Wright - State of the Art Media Research (IMAG Building Amphitheatre)

Conferences

  • ADSL 2018 - 13 July 2018 (ends July 2018)

    First Workshop on Automated Deduction for Separation Logics