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.
 | John D. Barrow | 100 Years of Universes | Fri, Jul 26 at 18:30 | Universität Wien, K… | details |
| Juliet Floyd | In and Out of Mind: Wittgenstein and Gödel, Post and Turing | Thu, Jul 25 at 17:00 | Universität Wien, K… | details |
| Alessio Gizzi | Multiphysics modeling of nonlinear cardiac dynamics: Experiments, Theory and Simulations | Thu, Jul 11 at 12:45 | Library 191-1 (Treit… | details |
| Andrea Cali | Querying Web Data: A Computational Perspective | Mon, Jul 08 at 17:00 | Seminar Room Gödel,… | details |
| Andreas Pieris | Counting Database Repairs under Primary Keys Revisited | Mon, Jul 08 at 16:00 | Seminar Room Gödel,… | details |
| Peter Stuckey | The Multi-Agent Path Finding Problem | Mon, Jul 01 at 15:00 | Seminarraum FAV 01 B… | details |
| Olivia Erdélyi | Why Bother With Regulation and Ethics? We Just Develop the Technology... | Tue, Jun 25 at 13:00 | Seminar Room Gödel,… | details |
| 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 |
| Anne Schreuder | Automatic Synthesis of Polynomial Probabilistic Invariants via Geometric Persistence | Mon, Jun 17 at 10:00 | FORSYTE/RiSE seminar… | 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 |
| RiSE seminar | Oded Padon | Deductive verification of distributed protocols in first-order logic | Wed, Apr 18 at 17:00 | IST Austria, Mondi 2 | details |
