Tuesday, 10 March 2020, Jan van den Brand, third year PhD student at KTH in Stockholm, will give another talk at BARC. This time on "A Deterministic Linear Program Solver in Current Matrix Multiplication Time".
Thursday, 23 January 2020, Maarten Löffler, Associate Professor at Utrecht University, will give a talk on "PLEACHING PENCIL & PAPER PICTURE PUZZLES: A puzzling story of design, geometry, and algorithms".
Wednesday, 27 November 2019, Daniela Kaufmann, PhD student at the Institute for Formal Models and Verification, Johannes Kepler University, Austria, will give a talk on "Combining SAT and Computer Algebra to successfully verify Large Multiplier Circuits".
Tuesday, 15 October 2019, Susan Margulies, Associate Professor at the Department of Mathematics at the US Naval Academy, USA, will give a talk on "Hilbert's Nullstellensatz and Linear Algebra: An Algorithm for Determining Combinatorial Infeasibility".
Thursday 21 February, professor Konrad Swanepoel, Department of Mathematics, London School of Economics and Political Science, will give a talk "A survey of combinatorial distance problems in normed spaces"
Friday, January 25th, Timothy Chu, graduate research assistant, School of Computer Science, Carnegie Mellon University, Pittsburgh, will give a talk in BARC "Graph Sparsification via Short Cycle Decomposition"
Wednesday, November 7th, Claire Mathieu, Professor and research director at CNRS (Centre National de la Recherche Scientifique) in Paris, France, will give a talk in BARC "Approximation schemes for rank aggregation"
On Tuesday 4 September 2018 , Associate Professor Jakob Nordström from KTH Royal Institute of Technology in Stockholm, Sweden, will give a talk at DIKU on "Divide and Conquer: Towards Faster Conflict-Driven Pseudo-Boolean Solving"
On Thursday 7 June 2018, Turing Award Winner and elected ACM Fellow Professor Robert Tarjan is visiting BARC at the Department of Computer Science, University of Copenhagen, and will give a talk on Finding and Verifying Dominators in Flow Graphs.