• 15 October 2019, 13:15-14:15

    BARC talk by Susan Margulies

    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

    BARC talk by Marc Vinyals

    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

    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

    BARC talk by Daniela Kaufmann

    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