Cliff B. Jones
Reasoning about Interference (or Lack Thereof)
Evgenia Ternovska
An Algebra of Modular Systems
Johannes Hölzl
Markov chains and Markov decision processes in Isabelle/HOL
Vienna Science Ball 2016
Successful second cooperation with the Vienna Science Ball
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