29th international Workshop on Concurrency, Specification and Programming (CS&P'21)

Berlin, Germany, 27. - 28. September 2021

CS&P 2021

The 29th workshop on Concurrency, Specification, and Programming 2021 (CS&P'21) is one of a series of seminars formerly 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 event will be held hybrid, both as an online event and as an on-site conference with physical meeting of the participants. Since travel regulations vary between countries, all registered participants will receive the key to online participation via email.
The workshop spans two 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 csp2021@informatik.hu-berlin.de

last modified: 10.9.2021