Retrouvez dans l’agenda tous les événements organisés ou labellisés par le GDR.
Journée annuelle du GT Méthodes Formelles pour la Sécurité
Le GT Méthodes formelles pour la sécurité organise sa journée annuelle à Paris au LIP6, sur le campus de Jussieu, le jeudi 30 janvier 2020. Plus d'information : https://gtmfs2020.github.io/index.html
YACCRYPTED (évènement labellisé)
YACCRYPTED (Yet Another Conference on CRYPTography and Embedded Devices) est la fusion des colloques YACC (Yet Another Conference on Cryptography) et CRYPTO’PUCES. La conférence a pour but de faire un point régulier sur l'état de la recherche, et le développement des méthodes et outils utilisés en cryptographie. Elle aura lieu à Porquerolles du 11 au 15 mai 2020. La date limite pour soumettre un résumé étendu est le 16 février 2020. Site web : https://yaccrypted2020.sciencesconf.org/