Author's posts
Ouverture du MOOC “Protection de la vie privée dans le monde numérique” – Session 2
5 novembre 2018 : Ouverture du MOOC “Protection de la vie privée dans le monde numérique” – Session 2, par Cédric Laradoux, Vincent Roca (Privatics) et Nataliia Bielova (INDES) Lors de la session 2 (session augumentée) de ce MOOC, librement accessible sur la plateforme FUN du 5 novembre 2018 au 7 janvier 2019, nous aborderons …
We organized Programming 2018 in Nice, France (April 9 – 12)
We organised the International Conference on the Art, Science, and Engineering of Programming (Programming 2018). It is a new conference focused on programming topics including the experience of programming. ‹Programming› 2018 is the second edition of the conference. The first edition took place in Brussels in April 2017. Papers are welcome from any part of …
Tamara Rezk defended her HDR “Secure Programming”
Congratulations to Tamara Rezk for her successful HDR (Habilitation à Diriger ses Recherches) defense on April 3, 2018! This Habilitation summarises 10 years of work from 2007 to 2017 on the topic of secure programming. During the talk, Tamara described her work divided in 4 subdomains of secure programming: programs using cryptography, web security, privacy, …
Paper on Concurrent Reversible Sessions presented at CONCUR 2017
A paper that proposes an expressive calculus for reversible sessions, equipped with a fine-tuned rollback mechanism and a safety-enforcing type system was accepted and presented at the 28th International Conference on Concurrency Theory (CONCUR 2017): Concurrent Reversible Sessions. Ilaria Castellani, Mariangiola Dezani-Ciancaglini and Paola Giannini