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.
 | Marijn Heule | Massively Parallel Solving of Math Problems | Mon, Jan 07 at 17:00 | EI 4 Reithoffer lect… | details |
| Sanjay Modgil | Logic, Argument and Dialectic | Wed, Dec 12 at 16:00 | Seminar Room Gödel,… | details |
| Sebastian Rudolph | The Curse of Finiteness: Undecidability of Database-Inspired Reasoning Problems in Very Expressive Description Logics | Fri, Nov 23 at 14:30 | Seminar Room Gödel,… | details |
| Fredrik Heintz | Reasoning and Learning over Streams for Safe Autonomous Systems | Fri, Nov 23 at 13:30 | Seminar Room Gödel,… | details |
| Luca Cardelli | Programming with Chemical Reactions | Thu, Nov 22 at 16:00 | Seminar room Zemanek… | details |
| Vladimir Lifschitz | How We Studied the Input Language of gringo | Mon, Nov 19 at 12:30 | Seminar Room Gödel,… | details |
| Moshe Vardi | How the Hippies Destroyed the Internet | Thu, Nov 08 at 18:15 | details | |
| Martin Grohe | The Graph Isomorphism Problem | Mon, Nov 05 at 16:00 | EI 4 Reithoffer lect… | details |
| Dale Miller | Separating Functional Computation from Relations | Wed, Oct 31 at 16:30 | Seminar Room Gödel,… | details |
| Marcello D'Agostino | An informational view of classical logic | Thu, Oct 25 at 16:30 | 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 | Melkior Ornik | Deception and Unpredictability in Control Systems | Wed, May 16 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 |
| RiSE seminar | Philipp Rümmer | Deciding and Interpolating Algebraic Data Types by Reduction | Fri, Mar 16 at 10:30 | TU Wien, HS Zemanek,… | details |
