CA3_Presentations

Internet voting in Estonia – past, present, and future

CA1_Presentations, CA3_Presentations, Presentations, Presentations 2026, Presentations challenge areas
September 11, 2026September 11, 2026

Program Verification (ESSCaSS 2026)

CA1_Presentations, CA2_Presentations, CA3_Presentations, CA4_Presentations, Presentations, Presentations 2026, Presentations challenge areas
September 2, 2026September 4, 2026

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

The Finite Satisfiability Problem for PCTL is Undecidable (Journal first)

CA3_Presentations, Presentations, Presentations 2026, Presentations challenge areas
July 6, 2026July 6, 2026

CHESS Brokerage Event in Tartu

CA1_Presentations, CA2_Presentations, CA3_Presentations, CA4_Presentations, CA5_Presentations, CA6_Presentations, Presentations, Presentations 2025, Presentations challenge areas
November 18, 2025November 19, 2025

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