Talks

Torsten Schaub – Dynamic Answer Set Programming (details)

Fri, Dec 13 2019 at 14:15 | Seminarraum FAV 01 C, Favoritenstraße 9-11, 1040 Wien, RoomNo.: HE 01 08

Joost-Pieter Katoen – Probabilistic Programming: Machine Learning for the Masses? (details)

Wed, Dec 04 2019 at 10:30 | Kontaktraum, Gußhausstraße 27-29, 1040 Vienna

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)

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)

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)

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

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