News

ICALP 2021

The paper "Faster Algorithms for Bounded Liveness in Graphs and Game Graphs" by Krishnendu Chatterjee, Monika Henzinger, Sagar Kale and Alexander Svozil was accepted to the...

SPAA 2021

The paper "On the Complexity of Load Balancing in Dynamic Networks" by Seth Gilbert, Uri Meir, Ami Paz and Gregory Schwartzman was accepted to the 33th ACM Symposium on...

With the project "MoDynStruct: The design of modern fully dynamic data structures", Prof. Dr. Monika Henzinger was able to acquire her second ERC Advanced Grant. The Faculty...

LICS 2021

The paper "Symbolic Time and Space Tradeoffs for Probabilistic Verification" by Krishnendu Chatterjee, Wolfgang Dvořák, Monika Henzinger and Alexander Svozil was accepted to...

How do algorithms affect us? [Podcast]

Prof. Dr. Monika Henzinger explains in the Audimax Podcast of the University of Vienna the basics and different types of algorithms, why the term has a bad reputation and why...

5 papers at SODA 2021

The following papers were accepted to the ACM-SIAM Symposium on Discrete Algorithm 2021: