The annual Workshop on Exploiting Concurrency Efficiently and Correctly (EC2) is a forum that brings together researchers working on formal methods for concurrency, and those working on advanced parallel applications. Its goal is to stimulate incubation of ideas leading to future concurrent system design an verification tools that are essential in the multi-core era.
Josef Widder has received his habilitation in computer science from TU Wien. He is now Privatdozent.Continue reading
We had great talks at FRIDA’15 workshop in Grenoble. The slides of some of the talks are available online.Continue reading
Check the program of the 2nd workshop on Formal Reasoning in Distributed Algorithms at FORTE. We have a nice program this year.Continue reading
iDQ v1.0 is now available online: http://forsyte.at/software/idq/Continue reading
We have a great program for our workshop on formal reasoning in distributed algorithms. Join us at the workshop!Continue reading
Laura Kovács and Georg Weissenbacher are the organizers of the second workshop on Craig interpolation and its applications.Continue reading