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

CPAIOR 2024   International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research
SOCO 2024   19th International Conference on Soft Computing Models in Industrial and Environmental Applications
CONCUR 2024   International Conference on Concurrency Theory
PETRINETS 2024   45th International Conference on Application and Theory of Petri Nets and Concurrency
ASPLOS 2025   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems
OOPSLA 2024   The Object-Oriented Programming, Systems, Languages, and Applications 2024 (R2)
CP 2024   Principles and Practice of Constraint Programming
OL2A 2024   4th International Conference on Optimization, Learning Algorithms and Applications
FDL 2024   Forum on specification and Design Languages
ASPLOS 2025   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems