Pavol Černý

Congratulations to Privatdozent Josef Widder

Josef Widder has received his habilitation in computer science from TU Wien. He is now Privatdozent.

We had great talks at FRIDA’15 workshop in Grenoble. The slides of some of the talks are available online.

Check the program of the 2nd workshop on Formal Reasoning in Distributed Algorithms at FORTE. We have a nice program this year.

Josef Widder is awarded a FWF standalone project “PRAVDA” on Parameterized Verification of Fault-tolerant Distributed Algorithms

iDQ v1.0 is now available online: http://forsyte.at/software/idq/

We have a great program for our workshop on formal reasoning in distributed algorithms. Join us at the workshop!