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

Michael Huth, Janos Makowsky – Logic in Computer Science: A Teaching Perspective (details)
Fri, Oct 06 2017 at 12:00 | TU Wien, Kontaktraum, Gußhausstraße 25 – 27, 6. Floor

Previous talks

Odile Papini – Prioritized Assertional-Based Removed Sets Revision of DL-Lite Belief Bases (details)
Wed, May 31 2017 at 14:10 | Seminar Room Goedel, Favoritenstrasse 9-11

Vladislav Ryzhikov and Michael Zakharyaschev – Horn fragments of temporal logics and ontology-based access to temporal data (details)
Wed, Mar 22 2017 at 11:10 | Seminarroom Zemanek, , Favoritenstrasse 9-11

Danny Hermelin – Fractals for Kernelization Lower Bounds (details)
Mon, Mar 06 2017 at 11:30 | Seminarraum von Neumann, Favoritenstrasse 11

Ondřej Kunčar – CoCon: A Non-Leaking Conference System (details)
Thu, Feb 23 2017 at 16:00 | Seminarroom Menger, Favoritenstr. 9--11, 3rd floor

Filippo Bonchi – Full Abstraction for Signal Flow Graphs (details)
Tue, Feb 21 2017 at 17:30 | Seminarraum Zemanek, Favoritenstraße 9-11, TU Wien

Rupak Majumdar – [Software Testing] Hitting families of schedules (details)
Tue, Dec 06 2016 at 17:30 | Seminarraum Argentinierstraße, Argentinierstraße 8, 1040 Vienna

Victor Dalmau – Approximation of MIN CSP (details)
Mon, Nov 07 2016 at 11:00 | Seminar room Gödel, Favoritenstraße 9-11, 1040 Vienna (access through courtyard)

Johannes Kinder – High System-Code Security with Low Overhead (details)
Thu, Oct 27 2016 at 16:00 | Seminarraum Argentinierstraße, Argentinierstraße 8, 1040 Vienna

Tomáš Vojnar – Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems (details)
Mon, Oct 24 2016 at 17:00 | Seminar room Zemanek, Favoritenstraße 9-11, 1040 Vienna