Prochains évènements
Retour à l'agendajourné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.
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.