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