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