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.