CS&P 2011 : International Workshop on Concurrency, Specification and Programming
Call For Papers
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 2011 the CS&P workshop is organised in co-operation with the Białystok University of Technology.
Topics of the workshop include:
Mathematical models of concurrency
Theory of programming
Model checking and testing
Knowledge discovery and data mining
This list is not intended to be exclusive
Previous 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
CS&P 2009 - Kraków-Przegorzały, Poland,
28-30 September 2009
CS&P 2010 - Landgasthaus Helenenau (near Berlin),
Germany, 27-29 September 2010
CS&P 2011 Call for Contributions
The 2011 International Workshop on Concurrency, Specification, and Programming welcomes contributions. Authors are invited to submit papers not exceeding 12 pages in Springer LNCS format, electronically (PDF) using the EasyChair system of CS&P 2011.
For more information on paper submission, review process, and deadlines please refer to the rest of CS&P 2011 Web page or to the Call for Papers in PDF.
Instruction for authors
Although the initial submission is not very formal, we encourage the authors to use LaTeX system and adopt the formatting style of the Springer LNCS series. The initial submission shall consist of a PDF file only. Both regular papers and brief summaries (extended abstracts) are solicited. Regular contributions should not exceed 12 pages.
Upon acceptance the authors will be requested to prepare the final version according to formatting instructions and to submit complete sources of the paper using EasyChair.
The following dates and deadlines are preliminary. They may be changed slightly, except the CSP&P 2011 dates.
Preliminary version Sunday, July 3, 2011
Notification of acceptance Monday, August 1, 2011
Final version Sunday, August 21, 2011
CS&P 2011 - 28-30 September 2011