[WORKSHOP] Formal Methods for Security | Cybersecurity

Atelier

On March 16, 2021

The next meeting of the working group "Méthodes Formelles" of the GdR "Sécurité Informatique" will take place on a private Zoom link, on Tuesday, March 16.

Welcome to the 2021 meeting (on Tuesday, March 16) about "Formal Methods for Computer Security" of our French research group. Actually, the talks will be in English. You may attend, but you need to register before March 8. The meeting will take place on a private Zoom (the link will be sent to registered emails a few days before the meeting).

Introduction (in french) from the event website.

Cette journée GT MFS est organisée annuellement par le Groupe de Travail "Méthodes Formelles pour la Sécurité" du GdR Sécurité Informatique. Elle a pour objectif de permettre aux personnes de la communauté des méthodes formelles intéressées par les applications liées à la sécurité de se regrouper et d'échanger autour de ces thèmes. Elle comporte des exposés de chercheurs, d'industriels et de doctorants.

La journée 2021 aura lieu en distanciel sur un zoom privé de l'UGA, le mardi 16 mars. L'inscription est gratuite mais obligatoire avant le 8 mars.

Cette journée est co-organisée par Sébastien Bardin (LIST - CEA Saclay), Sylvain Boulmé (Verimag - Univ. Grenoble-Alpes) et Stéphanie Delaune (Univ. Rennes, CNRS, IRISA).

Date

On March 16, 2021

Website

https://gtmfs2021.sciencesconf.org/