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?
Peter Stadler
Dynamic Programming for Lazy Bastards
Wolfgang Gatterbauer
The Linearization of Pairwise Markov Random Fields
Tomas Vojnar
From Pointers to List Containers