posted by organizer: piotrartiemjew || 983 views || tracked by 1 users: [display]

CS&P 2019 : 28th Concurrency, Specification, and Programming


When Sep 24, 2019 - Sep 26, 2019
Where Olsztyn, Poland
Submission Deadline Aug 24, 2019
Notification Due Aug 31, 2019
Final Version Due Sep 7, 2019
Categories    mathematical models of concurr   formal specification languages   theory of programming   rough sets

Call For Papers


We would like to invite You to the
28th Concurrency, Specification, and Programming (CS&P'19) which will take place in Olsztyn (Poland) on the Kortowo Campus, which is a part of the University of Warmia and Mazury (UWM), on September 24-26, 2019.

The Concurrency, Specification, and Programming (CS&P) workshop is one of a series of events organized every even year by Humboldt University of Berlin and every odd year by Warsaw University. This year for the first time the conference will be co-organized by the University of Warmia and Mazury and the Warsaw University.

As usual, we intend to retain a not very formal character. Therefore, submissions of not only full papers (not exceeding 12 pages) but also extended abstracts (of at least 2 pages) are welcome. The program committee will review the papers and abstracts and notify the authors about acceptance.

CS&P'19 will span three days devoted to presentations and discussion of new ideas. It is open for registered participants only.
CS&P is organized on a self-cost basis. Accommodation and travel are to be organized individually by the participants.

PROGRAM COMMITTEE (to be confirmed):
• Krzysztof Ropiak (Poland)(Chair)
• Lech Polkowski (Poland)
• Holger Schlingloff (Germany)
• Ludwik Czaja (Poland)
• Soma Dutta (Poland)
• Anna Gomolinska (Poland)
• Magdalena Kacprzak(Poland)
• Hung Son Nguyen (Poland)
• Wojciech Penczek (Poland)
• Edip Senyurek (Turkey)
• Andrzej Skowron (Poland)
• Zbigniew Suraj (Poland)
• Marcin Szczuka (Poland)
• Matthias Werner (Germany)
• Karsten Wolf (Germany)
• Dmitry Zaitsev (Ukraine)
• Lada Rudikova (Belarus)
• Piotr Artiemjew (Poland)

TOPICS of the workshop include, but are not limited to:
• Mathematical models of concurrency
• Formal specification languages
• Theory of programming
• Model checking and testing
• Multi-agent systems
• Rough sets
• Verification
• Formal aspects of knowledge management
• Knowledge discovery and data mining
• Soft computing
• Applications, e.g. in Robotics

Accepted papers for CS&P 2018 will be published in the workshop proceedings as a Humboldt University Computer Science Report, to appear in print and online 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.

The conference will take place the Kortowo Campus, which is the most beautiful Campus in Poland, located near the Kortowo Lake, one of the 2600 lakes in the Warmia and Mazury Voivodship.

- Submission deadline: August 4, 2019
- Notification of acceptance: August 18, 2019
- Final version due: August 31, 2019
- Registration: August 31, 2019
- Workshop: September 24-26, 2019
Conference web site:

EasyChair submission page:

With any questions please contact us at

Related Resources

CONCUR 2020   31st International Conference on Concurrency Theory
IPDPS 2021   35th IEEE International Parallel & Distributed Processing Symposium
ASPLOS 2021   Architectural Support for Programming Languages and Operating Systems
PSSV 2020   XI Workshop Program Semantics, Specification and Verification
PARMA-DITAM 2021   PARMA-DITAM: 12th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures & 10th Workshop on Design Tools and Architectures for Multi-Core
GECCO 2021   Genetic and Evolutionary Computation Conference
ESOP 2021   30th European Symposium on Programming
ECOOP 2021   Call for papers: 35th European Conference on Object-Oriented Programming
TFP 2021   22nd Symposium on Trends in Functional Programming