posted by organizer: piotrartiemjew || 880 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

ICE 2020   13th Interaction and Concurrency Experience
CONCUR 2020   31st International Conference on Concurrency Theory
ICLP 2020   The 36th International Conference on Logic Programming
PSSV 2020   XI Workshop Program Semantics, Specification and Verification
DisCoTec 2020   International Federated Conference on Distributed Computing Techniques
CP 2020   Twenty-Sixth Conference on Principles and Practice of Constraint Programming
EXPRESS/SOS 2020   Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics
LCPC 2020   Languages and Compilers for Parallel Computing
SPM 2020   7th International Conference on Signal, Image Processing and Multimedia
COMPUTATION TOOLS 2020   The Eleventh International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking