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, 17 October 2019, Marc Vinyals, Postdoc at the Tata Institute of Fundamental Research in Mumbai, India, will give a talk on "Equality Alone Does not Simulate Randomness".
Expanders Learning Seminar, a collaborative event between the Mathematics Department (the Operator Algebras/Functional Analysis group) and the Computer Science Department (the BARC group).
Tuesday, 26 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".
