In memory of
Helena Rasiowa
on her 100th anniversary
of birth
SPECIAL SESSION

Concurrency Specification and Programming 2017

International Workshop, 25-27 September 2017, Warsaw, Poland

In memory
of
Helena Rasiowa

CS&P 2017

Special session - memorial of Helena Rasiowa

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.

Professor Helena Rasiowa initiated the meetings of researchers from Humboldt University and University of Warsaw more than 40 years ago. On her 100 birth anniversary, the CS&P 2017 workshop will be enriched by invited lectures and commemorative talks devoted to Professor Helena Rasiowa research and life.

CS&P’2017 is organised in co-operation with 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

 

Important dates:

  • Submission of abstracts and full papers: August 6, 2017
  • Notification of acceptance: August 27, 2017
  • Final version due: September 10, 2017
  • Registration: August 31, 2017
  • Workshop: September 25 - 27, 2017

 

Previous editions of CS&P:

  • CS&P 2016 - Rostock, Germany,
    28-30 September 2016
  • CS&P 2015 - Rzeszów, Poland,
    28-30 September 2015
  • CS&P 2014 - Chemnitz, Germany
    29 September – 1 October 2014
  • CS&P 2013 - Warszawa, Poland,
    25-27 September 2013
  • 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