Call for the VCLA Student Awards 2015
Nomination deadline extended: November 22, 2015 (AoE)
Katarina Singer
Piero Bonatti
DL^N: a utilitarian nonmonotonic description logic
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
Alexandru Popa
Algorithmic and Hardness Results for the Colorful Components Problems
Paolo Papotti
Beyond declarative data cleaning
Dana S. Scott
Can Modalities Save Naive Set Theory?