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

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

FacebookTwitterLinkedInGoogle

Link: http://csp2019.uwm.edu.pl/
 
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

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

Related Resources

PLACES 2020   12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
PLDI 2020   Programming Language Design and Implementation
CONCUR 2020   31st International Conference on Concurrency Theory
ABZ 2020   ABZ 2020 – 7th International Conference on Rigorous State Based Methods
PPoPP 2019   47th ACM SIGPLAN Symposium on Principles of Programming Languages
ICPEC 2020   1st International Computer Programming Education Conference
TFP 2020   Trends in Functional Programming
ICALP 2020   47th International Colloquium on Automata, Languages and Programming
SP-Fog-Edge 2019   Scientific Programming in the Fog and Edge Computing Era
EuroGP 2020   23rd European Conference on Genetic Programming