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

  • 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.

Recordings

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