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 für Informatik, Humboldt Universität zu Berlin, in cooperation with Fraunhofer FOKUS, Berlin. Local organization is by the Universitä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 Universität, Institut für Informatik Holger Schlingloff Fraunhofer FOKUS and Humboldt University Andrzej Skowron Warsaw University Zbigniew Suraj Chair of Computer Science, University of Rzeszów Marcin Szczuka Institute of Mathematics, University of Warsaw Matthias Werner TU Chemnitz Karsten Wolf Universität Rostock Additional Reviewers Akhundov, Jafar Pancerz, Krzysztof Tröger, Peter Grabowski, Adam Salwicki, Andrzej Zbrzezny, Andrzej Knapik, Michal Sawicka, Anna Niewiadomski, Artur Szreter, Maciej Sponsoring Institution Fraunhofer Institut für offene Kommunikationssysteme FOKUS, Berlin