Leslie Lamport
Leslie Lamport will answer questions regarding his Heidelberg Laureate Forum lecture.
2nd edition: VCLA Student Awards
The highly successful second edition of the VCLA International Student Awards was concluded on April 16, 2016. Click here for more information and photos.
Tom van Dijk
Workers in forests: developments in parallel decision diagrams
Joseph Sifakis
Rigorous System Design in BIP
Helmut Veith 1971-2016
With the deepest sadness, we announce Helmut Veith’s passing on March 12, 2016.
O-Joung Kwon
Deletion problems regarding graphs of bounded rank-width
Monday, March 14, 2016 at 11:00
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
