CfP: Workshop on Exploiting Concurrency Efficiently and Correctly (EC^2 2010)
Tuesday, Mar 30, 2010The 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.