Preface for the 27th Nordic Workshop on Programming Theory (NWPT 2015)

Luca Aceto, Anna Ingolfsdottir
2017 Journal of Logical and Algebraic Methods in Programming  
The 27th Nordic Workshop on Programming Theory (NWPT 2015) was held at Reykjavik University in the period 21-23 October 2015 and was organized by us in cooperation with our postdoctoral researchers Dario Della Monica, Ignacio Fabregas and Alvaro Garcia Perez. The workshop finished on Friday, 23 October, at around 17:30 after three packed days of scientific presentations. The workshop had 57 registered participants (50 of which came from abroad, giving yet another indication of the powerful lure
more » ... of Iceland as a destination for scientific events), and several talks were also attended by some local faculty members and students who were not officially registered for the workshop. All sessions were well attended and had lively discussions, including the very last one. The workshop was graced by three excellent invited talks and the quality of the contributed presentations was consistently high. It was very pleasing to see many young researchers deliver clear, well prepared and well paced presentations. You can find all the abstracts for the contributed presentations and the slides for nearly all the talks at The invited talks were delivered by Rocco De Nicola (IMT Lucca, IT), Marta Kwiatkowska (University of Oxford, UK) and Jiri Srba (Aalborg University, DK). Rocco kicked off the workshop with a talk entitled Languages and Models for Collective Adaptive Systems. (The slides are available at is/nwpt2015/SLIDES/Rocco.pdf.) Collective Adaptive Systems are heterogeneous collections of autonomous task-oriented systems that cooperate on common goals forming a collective system. Such systems consist of massive numbers of components that interact in complex ways amongst themselves and with other systems; they operate in open and non-deterministic environments, dynamically adapting to new requirements, technologies and environmental conditions. Developing such systems poses challenges to the developers such as the sheer number of components, the need to adapt to changing environments and requirements, the emergent behaviour resulting from complex interactions, and the uncertainty both at design-time and at run-time. In his talk, Rocco presented the SCEL language developed by his research group for programming collective adaptive systems and its underlying theory. Jiri delivered the Thursday invited talk on Techniques and Tools for the Analysis of Timed Workflows. (The slides may be found at nwpt2015/SLIDES/Jiri.pdf.) According to Wikipedia, a workflow consists
doi:10.1016/j.jlamp.2017.01.001 fatcat:jo7r7geqqnfublut2yry3ki23u