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