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.
| RiSE seminar | Mateus de Oliveira Oliveira | Some Width Measures for Proofs | Mon, Jun 24 at 16:00 | TU Wien, Favoritens… | details |
 | Mateus de Oliveira Oliveira | Some Width Measures for Proofs | Mon, Jun 24 at 16:00 | FAV Hörsaal 2 (room… | details |
| Daniel Le Berre | Recursive Explore and Check Abstraction Refinement (RECAR) | Tue, Jun 18 at 14:00 | Library of the Algor… | details |
| RiSE seminar | Anne Schreuder | Automatic Synthesis of Polynomial Probabilistic Invariants via Geometric Persistence | Mon, Jun 17 at 10:00 | TU Wien, Favoritens… | details |
| Anne Schreuder | Automatic Synthesis of Polynomial Probabilistic Invariants via Geometric Persistence | Mon, Jun 17 at 10:00 | FORSYTE/RiSE seminar… | details |
| Arnaud Durand | Introduction to dependence logic and team semantics | Fri, Jun 07 at 15:00 | Seminar Room Gödel,… | details |
| Colin Toal | Developing software and ML models at IBM, Amazon and integrate.ai | Thu, May 23 at 16:00 | Zemanek Seminar Room… | details |
| David Basin | Security Protocols: Model Checking Standards | Mon, May 20 at 15:00 | FAV Hörsaal 1 (Favo… | details |
| Peter Eades | How to Draw a Graph ... Revisited | Tue, Apr 09 at 15:00 | EI 4 Reithoffer lect… | details |
| Manuel Sorge | Clustered, but when? From static to temporal graph algorithms | Mon, Mar 25 at 11:00 | Library of the Algor… | details |
| Dominik Peters | Truthful Aggregation of Budget Proposals | Tue, Mar 19 at 14:00 | FAV 01 C (Seminarrau… | details |
| Stefan Milius | Eilenberg Theorems for Free | Thu, Feb 07 at 11:00 | Seminar Room Gödel,… | 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 |
| RiSE seminar | Oded Padon | Deductive verification of distributed protocols in first-order logic | Wed, Apr 18 at 17:00 | IST Austria, Mondi 2 | details |
