Concurrency, Specification and Programming 2018 (CS&P'18)

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.

CS&P'18 spans three days devoted to presentations and discussion of new ideas. It is open for registered participants only. CS&P is organised on a self-cost basis. Registration covers coffee breaks and soft drinks during the workshop, three lunches, and the excursion and conference dinner. Accommodation and travel are to be organized individually by the participants.

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.