Verimag News


  • Verimag at Formal Methods Forum

    Verimag interviendra avec un exposé intitulé "Analyse fonctionnelle des systèmes cyber-physiques avec incertitudes", présenté par Goran Frehse (MCF UGA).


  • In 1 week, on 31 August 2017 at 10h15 : « Workshop ESTATE/VERIMAG "Distributed Algorithms" »
  • In 1 week, Anaïs Durand (Verimag) on 1 September 2017 at 09h30 : « Efficient Distributed Algorithms Suited for Uncertain Context » (Thesis)


  • RTNS 2017 - 25th International Conference on Real-Time Networks and Systems, 4-6 october 2017 (ends in 1 month)

    RTNS covers a wide-spectrum of topics in real-time and embedded systems. RTNS will be held in the IMAG building (ground floor). The 11th Junior Researcher Workshop on Real-Time Computing is organized jointly with RTNS.

LIG keynotes

  • In 1 month at 14h00 : Roberto Di Cosmo - What would you do with billions of source code files? News from Software Heritage (Campus - UFR IM2AG - Amphi F018)