Department of Computer Science

Previous Events

1 Feb. 2023, 14:01-15:00

BARC Talk by Justin Chen

Online Bipartite Matching with Degree Information

18 Jan. 2023, 14:01-15:00

BARC Talk by Erik Jan van Leeuwen

Complexity Framework For Forbidden Subgraphs and Beyond

6 Dec. 2022, 14:01-16:30

MIAO Talk by Matti Järvisalo and Jeremias Berg

The implicit hitting set approach and its instantiation for pseudo-Boolean optimization

5 Dec. 2022, 14:01-15:00

BARC Talk by Tzvika Geft

On Two-Handed Planar Assembly Partitioning with Connectivity Constraints

1 Dec. 2022, 14:01-16:30

BARC/MIAO talk by Srikanth Srinivasan

Lower bounds for algebraic formulas

25 Nov. 2022, 14:01-16:30

MIAO Talk by Shuo Pang

SoS degree lower bound for exact clique

21 Nov. 2022, 14:01-16:30

MIAO Talk by Kilian Risse

Bounded depth proof for Tseitin formulas on the grid; revisited

8 Nov. 2022, 14:01-15:00

BARC Talk by Marcin Pilipczuk

Flow-augmentation

26 Oct. 2022, 14:01-15:00

BARC talk by Sampson Wong

Improving the dilation of a metric graph by adding edges

18 Oct. 2022, 14:01-16:30

MIAO/BARC talk by Emre Yolcu

Exponential separations using guarded extension variables