Concurrency CS&P 2013SPECIfication
and Programming
International Workshop,
25-27 September 2013, Warsaw, Poland

CS&P 2013

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:

This list is not intended to be exclusive

Previous editions of CS&P:

  • CS&P 2012 - Berlin, Germany,
                      26-28 September 2012
  • CS&P 2011 - Pułtusk, Poland,
                      28-30 September 2011
  • CS&P 2010 - Landgasthaus Helenenau (near Berlin),Germany,
                       27-29 September 2010
  • CS&P 2009 - Kraków-Przegorzały, Poland,
                      28-30 September 2009