Verimag News

News

  • Poste de maître de conférences en informatique susceptible d’être publié à Grenoble INP pour recrutement au 1er septembre 2018

    Possible ouverture d’un poste de maître de conférence en informatique, Grenoble INP/Ensimag et laboratoire Verimag, 2018

Seminars

  • In 2 weeks, Maxime Puys (Verimag) on 5 February 2018 at 10h30 : « Cybersecurity of Industrial Systems: Applicative Filtering and Generation of Attack Scenarios » (Thesis)
  • In 3 weeks, Gheorghe Stefanescu (University of Bucharest) on 15 February 2018 at 14h00 : « Adaptive systems made by self-assembling heterogeneous components within regular 2D patterns »

Conferences

  • ADSL 2018 - 13 July 2018 (ends in 5 months)

    First Workshop on Automated Deduction for Separation Logics