CSP 2015



The Concurrency, Specification, and Programming (CSP) workshop is one of the series of seminars organised every even year by the Humboldt University of Berlin and every odd year by the University of Warsaw. According to the tradition dating back to the 1970s (since 1993 as CSP), the workshop has an informal character. Therefore, submissions of not only full papers (not exceeding 12 pages) but also extended abstracts are welcomed. 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 2015 the CSP workshop is organised by the University of Rzeszow in co-operation with the University of Warsaw and the Vistula University in Warsaw, 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
  • Applications

This list is not intended to be exclusive.

Previous editions of CSP:

  • CSP 2014 – 29 September - 1 October 2014, Chemnitz, Germany
  • CSP 2013 – 25-27 September 2013, Warsaw, Poland
  • CSP 2012 – 26-28 September 2012, Berlin, Germany
  • CSP 2011 – 28-30 September 2011, Pułtusk, Poland
  • CSP 2010 – 27-29 September 2010, Helenenau (near Berlin), Germany
  • CSP 2009 – 28-30 September 2009, Kraków-Przegorzały, Poland
  • CSP 2008 – 28 September - 1 October 2008, Gross Vaeter (near Berlin), Germany
  • CSP 2007 – 27-29 September 2007, Łagów, Poland
  • CSP 2006 – 27-29 September 2006, Wandlitz (near Berlin), Germany
  • CSP 2005 – 28-30 September 2005, Ruciane-Nida, Poland
  • CSP 2004 – 24-26 September 2004, Caputh (near Potsdam), Germany
  • CSP 2003 – 25-27 September 2003, Czarna (near Ustrzyki Górne), Poland
  • CSP 2002 – 3-5 October 2002, Berlin, Germany
  • CSP 2001 – 3-5 October 2001, Warsaw, Poland
  • CSP 2000 – 9-11 October 2000, Berlin, Germany
  • CSP 1999 – 28-30 September 1999, Warsaw, Poland
  • CSP 1998 – September 1998, Berlin, Germany
  • CSP 1997 – September 1997, Warsaw, Poland
  • CSP 1996 – September 1996, Berlin, Germany
  • CSP 1995 – September 1995, Warsaw, Poland
  • CSP 1994 – September 1994, Berlin, Germany
  • CSP 1993 – September 1993, Warsaw, Poland
  • CSP 1992 – September 1992, Berlin, Germany