Link to (EC)2of 2010, Edinburgh, July 20-21 is here.



Link to (EC)2of 2008, Princeton, NJ, USA, July 7--8 is here.



The 2009 edition of (EC)2is detailed below.

PRELIMINARY PROGRAM and CHALLENGE PROBLEMS
Exploiting Concurrency Efficiently and Correctly -- (EC)
2
CAV 2009 Workshop
June 26-27, 2009, Grenoble, France
http://www.cs.utah.edu/ec2


INVITED SPEAKERS:
CHALLENGE PROBLEMS:
A growing list of CHALLENGE PROBLEMS are being organized, and will be discussed during the workshop. For questions, please contact ec2-org at googlegroups.com.

PRELIMINARY PROGRAM:
Day 1, Friday, June 26


Day 2, Saturday, June 27
At least one author of each position paper is expected to register and attend to present the same.

Description of 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 of concurrency-related research activity from different viewpoints, such as rethinking of programming abstractions and memory models; standardization and formalization of commonly used APIs (e.g., MPI, OpenMP); and new forms of hardware support for parallel processing.

While developing tools for verifying and debugging concurrent systems has been an important theme at CAV, we believe that formal methods research can go beyond checking existing code/systems, and play a role in identifying the "right" abstractions for concurrency. The goal of this workshop is to bring together CAV researchers with experts who are involved in developing multicore architectures, programming languages, and concurrency libraries.

Related Events:
Organizers:

This document was translated from LATEX by HEVEA.