21 Apr. 2026, 14:01-16:00 MIAO/BARC talk by Paul Beame Tuesday, April 21, 2026, Paul Beame, Professor at the Paul G. Allen School of Computer Science and Engineering, USA, will be giving a joint MIAO/BARC talk on "Extending CDCL to disjunctions of parity equations".
8 May 2026, 13:30-14:30 BARC talk by Varun Ramanathan 2026 Wednesday, May 8, 2026, 13:30-14:30, Varun Ramanathan, Postdoc at DIKU (UCPH), will be giving a BARC talk on "Deterministic Factorization of Constant-Depth Arithmetic Circuits".
15 May 2026, 10:45-11:45 BARC talk by Aravind Srinivasan Friday, May 15, 2026, Aravind Srinivasan, Professor at the University of Maryland, USA, will be giving at talk on "Generating and utilizing various types of negative dependence".
