SIOMediC: Sécurité de l’Internet des Objets Médicaux Connectés / Security of the Internet of Medical Things
Author: lmvadm
[Dec. 2021] Jordan Ischard joined LMV for a Ph.d. on Reactive Program Proof on October 1st
[Jun. 2021] 15th International Conference on Tests and Proofs (TAP 2021) Du 21/06/2021 au 25/06/2021
[May 2021] GT Clap – Journées GPL – 17 Juin 2021
RDV le pour le 17 juin 2021 pour le GT CLAP aux Journées du GDR GPL!
[Mar. 2021] Frédéric Loulergue joined the Editorial Board du Journal of Computer Languages
Frédéric Loulergue joined the Editorial Board du Journal of Computer Languages (https://www.journals.elsevier.com/journal-of-computer-languages)
[Mar. 2021] HLPP 2021, co-chaired by Frédéric Loulergue
14th International Symposium on High-Level Parallel Programming and Applications (HLPP 2021), co-chaired by Frédéric Loulergue
[Dec. 2020] TAP 2021
[Dec. 2020] Phd Defense : Salwa SOUAF, December 15th
09H30 : Methodes formelles et Sécurité en informatique en nuages
[Nov. 2020] Online Seminar : Jules Chouquet, Accord distribué et topologie combinatoire : Impossibilités et probabilités.
23/11/2020, 16H00