RSS Feeds: DBAI Seminar · Logic Seminar · RiSE Seminar · VCLA

Upcoming talks

Torsten SchaubDynamic Answer Set ProgrammingFri, Dec 13 2019 at 14:15Seminarraum FAV 01 C…details

Previous talks

Joost-Pieter Katoen Probabilistic Programming: Machine Learning for the Masses?Wed, Dec 04 2019 at 10:30Kontaktraum, Gußhau…details
RiSE seminarJoost-Pieter KatoenProbabilistic Programming: Machine Learning for the Masses?Wed, Dec 04 2019 at 10:30Kontaktraum, Gußhau…details
Ringo BaumannAn Abstract, Logical Approach to Characterizing Strong Equivalence in Non-monotonic Knowledge Representation FormalismsThu, Nov 28 2019 at 12:00Seminarraum FAV EG C…details
Dominique Larchey-WendlingHilbert’s Tenth Problem in CoqWed, Nov 27 2019 at 16:30Seminar Room Gödel,…details
Tommaso Moraschini Profinite Heyting algebras and the representation problem for Esakia spacesWed, Nov 20 2019 at 16:30Seminarraum FAV EG C…details
Prafullkumar TaleLossy Kernels for Graph Contraction ProblemsMon, Nov 11 2019 at 14:00Library of the Algor…details
Davide GrossiCredulous Acceptability, Poison Games and Modal LogicWed, Nov 06 2019 at 16:30Seminar Room Gödel,…details
David Cerna A Mobile Application for Self-Guided Study of Formal ReasoningWed, Oct 16 2019 at 16:30Seminar Room Gödel,…details
Gerd BrewkaAdmissibility and Completeness RevisitedTue, Oct 01 2019 at 10:00Seminarraum FAV 01 A…details
Tanja Schindler A DPLL(T) theory solver for quantified formulasMon, Sep 16 2019 at 11:00FAV Hörsaal 1 (grou…details
RiSE seminarTanja SchindlerA DPLL(T) theory solver for quantified formulasMon, Sep 16 2019 at 11:00TU Wien, Favoritens…details
RiSE seminarMateus de Oliveira OliveiraSome Width Measures for ProofsMon, Jun 24 2019 at 16:00TU Wien, Favoritens…details
RiSE seminarAnne SchreuderAutomatic Synthesis of Polynomial Probabilistic Invariants via Geometric PersistenceMon, Jun 17 2019 at 10:00TU Wien, Favoritens…details
RiSE seminarAleksandar NanevskiType and Proof Structures for Concurrent Software VerificationThu, Aug 16 2018 at 17:00TU Wien, Favoritens…details
RiSE seminarJoost-Pieter KatoenBayes meets Dijkstra -- Exact Inference by Program VerificationWed, Jun 06 2018 at 17:00TU Wien, Seminarraum…details
RiSE seminarJoel OuaknineProgram InvariantsTue, May 29 2018 at 15:45IST, Mondi Seminar R…details
RiSE seminarAlexey Bakhirkin Towards Fast Parametric Identification for STLWed, May 23 2018 at 17:00IST Austria, Mondi 2details
RiSE seminarStefan SchmidPolynomial-Time What-If Analysis for Communication Networks: An Automata-Theoretic ApproachWed, May 09 2018 at 17:00IST, Mondi 2details
RiSE seminarStefan RatschanCounter-example Guided Inductive Synthesis in the Continuous WorldTue, May 08 2018 at 15:00IST Austria, Mondi 2details
DBAI seminarFlorin ChertesA Universal Layer For Schema Mapping Languages Thu, Jun 25 2015 at 12:15Seminar room Gödel,…details
DBAI seminarThomas Linsbichler Hidden Power of Abstract Argumentation SemanticsThu, Jun 11 2015 at 12:15Seminar room Gödel,…details
DBAI seminarGiovanni GrassoDIADEM: Thousands of Websites in a Single DatabaseThu, May 28 2015 at 12:15Seminar room Gödel,…details
DBAI seminarGünther Charwat Efficient Problem Solving on Tree Decompositions using Binary Decision Diagrams Thu, May 21 2015 at 12:15Seminar room Gödel,…details
DBAI seminarMichael AbseherImproving the Efficiency of Dynamic Programming on Tree Decompositions via Machine LearningThu, May 07 2015 at 12:15Seminar room Gödel,…details
DBAI seminarTheresa CsarUsing Statistics for the Computation of Joins in MapReduceThu, Apr 30 2015 at 12:15Seminar room Gödel,…details
DBAI seminarJames AndersonGraph Decomposition for Large-Scale Dynamical System AnalysisFri, Apr 24 2015 at 11:30Seminar room Gödel,…details
DBAI seminarWolfgang FischlTowards Reconciling SPARQL and Certain AnswersThu, Apr 23 2015 at 12:15Seminar room Gödel,…details
DBAI seminarSebastian SkritekEfficient Evaluation and Approximation of Well-designed Pattern TreesThu, Apr 16 2015 at 12:15Seminar room Gödel,…details
DBAI seminarAdrian HaretMerging in the Horn fragmentThu, Mar 26 2015 at 12:15Seminar room Gödel,…details
Logic seminarPaul Egré (Institut Jean-Nicod, Paris)Vagueness: do we need more than three degrees of truth? Wed, May 07 2014 at 17:00Seminar room Gödel,…details