This volume contains the papers presented at CS&P 2016, the 25th International Workshop on Concurrency, Speci cation 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 meeting 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 tradition, we strive to retain an informal working atmosphere. Therefore, the proceedings includes drafts and extended abstracts as well as fully elaborated contributions. The proceedings are published by Humboldt University and CEUR. The editor would like to thank the university's printing o ce, the team at CEUR Workshop Proceedings, and EasyChair for their help in producing this publication.
CS&P 2016 is organized by the Institut fur Informatik, Humboldt Universitat zu Berlin, in cooperation with Fraunhofer FOKUS, Berlin. Local organization is by the Universitat Rostock.
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 Technology Louchka Popova-Zeugmann Humboldt Universitat, Institut fur Informatik Holger Schlinglo Fraunhofer FOKUS and Humboldt University Andrzej Skowron Warsaw University Zbigniew Suraj Chair of Computer Science, University of
Rzeszow Marcin Szczuka Institute of Mathematics, University of Warsaw Matthias Werner TU Chemnitz Karsten Wolf Universitat Rostock
Fraunhofer Institut fur o ene Kommunikationssysteme FOKUS, Berlin
Zbrzezny, Andrzej