Talks

Tommaso Moraschini – Profinite Heyting algebras and the representation problem for Esakia spaces (details)

Wed, Nov 20 2019 at 16:30 | Seminarraum FAV EG C (Seminarraum Gödel), Favoritenstraße 9-11, 1040 Wien, RoomNo.: HB EG 10 (ground floor, access from yard)

Dominique Larchey-Wendling – Hilbert’s Tenth Problem in Coq (details)

Wed, Nov 27 2019 at 16:30 | Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)

Ringo Baumann – An Abstract, Logical Approach to Characterizing Strong Equivalence in Non-monotonic Knowledge Representation Formalisms (details)

Thu, Nov 28 2019 at 12:00 | Seminarraum FAV EG C (Seminarraum Gödel), Favoritenstraße 9-11, 1040 Wien, RoomNo.: HB EG 10 (ground floor, access from yard)

Prafullkumar Tale – Lossy Kernels for Graph Contraction Problems (details)

Mon, Nov 11 2019 at 14:00 | Library of the Algorithms and Complexity Group, HB 04 08 (Favoritenstrasse 9-11)

Davide Grossi – Credulous Acceptability, Poison Games and Modal Logic (details)

Wed, Nov 06 2019 at 16:30 | Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)

David Cerna – A Mobile Application for Self-Guided Study of Formal Reasoning (details)

Wed, Oct 16 2019 at 16:30 | Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)

Gerd Brewka – Admissibility and Completeness Revisited (details)

Tue, Oct 01 2019 at 10:00 | Seminarraum FAV 01 A (Seminarraum 183/2), Favoritenstraße 9-11, 1040 Wien, RoomNo.: HE 01 02

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

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

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