CHESS Industrial Day 2023

November 2023

No description

CHESS Industrial Day 2023: Registration is open till November 30, 2023.

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 (CHESS).

Date: December 8, 2023
Place: KYPO, Faculty of Informatics, Masaryk University, Botanická 68a, 60200 Brno, CZ
Contact: Antonín Kučera (FI MU), Jan Strejček (FI MU), Tomáš Vojnar (FIT VUT)

More articles

All articles

You are running an old browser version. We recommend updating your browser to its latest version.

More info