CS&P'18: Concurrency, Specification and Programming 2018 Humboldt University Berlin-Adlershof, Germany, September 24-26, 2018 |
Conference website | https://www2.informatik.hu-berlin.de/csp2018/ |
Submission link | https://easychair.org/conferences/?conf=csp18 |
Abstract registration deadline | June 30, 2018 |
Submission deadline | July 13, 2018 |
The 27th workshop on Concurrency, Specification, and Programming (CS&P'18) deals with formal specification of concurrent and parallel systems, mathematical models for describing such systems, and programming and verification concepts for their implementation. The workshop is one of a series of events organised every even year by Humboldt University of Berlin and every odd year by Warsaw University. Dating back to the mid-seventies, CS&P has become an important forum for researchers from European and Asian countries.
CS&P'18 spans three days devoted to presentations and discussion of new ideas. It is open for registered participants only. CS&P is organised on a self-cost basis. Registration covers coffee breaks and soft drinks during the workshop, three lunches, and the excursion and conference dinner. Accommodation and travel are to be organized individually by the participants.
Submission Guidelines
All papers must be original and not simultaneously submitted to another journal or conference. As usual, we intend to retain the not very formal character of the meeting. Therefore, the following paper categories are welcome:
- Full papers (not exceeding 12 pages)
- Extended Abstracts (not less than 2 pages)
List of Topics
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
Program Committee (tentative)
- Holger Schlingloff (Germany) (chair)
- Ludwik Czaja (Poland)
- Soma Dutta (India)
- Anna Gomolinska (Poland)
- Wojciech Jamroga (Poland)
- Magdalena Kacprzak(Poland)
- Hung Son Nguyen (Poland)
- Wojciech Penczek (Poland)
- Lech Polkowski (Poland)
- Edip Senyurek (Turkey)
- Andrzej Skowron (Poland)
- Zbigniew Suraj (Poland)
- Marcin Szczuka (Poland)
- Matthias Werner (Germany)
- Karsten Wolf (Germany)
- Dmity Zaitsev (Ukraine)
Publication
Accepted papers for CS&P 2018 will be published in the workshop proceedings, to appear 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 be held in Berlin-Adlershof, the science city which is one of the most successful high-technology locations in Germany. Adlershof, founded in 1754, is the birthplace of German aviation, and a well-renowned site for research, film and television. Today, some 1000 companies, six departments of Humboldt University, and more than ten non-university research institutes are located at Berlin-Brandenburg’s top science, business and media hub.
Contact
More information on CS&P'18 can be found at https://www2.informatik.hu-berlin.de/csp2018.
All questions about submissions should be emailed to csp2018@informatik.hu-berlin.de.