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

Martin Munoz – Descriptive Complexity for Counting Complexity Classes (details)
Tue, Sep 24 2019 at 15:30 | FH 5, Freihaus building of TU Wien, Wiedner Hauptstraße 8-10, 1040 Wien

Alexej Rotar – The Satisfiability Problem for Fragments of PCTL (details)
Tue, Sep 24 2019 at 15:50 | FH 5, Freihaus building of TU Wien, Wiedner Hauptstraße 8-10, 1040 Wien

Dana Scott – Free Logic: its Formalization and some Applications (details)
Mon, Sep 30 2019 at 16:00 | FAV Hörsaal 1 (ground floor), Favoritenstrasse 9-11, 1040, Vienna

Previous talks

Yuri Gurevich – LOGIC in computer science and software industry (and in mathematics, time permitting) (details)
Wed, Sep 18 2019 at 16:00 | Lecture room FAV 1, Favoritenstraße 9-11, 1040 Wien, RoomNo.: HB HEEG02

Tanja Schindler – A DPLL(T) theory solver for quantified formulas (details)
Mon, Sep 16 2019 at 11:00 | FAV Hörsaal 1 (ground floor), Favoritenstrasse 9-11, 1040, Vienna

Joshua Blinkhorn – Building Strategies into DQBF Proofs (details)
Tue, Aug 27 2019 at 11:00 | Library of the Algorithms and Complexity Group, HB 04 08 (Favoritenstrasse 9-11)

John D. Barrow – 100 Years of Universes (details)
Fri, Jul 26 2019 at 18:30 | Universität Wien, Kleiner Festsaal, Universitätsring 1, 1010 Wien

Juliet Floyd – In and Out of Mind: Wittgenstein and Gödel, Post and Turing (details)
Thu, Jul 25 2019 at 17:00 | Universität Wien, Kleiner Festsaal, Universitätsring 1, 1010 Wien

Alessio Gizzi – Multiphysics modeling of nonlinear cardiac dynamics: Experiments, Theory and Simulations (details)
Thu, Jul 11 2019 at 12:45 | Library 191-1 (Treitlstrasse 3, 3rd Floor)

Andrea Cali – Querying Web Data: A Computational Perspective (details)
Mon, Jul 08 2019 at 17:00 | Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)