
Program Verification (ESSCaSS 2026)
Part 1: Program Verification Part 2: From Vibe Coding to Vibe Proving

Part 1: Program Verification Part 2: From Vibe Coding to Vibe Proving

RIA CyberMeetUp March 19th 2026: https://www.ria.ee/en/ria-cybermeetup-march-19th-2026

The CHESS Brokerage Event was held on November 11, 2025, at the University of Tartu’s Institute of Computer Science, Tartu, Estonia.

Presenter: Mari Seeba

Presenter: Raimundas Matulevičius, Mubashar Iqbal, Mariia Bakhtina, Vjatšeslav Antipenko, Ijeoma Faustina Ekeh, Lukáš Daubner, Martin Macák, Mari Seeba

On 12.02.2025, Mari Seeba introduced the nature of security level evaluation and the F4SLE instrument, including the work and results of the CHESS project CA2_02, to the technology staff of the Ministry of Education and Research and subordinate institutions. * In the Estonian language.