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.
 | Luca Cardelli | Programming with Chemical Reactions | Thu, Nov 22 at 16:00 | Seminar room Zemanek… | 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 |
| Tomi Janhunen | Writing Declarative Specifications for Clauses | Fri, Oct 05 at 14:00 | Seminar Room Gödel,… | details |
| Rajeev Gore | Interactive Synthesis of Verified Vote-counting Programs | Wed, Sep 26 at 16:30 | Seminar Room Gödel,… | details |
| Toby Walsh | Living with Artificial Intelligence – How to stay Human | Thu, Sep 20 at 18:00 | Prechtlsaal, Ground … | details |
| RiSE seminar | Aleksandar Nanevski | Type and Proof Structures for Concurrent Software Verification | Thu, Aug 16 at 17:00 | TU Wien, Favoritens… | details |
| Iyad Kanj | How to navigate through obstacles? | Wed, Jul 25 at 14:00 | Library, Favoritenst… | details |
| Markus Endres | Preference-Aware Database Systems | Tue, Jul 24 at 14:00 | Menger meeting room,… | 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 |
