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
First edition of the VCLA International Student Awards
Four winners in two award categories were celebrated on May 15, 2015.
András Vörös
Saturation-based incremental LTL model checking with inductive proofs
Wolfgang Dvorak
Welfare Maximization with Friends-of-Friends Network Externalities
