29th international Workshop on Concurrency, Specification and Programming (CS&P'21)
Berlin, Germany, 26. - 28. September 2021
The 29th workshop on Concurrency, Specification, and Programming 2021 (CS&P'21) is one of a series of seminars organised every even year by
Humboldt University of Berlin and every odd year by Warsaw University.
It deals with formal specification of concurrent and parallel systems, mathematical models for describing such systems, and programming and verification concepts for their implementation.
The workshop has a tradition dating back to the mid-seventies; since 1993 it was named CS&P. During the past 30 years, CS&P has become an important forum for researchers from European and Asian countries.
In 2020, the tradition was interrupted by the Corona crisis; there was no CS&P conference, and CS&P'20 was postponed and renamed to be CS&P'21. This new conference will be held hybrid, both as an online event and as an on-site conference with physical meeting of the participants. Details about travel regulations etc. will be posted at a later time.
As usual, we intend to retain its not very formal character.
Therefore, submissions of not only full papers (not exceeding 12 pages) but also extended abstracts (not less than 2 pages) are welcome.
The Programme Committee will review the papers and abstracts and notify the authors about acceptance.
The workshop spans three days devoted to presentations and discussion.
The materials (proceedings) of the workshop are published by the organising institution and will be available via CEUR,
while authors of selected contributions are later invited to submit an extended paper to an appropriate journal.
If you have any questions please contact firstname.lastname@example.org
last modified: 6.6.2021