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.
iDQ v1.0 is now available online: http://forsyte.at/software/idq/ m4s0n501Continue 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
The Forsyte group co-organises this year’s edition of the SAT/SMT Summer School.Continue reading
Josef Widder is invited to talk tomorrow at Imagine 14 about how research funding started his IT career.Continue reading
TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for their joint doctoral program LogiCS.Continue reading