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

Upcoming talks

RiSE seminarKim G. LarsenTBAWed, Feb 07 2018 at 17:00Raiffeisen Lecture H…details
RiSE seminarGabriel JuhásSynthesis of Petri Nets from Prime Event StructuresWed, Feb 21 2018 at 17:00Mondi 2, IST Austriadetails
RiSE seminarSuguman BansalTBAWed, Apr 25 2018 at 17:00IST Austria, Mondi 2details

Previous talks

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
RiSE seminarTom van DijkState of the art parity game solvingWed, Dec 06 2017 at 17:00 EI 9 Hlawka, Gußha…details
RiSE seminarDamien PousTBAMon, Nov 27 2017 at 17:00Mondi 2, IST Austriadetails
Maarten LöfflerPleaching Pencil-&-Paper Picture PuzzlesWed, Nov 22 2017 at 15:00Seminar Room Gödel,…details
RiSE seminarAnthony Widjaja LinDecidable Logics for Path Feasibility of Programs with StringsWed, Nov 22 2017 at 10:00Zemanek, Favoritenst…details
RiSE seminarAnthony Widjaja LinProgram Analysis through the Lens of Computational LogicTue, Nov 21 2017 at 16:00TU Wien, Lecture roo…details
Mohammad Farshi(Weakly) Self-approaching graphsMon, Nov 13 2017 at 16:30Library, Favoritenst…details
Piotr SkowronApproximating Optimal Social Choice under Metric Preferences Mon, Nov 13 2017 at 16:00Seminar Room Gödel,…details
RiSE seminarMichael I. JordanOn Computational Thinking, Inferential Thinking and Data ScienceWed, Nov 08 2017 at 17:00IST - Raiffeisen Lec…details
Tamara MchedlidzeApplication of the point-line duality principle in graph drawingMon, Oct 30 2017 at 17:00Seminar Room Gödel,…details
Gerhard WoegingerBuffers, Buckets, and OverflowsFri, Oct 20 2017 at 14:00Seminar Room Gödel,…details
Francesco ScarcelloDealing with the Shapley Value: islands of tractability and useful toolsFri, Oct 20 2017 at 09:00Seminar Room 188/2, …details
Roman PrutkinGraph Embeddings Motivated by Greedy RoutingWed, Oct 11 2017 at 14:00Algorithms and Compl…details
RiSE seminarSomesh JhaRiSE Invited Lecture: Practical Black-Box Attacks against Machine LearningFri, Oct 06 2017 at 14:00TU Wien, HS Zemanek,…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
RiSE seminarNicolas MazzocchiTBAThu, Jan 01 1970IST Austriadetails
Sasha RubinMini course: Milestones in solving games on graphsThu, Jan 01 1970Seminar Room Neumann…details