Alexey Ignatiev

Efficient Model Based Diagnosis with Maximum Satisfiability

Caterina Urban

Abstract Interpretation as Automated Deduction

Helmut Veith receives CAV Award

VCLA Co-Chair is one of the recipients of prestigious annual award

Sarah Kirchner

Appointment scheduling in hospitals – sequencing and scheduling using time aggregation

Stephan Holzer

New Algorithms and Lower Bounds in Distributed Computing