Talks
We regularly host talks in the RiSE seminar and VCLA talks series. The following table summarizes the latest talks in each series – for detailed information or previous talks, please follow the links to the respective websites.
 | Ringo Baumann | An Abstract, Logical Approach to Characterizing Strong Equivalence in Non-monotonic Knowledge Representation Formalisms | Thu, Nov 28 at 12:00 | Seminarraum FAV EG C… | details |
| Prafullkumar Tale | Lossy Kernels for Graph Contraction Problems | Mon, Nov 11 at 14:00 | Library of the Algor… | details |
| Davide Grossi | Credulous Acceptability, Poison Games and Modal Logic | Wed, Nov 06 at 16:30 | Seminar Room Gödel,… | details |
| David Cerna | A Mobile Application for Self-Guided Study of Formal Reasoning | Wed, Oct 16 at 16:30 | Seminar Room Gödel,… | details |
| Gerd Brewka | Admissibility and Completeness Revisited | Tue, Oct 01 at 10:00 | Seminarraum FAV 01 A… | details |
| Dana Scott | Free Logic: its Formalization and some Applications | Mon, Sep 30 at 16:00 | FAV Hörsaal 1 (grou… | details |
| Alexej Rotar | The Satisfiability Problem for Fragments of PCTL | Tue, Sep 24 at 15:50 | FH 5, Freihaus build… | details |
| Martin Munoz | Descriptive Complexity for Counting Complexity Classes | Tue, Sep 24 at 15:30 | FH 5, Freihaus build… | details |
| Yuri Gurevich | LOGIC in computer science and software industry (and in mathematics, time permitting) | Wed, Sep 18 at 16:00 | Lecture room FAV 1, … | details |
| RiSE seminar | Tanja Schindler | A DPLL(T) theory solver for quantified formulas | Mon, Sep 16 at 11:00 | TU Wien, Favoritens… | details |
| Tanja Schindler | A DPLL(T) theory solver for quantified formulas | Mon, Sep 16 at 11:00 | FAV Hörsaal 1 (grou… | details |
| RiSE seminar | Mateus de Oliveira Oliveira | Some Width Measures for Proofs | Mon, Jun 24 at 16:00 | TU Wien, Favoritens… | details |
| RiSE seminar | Anne Schreuder | Automatic Synthesis of Polynomial Probabilistic Invariants via Geometric Persistence | Mon, Jun 17 at 10:00 | TU Wien, Favoritens… | details |
| RiSE seminar | Aleksandar Nanevski | Type and Proof Structures for Concurrent Software Verification | Thu, Aug 16 at 17:00 | TU Wien, Favoritens… | details |
| RiSE seminar | Joost-Pieter Katoen | Bayes meets Dijkstra -- Exact Inference by Program Verification | Wed, Jun 06 at 17:00 | TU Wien, Seminarraum… | details |
| RiSE seminar | Warren Hunt | Industrial Hardware and Software Verification with ACL2 | Wed, May 30 at 17:00 | TU Wien, Seminarraum… | details |
| RiSE seminar | Joel Ouaknine | Program Invariants | Tue, May 29 at 15:45 | IST, Mondi Seminar R… | details |
| RiSE seminar | Alexey Bakhirkin | Towards Fast Parametric Identification for STL | Wed, May 23 at 17:00 | IST Austria, Mondi 2 | details |
| RiSE seminar | Stefan Schmid | Polynomial-Time What-If Analysis for Communication Networks: An Automata-Theoretic Approach | Wed, May 09 at 17:00 | IST, Mondi 2 | details |
| RiSE seminar | Stefan Ratschan | Counter-example Guided Inductive Synthesis in the Continuous World | Tue, May 08 at 15:00 | IST Austria, Mondi 2 | details |
