SAFER Seminars :
Parallel and Domain-Aware SAT Solving: Application to Blockchain Analysis
#SAFER Seminar
Souheib Baarir
2026-03-25 13:00:00, #SéminaireSaferSalle B107, bâtiment B, Université de Villetaneuse
Approches formelles pour la modélisation, le contrôle, lanalyse de performances, la reconfiguration et la cybersécurité des systèmes à événements discrets
#SAFER Seminar
Saïd Amari
2026-03-25 14:30:00, #SéminaireSaferSalle B107, bâtiment B, Université de Villetaneuse
Security Analysis and Resilient Supervisory Control of Cyber-Physical Systems
#SAFER Seminar
Gaiyun Liu
2026-03-23 13:00:00, #SéminaireSaferSalle A303, bâtiment A, Université de Villetaneuse
Fiabilité et QoS dans le continuum : vers une ingénierie formelle bout-en-bout des services IoT-Fog-Cloud
#SAFER Seminar
Mohamed Graiet
2026-03-24 15:30:00, #SéminaireSaferSalle A303, bâtiment B, Université de Villetaneuse
Rational Synthesis in Resource-Constrained Multi-Agent Systems
#SAFER Seminar
Youssouf Oualhadj
2026-03-24 14:00:00, #SéminaireSaferSalle A303, bâtiment A, Université de Villetaneuse