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.
The 2015 CAV Award is given to Edmund Clarke, Orna Grumberg, Ron Hardin, Zvi Harel, Somesh Jha, Robert Kurshan, Yuan Lu, and Helmut Veith for the development and implementation of the localization-reduction technique and the formulation of counterexample-guided abstraction refinement (CEGAR).Continue reading
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