=Paper=
{{Paper
|id=Vol-1698/preface
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-1698/CS&P2016_00_Schlingloff_Preface.pdf
|volume=Vol-1698
}}
==None==
<pdf width="1500px">https://ceur-ws.org/Vol-1698/CS&P2016_00_Schlingloff_Preface.pdf</pdf>
<pre>
                                 Preface


This volume contains the papers presented at CS&P 2016, the 25th International
Workshop on Concurrency, Specification and Programming, held on September
28 - 30, 2016 in Rostock, Germany.
    Since the early seventies Warsaw University and Humboldt University have
alternately organized an annual workshop - since the early nineties known as
CS&P. Over time, it has grown from a bilateral seminar to a well-known meet-
ing attended also by colleagues from many other countries than Poland and
Germany.
    This year marks an anniversary: we celebrate the quarter-centenary edition
of CS&P. We do so on the Baltic Sea coast, in one of the oldest universities in
the world, the University of Rostock, founded in 1419. The gathering is hosted
by Rostock University’s department of computer science, and the editor would
like to thank Prof. Karsten Wolf and his local team for their hospitality and
great organization.
    During the three-day meeting, there are 14 sessions in two parallel tracks.
Additionally, there is a number of short presentations on current and emerging
topics, as well as tool demos and open discussions.
    This volume contains 26 papers supplementing the presentations, selected
from the submissions by the program committee. Following the workshops tra-
dition, we strive to retain an informal working atmosphere. Therefore, the pro-
ceedings includes drafts and extended abstracts as well as fully elaborated con-
tributions.
    The proceedings are published by Humboldt University and CEUR. The
editor would like to thank the university’s printing office, the team at CEUR
Workshop Proceedings, and EasyChair for their help in producing this publica-
tion.


Berlin, September 2016                                        Holger Schlingloff
                            Organization


CS&P 2016 is organized by the Institut für Informatik, Humboldt Universität
zu Berlin, in cooperation with Fraunhofer FOKUS, Berlin. Local organization is
by the Universität Rostock.


Program Committee
Hans-Dieter Burkhard    Humboldt University
Ludwik Czaja            Institute of Informatics, Warsaw University
Anna Gomolinska         University of Bialystok, Institute of Informatics
Wojtek Jamroga          Polish Academy of Sciences
Magdalena Kacprzak      Politechnika Bialostocka
Hung Son Nguyen         Institute of Mathematics, The University of
                        Warsaw
Wojciech Penczek        ICS PAS and Siedlce University
Lech Polkowski          Polish-Japanese Institute of Information Tech-
                        nology
Louchka Popova-Zeugmann Humboldt Universität, Institut für Informatik
Holger Schlingloff      Fraunhofer FOKUS and Humboldt University
Andrzej Skowron         Warsaw University
Zbigniew Suraj          Chair of Computer Science, University of
                        Rzeszów
Marcin Szczuka          Institute of Mathematics, University of Warsaw
Matthias Werner         TU Chemnitz
Karsten Wolf            Universität Rostock


Additional Reviewers

Akhundov, Jafar           Pancerz, Krzysztof         Tröger, Peter
Grabowski, Adam           Salwicki, Andrzej          Zbrzezny, Andrzej
Knapik, Michal            Sawicka, Anna
Niewiadomski, Artur       Szreter, Maciej


Sponsoring Institution
Fraunhofer Institut für offene Kommunikationssysteme FOKUS, Berlin

</pre>