Tuesday, November 21, 2006

WG Workshop at CONCUR 2007 (Proposal)


FYI, here is the workshop proposal that we sent to the CONCUR organizers. If it gets accepted, then we hope that this will be the first of a series of strategic meetings for the WG.

--------------------------------------------------

TITLE: IFIP WG 1.8 Workshop on Applying Concurrency Research in Industry (7 or 8 September 2007)

DURATION: Half a day

ORGANIZERS: Luca Aceto, Jos Baeten, Wan Fokkink, Anna Ingolfsdottir, and Uwe Nestmann (on behalf of WG1.8)

SUMMARY: This strategic workshop, held under the auspices of IFIP Working Group 1.8 on Concurrency Theory, aims at highlighting the challenges that arise in applying concurrency theory research in an industrial setting, broadly construed. Its purpose is to be a forum for the discussion of the state-of-the-art in the transfer of results from concurrency theory to industry, and for distilling the lessons to be learned from the successes and failures so far. Moreover, we shall discuss, e.g., how to increase the impact that concurrency research can have in industry, the role of software tools in this technology transfer effort, and what are possible novel industrial application areas of concurrency theory research. The ultimate goal of the meeting, and subsequent discussions, will be to establish road map(s) for the concurrency theory community, or parts thereof, in applying its research in industrial settings.

The topic of the workshop is strongly related to all of the areas of CONCUR interest. Semantics, logics, and verification techniques for concurrent systems are necessary for the development of languages and methods for use in industrial applications. Conversely, the industrial applications of methods from concurrency theory research stimulate further advances in the basic theory covered by the CONCUR conference series. Successful applications of concurrency theory in industry further highlight the fundamental scientific and technological relevance of work done within the CONCUR community.

SELECTION OF PAPERS: The workshop will consist of three-four invited presentations, followed by discussions. We might summarize the presentations and discussions in an article for the concurrency column of the Bulletin of the EATCS. The theme of the workshop could form the basis for a special issue of a journal (for instance JLAP), but such a special issue would not be necessarily based upon presentations at the workshop. There would be a separate call for contributions for that volume.

2 Comments:

Blogger Luca Aceto said...

Thanks Kohei.

"what stimuli we can get from a dialogue with practice" etc.: that is, I think it is not only one-way: industry experience gives us new ideas to theory. We may think this is like experiment in natural sciences, or the interplay between physics and mathematics. So not only we give to them, but they give to us too.

I agree. The text you suggest will be added in future versions of the workshop description---if I remember to do so, that is. We thought that writing

Conversely, the industrial applications of methods from concurrency theory research stimulate further advances in the basic theory covered by the CONCUR conference series.

in the proposal would carry the same message, but it is best to stress that point as much as we can, lest this is interpreted purely as a "service activity".

9:59 am  
Blogger Luca Aceto said...

By the way I wonder how you got your photo there.

Kohei,

You can add a link to a photo by editing your profile (top right) at http://www.blogger.com/.

Luca

11:10 pm  

Post a Comment

<< Home