Austrian Computer Science Day 2015
All-Austrian computer scientists’ meet-up
Pierre Bourhis
A Formal Study of Collaborative Access Control in Distributed Datalog
Keren Censor-Hillel
Distributed Algorithms as Combinatorial Structures
Maria Gorinova
Termination proving
Martin Suda
Resolution-based Methods for Linear Temporal Reasoning
