Department of Computer Science

Previous Events

27 Nov. 2019, 14:00-15:00

BARC talk by Daniela Kaufmann

Wednesday, 27 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".

21 Nov. 2019, 14:15-15:15

BARC talk by Vincent Liew

Thursday, 21 November 2019, Vincent Liew, PhD student at the University of Washington, USA, will give a talk on "Proof complexity with multiplier circuits".

20 Nov. 2019, 15:00-16:00

BARC talk by Silvio Lattanzi

Wednesday, 20 November 2019, Silvio Lattanzi, research scientist at Google Zurich, Switzerland, will give a talk on "Residual Based Sampling for Online Low Rank Approximation".

19 Nov. 2019, 14:15-15:15

BARC talk by Kevin Pratt

Tuesday, 19 November 2019, Kevin Pratt, Doctoral Research Assistant at the Carnegie Mellon University in Pittsburgh, USA, will give a talk on "Waring rank, parameterized and exact algorithms".

14 Nov. 2019, 14:15-15:15

BARC talk by Daniel Neuen

Thursday, 14 November 2019, Daniel Neuen, PhD student at the RWTH Aachen University, Germany, will give a talk on "Faster Isomorphism Tests for Graphs of Bounded Degree and Beyond".

31 Oct. 2019, 14:15-15:15

BARC talk by Loukas Georgiadis

Thursday, 31 October 2019, Loukas Georgiadis, Associate Professor at the University of Ioannina, Greece, will give a talk on "Dynamic Dominators, Low-High Orders, and Related Problems".

23 Oct. 2019, 9: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).

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

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

8 Oct. 2019, 13:30-14:30

BARC talk by Vincent Cohen-Addad

Tuesday, 8 October 2019, Vincent Cohen-Addad, permanent researcher at Sorbonne Université, Paris, will give a talk on "From Local to Global: Local Search Algorithms Beyond the Worst-Case Analysis".