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).

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).