1 June 2022, 14:01-16:30 BARC/MIAO talk by Stephan Gocht Wednesday, 1 June 2022, Stephan Gocht, PhD student at Lund University, Sweden, will give a talk on "Certifying Correctness for Combinatorial Algorithms by Using Pseudo-Boolean Reasoning".
23 Jan. 2024, 14:01-15:00 BARC talk by Andreas Björklund: Another Hamiltonian Cycle in Bipartite Pfaffian Graphs