Verimag News

Seminars

  • In 3 days, analyse et verif. legeres Une journee de reflexion (5 exposes 10h - 16h30) on 22 November 2018 at 10h00 : « Lightweight analysis and verification techniques »
  • In 1 week, Sylvain Boulmé (Verimag) on 29 November 2018 at 14h00 : « Importation d'oracles ML impératifs dans du code Coq vérifié »
  • In 2 weeks, Joseph Sifakis (Verimag) on 6 December 2018 at 14h00 : « On the Nature of Autonomy – A Rigorous Architectural Characterization  »
  • In 2 weeks (LIG Keynote) at 14h00 : Eric Simon - Building high-quality analytics in enterprise big data landscapes: challenges and perspectives (Seminar room - IMAG Building)
  • In 1 month (LIG Keynote) at 14h00 : David Pointcheval - Privacy-preserving aggregation of data from multiple sources (IMAG Building Amphitheatre)