06 July 2020

WAIFI 2020 (évènement labellisé)

WAIFI 2020 aura lieu cette année à Rennes, du 6 au 8 juillet. Ce colloque réunit tous les 2 ans des mathématiciens, informaticiens, micro-électroniciens et des ingénieurs effectuant leurs recherches en arithmétique des corps finis autant du point de vue théorique que des implémentations logicielles et matérielles et des applications. Cette manifestation a pour principal objectif de combler l’écart entre les résultats théorique et leur mise en œuvre pratique.

[plus d’information]

06 Jul 202008 Jul 2020

Prochains évènements

Retour à l'agenda
03 Apr05 Apr 2024

journées annuelles 2024 du GT MFS

Les journées du Groupe de Travail "Méthodes Formelles pour la Sécurité" visent à réunir les membres de la communauté des méthodes formelles intéressés par les applications à la sécurité. Ces journées offrent l'occasion d'échanger autour de ces thèmes, et comprennent des présentations de chercheurs, y compris de doctorants et d'industriels. En 2024, nous continuons sur le même format que l'édition précédente : un évènement de trois jours, avec un programme comprenant des exposés invités destinés à un public large, des exposés plus courts visant à présenter des travaux de recherche récents sur des sujets plus pointus, ainsi que du temps pour les échanges informels. Une session de discussion autour d'outils est également prévue.

15 May17 May 2024

RESSI 2024

Porté par le GT SSLR, RESSI (Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information) est un événement scientifique qui a pour objectif de regrouper et animer la communauté francophone de la recherche académique et industrielle ainsi que celle de l'enseignement relatifs à la sécurité des systèmes d'information.