The Concurrency, Specification, and Programming (CS&P) workshop is one of a series of seminars organised every even year by Humboldt University of Berlin and every odd year by the University of Warsaw. According to a tradition dating back to the 1970s (since 1993 as CS&P), the workshop has an informal character. Therefore, submissions of not only full papers (not exceeding 12 pages) but also extended abstracts are welcome. The workshop usually spans three days devoted to presentations and discussion. The materials (proceedings) of the workshop are published by organising institution, while authors of selected contributions are later invited to submit an extended paper to the Fundamenta Informaticae journal.
In 2013 the CS&P workshop is organised in co-operation with the Vistula University in Warsaw and Białystok University of Technology, and supported by the Warsaw Centre of Mathematics and Computer Science.
Topics of the workshop include:
- Mathematical models of concurrency
- Specification languages
- Theory of programming
- Parallel algorithms
- Model checking and testing
- Multi-agent systems
- Rough sets
- Object-oriented approaches
- Knowledge management
- Knowledge discovery and data mining
- Soft computing
This list is not intended to be