[TYPES/announce] CFP: (EC)2 - International Workshop on Exploiting Concurrency Efficiently and Correctly

[Alastair Donaldson]

Dear all

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!

Submissions on type-based approaches to correct concurrency would be 
very welcome.

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