Scope

The Concurrency, Specification, and Programming (CS&P) workshop is one of a series of seminars organized every even year by Humboldt University of Berlin and every odd year by the University of Warsaw. This year’s edition of the conference is co-organized by the University of Warmia and Mazury, the University of Warsaw and Vistula University. 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 the organizing institution, while authors of selected contributions are later invited to submit an extended paper to the Fundamenta Informaticae journal (http://fi.mimuw.edu.pl).

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