Verimag News

Seminars

  • In 3 days, Olivier VIDAL (ISTerre, Universite Grenoble-Alpes) on 28 March 2019 at 14h00 : « Matières premières et énergie à l’échelle mondiale dans le contexte de la transition énergétique »
  • In 6 days, Edward A. Lee (UC Berkeley) on 1 April 2019 at 09h00 : « Living Digital Beings »
  • In 1 week, Radu IOSIF (VERIMAG) on 4 April 2019 at 14h00 : « Checking Deadlock-Freedom of Parametric Component-Based Systems »
  • In 1 week, Radu IOSIF (VERIMAG) on 5 April 2019 at 14h00 : « On the Expressive Completeness and Complexity of Prenex Separation Logic »
  • In 1 week (LIG Keynote) at 16h00 : Paul Vixie - Benefits and Hazards of "Public" vs "Private" vs "Local" DNS (IMAG Building Amphitheatre)