- Part 1: Dynamic Spatial Logics: A Tutorial Survey by Luis Caires. [PDF]
- Part 2: Applying Concurrency Research in Industry: Report on a Strategic Workshop by Luca Aceto, Jos Baeten, Wan Fokkink, Anna Ingolfsdottir and Uwe Nestmann. [PDF]
The second contribution is a strategic report on applying concurrency research in industry. This non-technical article is one of the outcomes of the Workshop on Applying Concurrency Research in Industry, colocated with CONCUR 2007 in Lisbon, which I co-organized on behalf of IFIP WG1.8 “Concurrency Theory”. The essay tries to distil the contents of the presentations delivered at the workshop, and of the ensuing discussion, for the benefit of the concurrency community as a whole. I thank all the participants in the workshop for their contribution to the event. Special thanks go to the invited speakers (Vincent Danos, Hubert Garavel, Jan Friso Groote and Kim G. Larsen) for making the trip to Lisbon to share their considerable experience on this topic with us, and to Rance Cleaveland, Joost-Pieter Katoen, Moshe Vardi and Frits Vaandrager for providing their answers to the questions that the audience asked the invited speakers at the workshop.
I hope that you will enjoy these contributions, and that you will feel enticed to contribute to the ongoing discussion within the concurrency theory community.
Last, but not least, do contact me if you'd like to contribute a piece to the column!