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 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 |
| Steven Chaplick | Approximation Schemes for Geometric Coverage Problems | Thu, Jul 19 at 11:00 | Library, Favoritenst… | details |
| Torsten Schaub | ASP in Time | Tue, Jun 26 at 09:30 | Seminar Room Gödel,… | details |
| Ramchandra Phawade | Combining free choice and time in Petri nets | Fri, Jun 22 at 11:00 | Library, Favoritenst… | 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 |
| Martin Josef Geige | Solving large-scale, mid-term planning problems under multiple objectives – A contribution to VeRoLog 2017 optimization competition | Tue, May 29 at 15:00 | Seminar Room Gödel,… | details |
| Ronald de Haan | Using Knowledge Compilation in Social Choice | Tue, May 29 at 14:00 | Seminar Room Neumann… | details |
| RiSE seminar | Alexey Bakhirkin | Towards Fast Parametric Identification for STL | Wed, May 23 at 17:00 | IST Austria, Mondi 2 | details |
| Gyula O.H. Katona | Cryptology, Isoperimetric Problems and Shadows | Wed, May 23 at 11:15 | Seminar Room Gödel,… | 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 |
