Login

Seminars

Shape Analysis of Low-Level List Manipulating Programs via Symbolic Memory Graphs

Seminars

2015-06-17 13:00:00

Presenter

Tomas Vojnar,

Decomposing consistency: It’s the invariants, stupid

Seminars

2015-05-27 13:00:00

Presenter

Marc Shapiro,

Using a domain taxonomy for the analysis of structure and level of research: A multifaceted project in semantic data analysis

Seminars

2015-03-26 16:00:00

Presenter

Boris Mirkin,

Data mining and knowledge discovery missing topic: anomalous cluster clustering

Seminars

2015-03-25 14:00:00

Presenter

Boris Mirkin,

Coordination Avoidance in Distributed Databases

Seminars

2015-03-24 14:00:00

Presenter

Peter Bailis,

An LTL Proof System for Runtime Verification

Seminars

2015-02-04 14:00:00

Presenter

Adrian Francalanza,

Completeness of Queries over Incomplete Databases

Seminars

2015-01-16 15:00:00

Presenter

Werner Nutt,

Designing for Partition Tolerance with CRDTs

Seminars

2014-12-03 14:00:00

Presenter

Carlos Baquero,

Model-Driven Spreadsheets

Seminars

2014-11-26 14:00:00

Presenter

Jácome Cunha,

Counterfactuals in Logic Programming with Applications to Agent Morality

Seminars

2014-11-19 14:00:00

Presenter

Luís Moniz Pereira,