À la une

Prix de thèse du GDR Sécurité pour Charlie Jacomme

Charlie Jacomme, ancien doctorant du LSV, est lauréat du Prix de thèse 2021 du GDR Sécurité pour sa thèse Proofs of Security Protocols - Symbolic Methods and Powerful Attackers.

By dwb, on March 29, 2021, at 03:46 PM

Serge Hadad co-chairing the joint QONFEST conference

Serge Haddad is co-chairing QONFEST, an umbrella conference for the four international meetings:

  • CONCUR 2021, the 32st International Conference on Concurrency Theory
  • FMICS 2021, the 26th International Conference on Formal Methods for Industrial Critical Systems
  • FORMATS 2021, the 19th International Conference on Formal Modeling and Analysis of Timed Systems
  • QEST 2021, the 18th International Conference on Quantitative Evaluation of SysTems

By dwb, on March 29, 2021, at 05:11 PM