Verimag News

Seminars

  • Tomorrow, Cyril Six (Kalray & Verimag) on 20 September 2018 at 14h00 : « Extending the CompCert certified compiler for a VLIW processor of Kalray »
  • In 2 weeks, Erwan Jahier (verimag) on 4 October 2018 at 14h00 : « [Technical Seminar] A gentle introduction to Gitlab-CI and docker »
  • In 2 weeks (LIG Keynote) at 14h00 : Michel Balinski - Majority judgment:Why it should be used to rank and elect (IMAG Building Amphitheatre)

Conferences

  • VECoS 2018 - 26-28 september 2018 (in 1 week)

    Int. Conf. on Verification and Evaluation of Computer and Communication Systems - UGA

  • RV 2018 - 10-13 November 2018 (in 1 month)

    International Conference on Runtime Verification - Limassol, Chypre