Workshop on
Concurrency, Specification, and Programming
CS&P 2009
 Kraków-Przegorzały, Poland, 28-30 September 2009

  • About CS&P 2009
  • Organising Committee
  • Proceedings
  • Programme
  • Photo Gallery
  • Venue
  • Contact

UW logo

HU logo

CS&P 2009

Submission deadline extended till July 15

The Concurrency, Specification, and Programming 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.

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

This list is not intended to be exclusive

Previous two editions of CS&P:

  • CS&P 2007 - Łagów, Poland, 27-29 September 2007
  • CS&P 2008 - Gross Vaeter (near Berlin), Germany,
                         29. September - 1. October 2008