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".