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

Previous talks

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)

Luca Cardelli – Programming with Chemical Reactions (details)
Thu, Nov 22 2018 at 16:00 | Seminar room Zemanek, Favoritenstrasse 9-11. 1040 Vienna, ground floor

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)

Vladimir Lifschitz – How We Studied the Input Language of gringo (details)
Mon, Nov 19 2018 at 12:30 | Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)

Moshe Vardi – How the Hippies Destroyed the Internet (details)
Thu, Nov 08 2018 at 18:15

Dale Miller – Separating Functional Computation from Relations (details)
Wed, Oct 31 2018 at 16:30 | Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)