30th International Symposium on Concurrency, Specification and Programming (CS&P'22)

Sofia, Bulgaria, 4 - 7 September, 2022

Committee

The symposium on Concurrency, Specification, and Programming is the series of meeting formerly organized every even year by Humboldt University of Berlin and every odd year by Warsaw University. It deals with formal specification of concurrent and parallel systems, mathematical models for describing such systems, and programming and verification concepts for their implementation. The symposium has a tradition dating back to the mid-seventies; since 1993 it was named CS&P. During the past 30 years, CS&P has become an important forum for researchers from European and Asian countries.

Topics

The list of topics includes, but is 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

Paper submission

  • Authors should submit draft papers (as Postscript, PDF or MSWord file).
  • The total length of a paper should not exceed 10 pages IEEE style (including tables, figures and references). IEEE style templates are available here.
  • Papers will be refereed and accepted on the basis of their scientific merit and relevance to the workshop.
  • Preprints containing accepted papers will be published on a USB memory stick provided to the FedCSIS participants.
  • Only papers presented at the conference will be published in Conference Proceedings and submitted for inclusion in the IEEE Xplore® database.
  • Conference proceedings will be published in a volume with ISBN, ISSN and DOI numbers and posted at the conference WWW site.
  • Conference proceedings will be submitted for indexation according to information here.
  • Extended versions of selected papers presented during the conference will be published as a volume in the Studies in Computational Intelligence Springer series.
  • Organizers reserve right to move accepted papers between FedCSIS events.

Important dates

Technical sessions proposal submission: November 21, 2021
Paper submission (sharp / no extension): May 10, 2022
Position paper submission: June 7, 2022
Author notification: July 7, 2022
Registration and early payment will be open on: July 13, 2022
Final paper submission, registration: July 24, 2022
Discounted payment: July 26, 2022
Conference date: September 4-7, 2022

Strategic Partner

QED Software