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.
 | Rajeev Alur | Safety Autonomy: A Formal Methods Approach | Thu, Mar 12 at 16:00 | Seminar room Zemanek… | details |
| Torsten Schaub | Dynamic Answer Set Programming | Fri, Dec 13 at 14:15 | Seminarraum FAV 01 C… | details |
| RiSE seminar | Joost-Pieter Katoen | Probabilistic Programming: Machine Learning for the Masses? | Wed, Dec 04 at 10:30 | Kontaktraum, Gußhau… | details |
| Joost-Pieter Katoen | Probabilistic Programming: Machine Learning for the Masses? | Wed, Dec 04 at 10:30 | Kontaktraum, Gußhau… | details |
| 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 |
| Dominique Larchey-Wendling | Hilbert’s Tenth Problem in Coq | Wed, Nov 27 at 16:30 | Seminar Room Gödel,… | details |
| Tommaso Moraschini | Profinite Heyting algebras and the representation problem for Esakia spaces | Wed, Nov 20 at 16:30 | 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 |
| RiSE seminar | Tanja Schindler | A DPLL(T) theory solver for quantified formulas | Mon, Sep 16 at 11:00 | TU Wien, Favoritens… | 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 | 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 |
