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

Upcoming talks

Gyula O.H. KatonaCryptology, Isoperimetric Problems and ShadowsWed, May 23 2018 at 11:15Seminar Room Gödel,…details
RiSE seminarAlexey Bakhirkin Towards Fast Parametric Identification for STLWed, May 23 2018 at 17:00IST Austria, Mondi 2details
RiSE seminarWarren HunttbaWed, May 30 2018 at 17:00TU Wien, tbadetails

Previous talks

RiSE seminarMelkior OrnikDeception and Unpredictability in Control SystemsWed, May 16 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
Christian KlamlerUsing Borda Scores for Ranking Sets of ObjectsThu, May 03 2018 at 14:00Seminar Room 183/2, …details
RiSE seminarOded PadonDeductive verification of distributed protocols in first-order logicWed, Apr 18 2018 at 17:00IST Austria, Mondi 2details
Daniel PaulusmaColouring Square-Free Graphs without Long Induced PathsWed, Apr 18 2018 at 11:30Seminar Room Neumann…details
Henning FernauSelf-monitoring approximation algorithmsMon, Apr 09 2018 at 17:00Seminar Room Neumann…details
RiSE seminarSergiy BogomolovTime-Triggered Conversion of Guards for Reachability Analysis of Hybrid AutomataThu, Apr 05 2018 at 16:00IST Austriadetails
RiSE seminarLionel Briand Automated Testing of Autonomous SystemsWed, Apr 04 2018 at 16:00IST Austria, Raiffei…details
RiSE seminarPhilipp RümmerDeciding and Interpolating Algebraic Data Types by ReductionFri, Mar 16 2018 at 10:30TU Wien, HS Zemanek,…details
Benjamin NiedermannOn Ortho-Radial Drawings for Metro NetworksTue, Feb 27 2018 at 11:00Library, Favoritenst…details
RiSE seminarAlexandra SilvaCALF — a categorical automata learning frameworkMon, Feb 26 2018 at 17:00TU Wiendetails
Jorge FandinnoArgumentation Frameworks with Recursive Attacks and Evidence-Based SupportsWed, Feb 14 2018 at 14:00Seminar Room Gödel,…details
Eunjung KimErdos-Posa Property of Chordless Cycles and its ApplicationsTue, Dec 19 2017 at 16:00Library, Favoritenst…details
Przemysław Andrzej WałęgaHorn fragments of Halpern-Shoham logic: complexity vs expressivenessWed, Dec 13 2017 at 11:30Seminar Room Neumann…details
Maarten LöfflerPleaching Pencil-&-Paper Picture PuzzlesWed, Nov 22 2017 at 15:00Seminar Room Gödel,…details
Mohammad Farshi(Weakly) Self-approaching graphsMon, Nov 13 2017 at 16:30Library, Favoritenst…details
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