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