(EC)^2: Final Call for Papers
Call for Position Papers Exploiting Concurrency Efficiently and Correctly ((EC)^2) CAV 2008 Workshop July 7-8, 2008, Princeton, NJ http://www.cs.utah.edu/ec2/ Our ability to effectively harness the computational power of the next generation of multiprocessor and multicore architectures is predicated upon advances in programming languages and tools for developing concurrent software. This has resulted in a surge [...]