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.
Program Committee (tentative)
Holger Schlingloff (Germany) (chair)
Hans-Dieter Burkhard (Germany)
Ludwik Czaja (Poland)
Anna Gomolinska (Poland)
Wojciech Jamroga (Poland)
Magdalena Kacprzak(Poland)
Hung Son Nguyen (Poland)
Wojciech Penczek (Poland)
Lech Polkowski (Poland)
Andrzej Skowron (Poland)
Zbigniew Suraj (Poland)
Marcin Szczuka (Poland)
Matthias Werner (Germany)
Karsten Wolf (Germany)
Topics of the workshop include, but are not limited to:
Publication
Accepted papers for CS&P 2018 will be published in the workshop proceedings, to appear at CEUR.
Independently, a special issue of the IOS Press journal FUNDAMENTA INFORMATICAE will contain selected contributions from the workshop. The submission to this special issue is by invitation only; the selection being made by the PC on the basis of the presentation during the workshop.
In addition to this pre-selection process, all papers submitted to the special issue of FUNDAMENTA INFORMATICAE will have to pass the regular reviewing procedure for this journal to ensure their scientific quality.
Submissions
Contributions must be electronically submitted in portable document format (.pdf) via the EasyChair CS&P 2018 page.
The deadline for submissions is June 30th, 2018!
Instructions for typesetting
Submitted full papers must not exceed 12 pages. Extended abstracts can be submitted as well, but they should not have less than 2 full pages. Both full papers and extended abstracts should conform to the Springer LNCS-style, which is described at www.springer.de/comp/lncs/authors.html.
You can use the style-file llncs2e.sty or the provided word template.
Please, do not number the pages. Also, do not alter text font or size, line spacing, or text width!
09月24日
2018
09月26日
2018
摘要截稿日期
初稿截稿日期
初稿录用通知日期
终稿截稿日期
注册截止日期
留言