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

Hubie Chen

The Logic of Counting Query Answers: A Study via Existential Positive Queries

Yoram Moses

Principles of Coordination in Multi-agent Systems

Neng-Fa Zhou

The Picat Language and System

Andrej Bauer

An Introduction to Algebraic Effects and Handlers

PostDoc position within the project “Oligomorphic clones”

The position will initially be for one year, but the project will be running until 4/2018 and prolongation of the position is negotiable.