Verimag News

News

  • Ensimag Assistant professor Position in computer science, Grenoble INP/Ensimag, 1 September 2020

Seminars

  • In 1 week, Margus Veanes (Microsoft Research Lab) on 27 January 2020 at 10h30 : « Symbolic Regexes & Matching »
  • In 2 weeks, Matthieu Jan and Asavoae Mihail (CEA) on 3 February 2020 at 11h00 : « Towards Automatic Extraction of Timing models from HDL designs (Mihail Asavoae) - Tracking timing anomalies (Matthieu Jan) »
  • In 2 weeks, Jules Chouquet (IRIF ) on 6 February 2020 at 14h00 : « Lower bounds for probabilistic k-set agreement through combinatorial topology »
  • In 3 weeks, Sébastien Bardin (CEA-LIST) on 12 February 2020 at 14h00 : « From Safety to Security: The Case of Binary-level Code Analysis »

Conferences

  • ADSL 2020 (@POPL 2020) - January 20th 2020 (tomorrow)

    Workshop sur le raisonnement automatisé dans les logiques de séparation.

  • Workshop CAPITAL - Feb. 24, 2020 (in 1 month)

    CAPITAL: sCalable And PrecIse Timing AnaLysis for multicore platforms. Brussels, Belgium.

  • AlgoTel et CoRes 2020 - May 11-15, 2020 (in 3 months)

    AlgoTel 2020 : 22ème Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications

    CoRes 2020 : 5ème Rencontres Francophones sur la Conception de Protocoles, l’Evaluation de Performance et l’Expérimentation des Réseaux de Communication

  • MOVEP 2020 - June 22-26, 2020 (in 5 months)

    14 ème école d’été sur la modélisation et la vérification des processus parallèles.