-
15 October 2019,
13:15-14:15
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".
» Read more
-
17 October 2019,
13:15-14:15
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".
» Read more
-
23 October 2019,
09:15-11:00
Expanders Learning Seminar, a collaborative event between the Mathematics Department (the Operator Algebras/Functional Analysis group) and the Computer Science Department (the BARC group).
» Read more
-
26 November 2019,
13:30-14:30
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".
» Read more
