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.
 | 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 |
| Christian Klamler | Using Borda Scores for Ranking Sets of Objects | Thu, May 03 at 14:00 | Seminar Room 183/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 |
| Daniel Paulusma | Colouring Square-Free Graphs without Long Induced Paths | Wed, Apr 18 at 11:30 | Seminar Room Neumann… | details |
| Henning Fernau | Self-monitoring approximation algorithms | Mon, Apr 09 at 17:00 | Seminar Room Neumann… | details |
| RiSE seminar | Sergiy Bogomolov | Time-Triggered Conversion of Guards for Reachability Analysis of Hybrid Automata | Thu, Apr 05 at 16:00 | IST Austria | 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 |
| Benjamin Niedermann | On Ortho-Radial Drawings for Metro Networks | Tue, Feb 27 at 11:00 | Library, Favoritenst… | details |
| Jorge Fandinno | Argumentation Frameworks with Recursive Attacks and Evidence-Based Supports | Wed, Feb 14 at 14:00 | Seminar Room Gödel,… | details |
