Talks

(subscribe: list, rss feed, calendar feed)
Aug
14

Alexey Ignatiev

Efficient Model Based Diagnosis with Maximum Satisfiability

Aug
14

Caterina Urban

Abstract Interpretation as Automated Deduction

Aug
4

Sarah Kirchner

Appointment scheduling in hospitals – sequencing and scheduling using time aggregation

Aug
4

Stephan Holzer

New Algorithms and Lower Bounds in Distributed Computing

Jul
7

Alexandru Popa

Algorithmic and Hardness Results for the Colorful Components Problems

Jul
2

Paolo Papotti

Beyond declarative data cleaning

News