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

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)

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

Previous talks

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

Martin Grohe – The Graph Isomorphism Problem (details)
Mon, Nov 05 2018 at 16:00 | EI 4 Reithoffer lecture room, Gußhausstraße 25 (old building), 2nd floor

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)

Marcello D'Agostino – An informational view of classical logic (details)
Thu, Oct 25 2018 at 16:30 | Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)

Tomi Janhunen – Writing Declarative Specifications for Clauses (details)
Fri, Oct 05 2018 at 14:00 | Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)

Rajeev Gore – Interactive Synthesis of Verified Vote-counting Programs (details)
Wed, Sep 26 2018 at 16:30 | Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)

Toby Walsh – Living with Artificial Intelligence – How to stay Human (details)
Thu, Sep 20 2018 at 18:00 | Prechtlsaal, Ground floor, TU Wien, Karlsplatz 13, 1040 Wien

Iyad Kanj – How to navigate through obstacles? (details)
Wed, Jul 25 2018 at 14:00 | Library, Favoritenstraße 9-11, Stairs 2, Floor 4 (HB 04 08)