CALL FOR PAPERS: THE FIRST ANNOUCEMENT

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

PUBLICATION:
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.

VENUE:
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.

IMPORTANT DATES:
- 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 AND CONTACT
Conference web site:
http://csp2019.uwm.edu.pl

EasyChair submission page:
https://easychair.org/conferences/?conf=csp2019

With any questions please contact us at
csp2019@uwm.edu.pl