RSS Feeds: DBAI Seminar · Logic Seminar · RiSE Seminar · VCLA
Upcoming talks
Previous talks
 | Torsten Schaub | Dynamic Answer Set Programming | Fri, Dec 13 2019 at 14:15 | Seminarraum FAV 01 C… | details |
| Joost-Pieter Katoen | Probabilistic Programming: Machine Learning for the Masses? | Wed, Dec 04 2019 at 10:30 | Kontaktraum, Gußhau… | details |
| RiSE seminar | Joost-Pieter Katoen | Probabilistic Programming: Machine Learning for the Masses? | Wed, Dec 04 2019 at 10:30 | Kontaktraum, Gußhau… | details |
| Ringo Baumann | An Abstract, Logical Approach to Characterizing Strong Equivalence in Non-monotonic Knowledge Representation Formalisms | Thu, Nov 28 2019 at 12:00 | Seminarraum FAV EG C… | details |
| Dominique Larchey-Wendling | Hilbert’s Tenth Problem in Coq | Wed, Nov 27 2019 at 16:30 | Seminar Room Gödel,… | details |
| Tommaso Moraschini | Profinite Heyting algebras and the representation problem for Esakia spaces | Wed, Nov 20 2019 at 16:30 | Seminarraum FAV EG C… | details |
| Prafullkumar Tale | Lossy Kernels for Graph Contraction Problems | Mon, Nov 11 2019 at 14:00 | Library of the Algor… | details |
| Davide Grossi | Credulous Acceptability, Poison Games and Modal Logic | Wed, Nov 06 2019 at 16:30 | Seminar Room Gödel,… | details |
| David Cerna | A Mobile Application for Self-Guided Study of Formal Reasoning | Wed, Oct 16 2019 at 16:30 | Seminar Room Gödel,… | details |
| Gerd Brewka | Admissibility and Completeness Revisited | Tue, Oct 01 2019 at 10:00 | Seminarraum FAV 01 A… | details |
| Tanja Schindler | A DPLL(T) theory solver for quantified formulas | Mon, Sep 16 2019 at 11:00 | FAV Hörsaal 1 (grou… | details |
| RiSE seminar | Tanja Schindler | A DPLL(T) theory solver for quantified formulas | Mon, Sep 16 2019 at 11:00 | TU Wien, Favoritens… | details |
| RiSE seminar | Mateus de Oliveira Oliveira | Some Width Measures for Proofs | Mon, Jun 24 2019 at 16:00 | TU Wien, Favoritens… | details |
| RiSE seminar | Anne Schreuder | Automatic Synthesis of Polynomial Probabilistic Invariants via Geometric Persistence | Mon, Jun 17 2019 at 10:00 | TU Wien, Favoritens… | details |
| RiSE seminar | Aleksandar Nanevski | Type and Proof Structures for Concurrent Software Verification | Thu, Aug 16 2018 at 17:00 | TU Wien, Favoritens… | details |
| RiSE seminar | Joost-Pieter Katoen | Bayes meets Dijkstra -- Exact Inference by Program Verification | Wed, Jun 06 2018 at 17:00 | TU Wien, Seminarraum… | details |
| RiSE seminar | Joel Ouaknine | Program Invariants | Tue, May 29 2018 at 15:45 | IST, Mondi Seminar R… | details |
| RiSE seminar | Alexey Bakhirkin | Towards Fast Parametric Identification for STL | Wed, May 23 2018 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 2018 at 17:00 | IST, Mondi 2 | details |
| RiSE seminar | Stefan Ratschan | Counter-example Guided Inductive Synthesis in the Continuous World | Tue, May 08 2018 at 15:00 | IST Austria, Mondi 2 | details |
| DBAI seminar | Florin Chertes | A Universal Layer For Schema Mapping Languages | Thu, Jun 25 2015 at 12:15 | Seminar room Gödel,… | details |
| DBAI seminar | Thomas Linsbichler | Hidden Power of Abstract Argumentation Semantics | Thu, Jun 11 2015 at 12:15 | Seminar room Gödel,… | details |
| DBAI seminar | Giovanni Grasso | DIADEM: Thousands of Websites in a Single Database | Thu, May 28 2015 at 12:15 | Seminar room Gödel,… | details |
| DBAI seminar | Günther Charwat | Efficient Problem Solving on Tree Decompositions using Binary Decision Diagrams | Thu, May 21 2015 at 12:15 | Seminar room Gödel,… | details |
| DBAI seminar | Michael Abseher | Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning | Thu, May 07 2015 at 12:15 | Seminar room Gödel,… | details |
| DBAI seminar | Theresa Csar | Using Statistics for the Computation of Joins in MapReduce | Thu, Apr 30 2015 at 12:15 | Seminar room Gödel,… | details |
| DBAI seminar | James Anderson | Graph Decomposition for Large-Scale Dynamical System Analysis | Fri, Apr 24 2015 at 11:30 | Seminar room Gödel,… | details |
| DBAI seminar | Wolfgang Fischl | Towards Reconciling SPARQL and Certain Answers | Thu, Apr 23 2015 at 12:15 | Seminar room Gödel,… | details |
| DBAI seminar | Sebastian Skritek | Efficient Evaluation and Approximation of Well-designed Pattern Trees | Thu, Apr 16 2015 at 12:15 | Seminar room Gödel,… | details |
| DBAI seminar | Adrian Haret | Merging in the Horn fragment | Thu, Mar 26 2015 at 12:15 | Seminar room Gödel,… | details |
| Logic seminar | Paul Egré (Institut Jean-Nicod, Paris) | Vagueness: do we need more than three degrees of truth? | Wed, May 07 2014 at 17:00 | Seminar room Gödel,… | details |