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

Upcoming talks

RiSE seminarVeselin RaychevMachine Learning for ProgrammingTue, Sep 26 2017 at 17:00IST Austriadetails
RiSE seminarGoran FrehseTBAThu, Sep 28 2017 at 17:00IST Austriadetails
Emilia OikarinenMinimum-Width Confidence Bands via Constraint OptimizationFri, Sep 29 2017 at 10:00Seminarraum Goedel, …details
Matti JärvisaloThe Implicit Hitting Set Approach and Preprocessing for Maximum Satisfiability SolvingFri, Sep 29 2017 at 14:00Seminarraum Goedel, …details
RiSE seminarPiotrek HofmanTBAThu, Nov 09 2017 at 17:00IST Austriadetails
RiSE seminarDana Drachsler-CohenTBAWed, Nov 22 2017 at 17:00IST Austriadetails

Previous talks

RiSE seminarMiriam García SotoAn Algorithmic Approach for Stability Verification of Hybrid SystemsWed, Sep 13 2017 at 17:00IST Austriadetails
RiSE seminarJohannes KloosHeap-based reasoning about asynchronous programsWed, Sep 06 2017 at 17:00IST Austriadetails
Iyad KanjThe complexity of tree partitioningWed, Aug 23 2017 at 11:30Library, Favoritenst…details
RiSE seminarJean-Pierre TalpinModel Checking the Flooding Time Synchronization ProtocolFri, Jun 30 2017 at 13:00TU Wiendetails
RiSE seminarFrantišek BlahoudekAdvances in omega-automata for formal methodsWed, Jun 21 2017 at 17:00IST Austriadetails
RiSE seminarZvonimir Rakamaric SMACK Software Verification ToolchainWed, Jun 07 2017 at 17:00TU Wiendetails
RiSE seminarAndrei VoronkovFirst-Order Interpolation and Interpolating Proofs SystemsWed, May 31 2017 at 17:00TU Wiendetails
Odile PapiniPrioritized Assertional-Based Removed Sets Revision of DL-Lite Belief BasesWed, May 31 2017 at 14:10Seminar Room Goedel,…details
Vladislav Ryzhikov and Michael Zakharyaschev Horn fragments of temporal logics and ontology-based access to temporal data Wed, Mar 22 2017 at 11:10Seminarroom Zemanek,…details
Danny HermelinFractals for Kernelization Lower BoundsMon, Mar 06 2017 at 11:30 Seminarraum von Neu…details
Ondřej KunčarCoCon: A Non-Leaking Conference SystemThu, Feb 23 2017 at 16:00Seminarroom Menger, …details
Filippo BonchiFull Abstraction for Signal Flow GraphsTue, Feb 21 2017 at 17:30Seminarraum Zemanek,…details
Rupak Majumdar[Software Testing] Hitting families of schedulesTue, Dec 06 2016 at 17:30Seminarraum Argentin…details
Victor DalmauApproximation of MIN CSPMon, Nov 07 2016 at 11:00Seminar room Gödel,…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