27th international Workshop on Concurrency, Specification and Programming (CS&P'18)

Berlin, Germany, 24. - 26. September 2018


CS&P 2018

The 27th workshop on Concurrency, Specification, and Programming 2018 (CS&P'18) 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.
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 the journal FUNDAMENTA INFORMATICAE.

If you have any questions please contact csp2018@informatik.hu-berlin.de








last modified: 22.04.2018