Dear all
Extended deadline: 24 April Please consider submitting a short position paper to this exciting workshop, co-located with CAV 2015, and please spread the word to others who may be interested. Many thanks Ally Donaldson ******************************************************************************* CALL FOR PAPERS ******************************************************************************* (EC)2 2015: 8th International Workshop on Exploiting Concurrency Efficiently and Correctly Co-located with CAV 2015 San Francisco, CA, USA July 18-19, 2015 http://multicore.doc.ic.ac.uk/events/ec2/ *** IMPORTANT DATES *** Submission: Apr 17, 2015, Anywhere on Earth Notifications: May 8, 2015 Final versions due: May 15, 2015 Workshop: Jul 18-19, 2015 *** SCOPE *** The rise of multicore CPUs, manycore GPUs, and other heterogeneous accelerator devices, presents exciting new opportunities for building more efficient computing systems. But with these opportunities comes a challenge: concurrent programming is notoriously difficult, and advances in analysis, programming and verification in the context of concurrency are required to meet this challenge. There has been a surge of concurrency-related research activity from different viewpoints, such as the rethinking of programming abstractions and memory models; standardization and formalization of commonly used APIs and libraries; and investigating new forms of hardware support for parallel processing. While developing tools for verifying and debugging concurrent systems has been an important theme in the verification community for some time, we believe that formal verification research can go beyond checking existing code and systems, and play a role in identifying suitable abstractions for concurrency. The goal of the annual (EC)2 workshop is thus to bring together researchers from the verification and program analysis community with experts who are involved, on the one hand, in developing multicore architectures, programming languages, or concurrency libraries, and on the other hand, in distributed computing and concurrency theory. Ultimately, such a diverse environment should stimulate incubation of ideas leading to future concurrent system design an verification tools that are essential in the multicore era. *** WORKSHOP FORMAT *** The workshop will include invited talks, presentations of position papers, and discussion periods. The position papers will be distributed before-hand on the CAV memory stick and this webpage. *** INVITED SPEAKERS *** We're excited to have the following confirmed invited speakers: - Sebastian Burkhardt, Microsoft Research - Cormac Flanagan, University of California Santa Cruz *** SUBMISSION *** We seek position papers related to the scope outlined above (to be interpreted broadly). The aim of the workshop is to promote discussion of new ideas, and exchange of ideas between communities. Thus we seek not only polished contributions, we very much welcome reports of work-in-progress, lucid write-ups of new ideas, and potentially controversial position statements. Prepare a 2-5 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 EasyChair here: https://easychair.org/conferences/?conf=ec22015 Those who do not have an EasyChair account will need to create one by visiting this URL: http://www.easychair.org/ Each contribution will be reviewed by 2-3 members of the Programme Committee, after which a selection of papers to be presented at the workshop will be made. There will be no formal workshop proceedings; therefore, the work will be considered "unpublished". It is thus OK (from the point of view of (EC)2) for authors to submit articles related to work that has already been published elsewhere, or is under submission to a journal or a conference that does have formal proceedings, if the authors feel that the work would lead to interesting discussion at (EC)2. At least one author of each accepted position paper must register and attend to present the work. *** PROGRAM COMMITTEE *** Brad Beckmann, AMD Pavol Cerny, University of Colorado Boulder Alastair Donaldson, Imperial College London (chair) Michael Emmi, IMDEA Software Institute Akash Lal, Microsoft Research Zvonimir Rakamaric, University of Utah ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
