EC2 2010: Workshop on Exploiting Concurrency Efficiently and Correctly
July 20-21, 2010,
|Submission deadline (extended)||March 31, 2010 (Wed).
(Please submit papers through Easychair.)
|Notification of acceptance||April 14, 2010 (Wed)|
|Registration||Please register through the CAV 2010 registration system|
|Workshop||July 20-21 2010|
Prepare a 2-4 page position paper in PDF format using any tool you like. The title and the name of the authors should appear at the top of the first page. Please submit your papers through this URL. Those who do not have an Easy chair account will need to create one by visiting this URL.
There will be no formal workshop proceedings—therefore, the work will be considered "unpublished".
At least one author of each position paper is expected to register and attend to present the work.
A growing list of challenge problems is being collected, and will be discussed during the workshop. For questions, please contact ec2-org at googlegroups.com.
EC2 2010 is colocated with CAV 2010, and is a part of the Federated Logic Conference (FloC), 2010.
|Rajeev Alur||University of Pennsylvania|
|Swarat Chaudhuri||Pennsylvania State University|
|Azadeh Farzan||University of Toronto|
|Ganesh Gopalakrishnan||University of Utah|
|Stephen Siegel||University of Delaware|
|Helmut Veith||Technical University of Darmstadt|