Talks

talk

The Algorithms and Complexity Group regularly hosts talks in the VCLA talks series. For detailed information and previous talks, please follow the links.

Upcoming talks

Manuel Sorge – Clustered, but when? From static to temporal graph algorithms (details)
Mon, Mar 25 2019 at 11:00 | Library of the Algorithms and Complexity Group, HB 04 08 (Favoritenstrasse 9-11)

Previous talks

Dominik Peters – Truthful Aggregation of Budget Proposals (details)
Tue, Mar 19 2019 at 14:00 | FAV 01 C (Seminarraum 188/2), 1. Floor (access via "Stiege 4")

Stefan Milius – Eilenberg Theorems for Free (details)
Thu, Feb 07 2019 at 11:00 | Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)

Francesco Scarcello – Tree projection width and fixed-parameter tractable queries (details)
Mon, Jan 21 2019 at 16:00 | Seminar room von Neumann, Favoritenstrasse 9-11, Ground Floor (HB EG 16)

Fabrizio Montecchiani – Advances on 1-planar graphs (details)
Tue, Jan 15 2019 at 11:00 | Algorithms and Complexity library, HB 04 08

Marijn Heule – Massively Parallel Solving of Math Problems (details)
Mon, Jan 07 2019 at 17:00 | EI 4 Reithoffer lecture room, Gußhausstraße 25 (old building), 2nd floor

Sanjay Modgil – Logic, Argument and Dialectic (details)
Wed, Dec 12 2018 at 16:00 | Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)

Sebastian Rudolph – The Curse of Finiteness: Undecidability of Database-Inspired Reasoning Problems in Very Expressive Description Logics (details)
Fri, Nov 23 2018 at 14:30 | Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)

Fredrik Heintz – Reasoning and Learning over Streams for Safe Autonomous Systems (details)
Fri, Nov 23 2018 at 13:30 | Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)

Alice Miller – Probabilistic model checking for UAV strategy generation (details)
Wed, Nov 21 2018 at 10:00 | Meeting Room Menger, Favoritenstrasse 9-11 (HF 03 11)