Verimag News

News

  • Master Scholarships for the academic year 2018-2019

Seminars

  • In 1 week, Cristina Serban (VERIMAG, Université Grenoble Alpes) on 31 May 2018 at 14h00 : « Automated Reasoning in Separation Logic with Inductive Definitions » (Thesis)
  • In 1 month, Stefano Berardi (University of Torino) on 25 June 2018 at 10h00 : « Martin-Lof's Inductive Definitions Are Not Equivalent to Cyclic Proofs »
  • In 2 weeks (LIG Keynote) at 14h00 : Eric Simon - Building high-quality analytics in enterprise big data landscapes: challenges and perspectives (IMAG Building Amphitheatre)

Conferences

  • GT Verif 2018 - 28 - 30 mai 2018 (in 1 week)

    Les journées annuelles du GT Vérification 2018 ont lieu les 28, 29 et 30 mai 2018 au bâtiment IMAG, sur le campus de Grenoble.

  • ADSL 2018 - 13 July 2018 (in 1 month)

    First Workshop on Automated Deduction for Separation Logics - Oxford, UK

  • VECoS 2018 - 26-28 september 2018 (in 4 months)

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

  • RV 2018 - 10-13 November 2018 (in 5 months)

    International Conference on Runtime Verification - Limassol, Chypre