Four winners in two award categories were celebrated on May 15, 2015.
Saturation-based incremental LTL model checking with inductive proofs
Welfare Maximization with Friends-of-Friends Network Externalities
The Logic of Counting Query Answers: A Study via Existential Positive Queries
Principles of Coordination in Multi-agent Systems
The Picat Language and System
An Introduction to Algebraic Effects and Handlers
The position will initially be for one year, but the project will be running until 4/2018 and prolongation of the position is negotiable.