Due to COVID-19,  the "Cyber in Saclay" Summer School turns into a Winter School,  8-12 February 2021.
Welcome to CYBER IN SACLAY (online edition), the 5th edition of the "Cyber In .." French Cybersecurity Doctoral School. This edition focuses on formal methods for security and take place online, February 8-12 2021. This is an event of the French “GDR Sécurité Informatique“ network.              
The school aims at bringing together Master/PhD students, academics and security experts from industry. The focus of the summer school is on formal methods. The program of this five-day school is constituted of introductory classes and advanced courses, supplemented by practical labs.
Registration is now closed. We are no longer accepting new registrations. We are looking to record the lessons and make them available after the event. Most lectures will be given in English, all course supports will be in English. 
Online user: 1