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.
| RiSE seminar | Dana Drachsler-Cohen | TBA | Wed, Nov 22 at 17:00 | IST Austria | details |
| RiSE seminar | Piotrek Hofman | TBA | Thu, Nov 09 at 17:00 | IST Austria | details |
 | Matti Järvisalo | The Implicit Hitting Set Approach and Preprocessing for Maximum Satisfiability Solving | Fri, Sep 29 at 14:00 | Seminarraum Goedel, … | details |
| Emilia Oikarinen | Minimum-Width Confidence Bands via Constraint Optimization | Fri, Sep 29 at 10:00 | Seminarraum Goedel, … | details |
| RiSE seminar | Goran Frehse | Using Template Polyhedra and ODEs for the Reachability Analysis of Nonlinear Dynamic Systems | Thu, Sep 28 at 17:00 | IST Austria | details |
| RiSE seminar | Veselin Raychev | Machine Learning for Programming | Tue, Sep 26 at 17:00 | IST Austria | details |
| RiSE seminar | Miriam García Soto | An Algorithmic Approach for Stability Verification of Hybrid Systems | Wed, Sep 13 at 17:00 | IST Austria | details |
| RiSE seminar | Johannes Kloos | Heap-based reasoning about asynchronous programs | Wed, Sep 06 at 17:00 | IST Austria | details |
| Iyad Kanj | The complexity of tree partitioning | Wed, Aug 23 at 11:30 | Library, Favoritenst… | details |
| RiSE seminar | Jean-Pierre Talpin | Model Checking the Flooding Time Synchronization Protocol | Fri, Jun 30 at 13:00 | TU Wien | details |
| RiSE seminar | František Blahoudek | Advances in omega-automata for formal methods | Wed, Jun 21 at 17:00 | IST Austria | details |
| RiSE seminar | Zvonimir Rakamaric | SMACK Software Verification Toolchain | Wed, Jun 07 at 17:00 | TU Wien | details |
| RiSE seminar | Andrei Voronkov | First-Order Interpolation and Interpolating Proofs Systems | Wed, May 31 at 17:00 | TU Wien | details |
| Odile Papini | Prioritized Assertional-Based Removed Sets Revision of DL-Lite Belief Bases | Wed, May 31 at 14:10 | Seminar Room Goedel,… | details |
| Vladislav Ryzhikov and Michael Zakharyaschev | Horn fragments of temporal logics and ontology-based access to temporal data | Wed, Mar 22 at 11:10 | Seminarroom Zemanek,… | details |
| Danny Hermelin | Fractals for Kernelization Lower Bounds | Mon, Mar 06 at 11:30 | Seminarraum von Neu… | details |
| Ondřej Kunčar | CoCon: A Non-Leaking Conference System | Thu, Feb 23 at 16:00 | Seminarroom Menger, … | details |
| Filippo Bonchi | Full Abstraction for Signal Flow Graphs | Tue, Feb 21 at 17:30 | Seminarraum Zemanek,… | details |
| Rupak Majumdar | [Software Testing] Hitting families of schedules | Tue, Dec 06 at 17:30 | Seminarraum Argentin… | details |
| Victor Dalmau | Approximation of MIN CSP | Mon, Nov 07 at 11:00 | Seminar room Gödel,… | details |
