20 Mar. 2023, 11:00-12:00 BARC Talk by Elena Pagnin Progressive Verification for Cryptographic Schemes
23 Jan. 2024, 14:01-15:00 BARC talk by Andreas Björklund: Another Hamiltonian Cycle in Bipartite Pfaffian Graphs