The aim of CHESS Industrial Day 2023 is to bring together researchers and practitioners in formal methods from industry and academia. The event provides an informal platform for exchanging practical experience with methods and tools for software analysis/verification/testing, and discussing their benefits and bottlenecks. It is organized by the Cyber-security Excellence Hub in Estonia and South Moravia… Read More »CHESS Industrial Day 2023

Are you into hacking and cybersecurity? Come and put your skills to the test at Hacking Day 2023. You can enjoy playing cyber security games designed by the students of the Cyber Attack Simulation Seminar at the Faculty of Informatics, Masaryk University, Brno, Czech Republic. The event is intended primarily for students and those interested… Read More »CHESS Hacking Day