Basic Algorithms Research Copenhagen

Event Archive

3 Sept. 2020, 11:00-12:00

BARC talk by Kasper Green Larsen, Sep 2020

Thursday, 3 September 2020, Kasper Green Larsen, Associate Professor at the University of Aarhus, will give a talk on "Near-Tight Margin-Based Generalization Bounds for Support Vector Machines".

BARC talk by Shahbaz Khan - CANCELLED DUE TO COVID-19

Wednesday, 25 March 2020, Shahbaz Khan, Postdoc at the University of Helsinki, will give a talk on "Incremental DFS algorithms: a theoretical and experimental study".

BARC talk by Kuan Yang - CANCELLED DUE TO COVID-19

Thursday, 19 March 2020, Kuan Yang, fourth year PhD student at the University of Oxford, will give a talk on "Counting solutions to random CNF formulas".

10 Mar. 2020, 15:15-16:00

BARC talk by Jan van den Brand #2

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

5 Mar. 2020, 14:15-15:15

BARC talk by John Lapinskas

Thursday, 5 March 2020, John Lapinskas, lecturer at the University of Bristol, will give a talk on "Fine-grained reductions from approximate counting to decision".

3 Mar. 2020, 15:00-16:00

BARC talk by Jan van den Brand #1

Tuesday, 3 March 2020, Jan van den Brand, third year PhD student at KTH in Stockholm, will give a talk on "Dynamic algorithms for algebraic and graph problems".

23 Jan. 2020, 14:15-15:15

BARC talk by Maarten Löffler

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

5 Dec. 2019, 14:15-15:15

BARC talk by Holger Dell

Thursday, 5 December 2019, Holger Dell, Associate Professor at ITU who joined the BARC team in june, will give his introduction talk on "Counting and Sampling Small Structures in Large Networks".

27 Nov. 2019, 14:00-15:00

BARC talk by Daniela Kaufmann

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

21 Nov. 2019, 14:15-15:15

BARC talk by Vincent Liew

Thursday, 21 November 2019, Vincent Liew, PhD student at the University of Washington, USA, will give a talk on "Proof complexity with multiplier circuits".