posted by user: walkmanyi || 6666 views || tracked by 12 users: [display]

CS&P 2011 : International Workshop on Concurrency, Specification and Programming


When Sep 28, 2011 - Sep 30, 2011
Where Pułtusk, Poland
Submission Deadline Jul 3, 2011
Notification Due Aug 1, 2011
Final Version Due Aug 21, 2011
Categories    computer science   multi-agent systems   concurrency   programming

Call For Papers

CS&P 2011

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

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

Related Resources

Federated Learning in IOT Cybersecurity 2021   PeerJ Computer Science - Federated Learning for Cybersecurity in Internet of Things
S&P 2022   IEEE Symposium on Security and Privacy (Third deadline)
IEEE COINS 2022   IEEE COINS 2022: Hybrid (3 days on-site | 2 days virtual)
RiE 2022   13th International Conference on Robotics in Education
IEEE COINS 2022   Internet of Things IoT | Artificial Intelligence | Machine Learning | Big Data | Blockchain | Edge & Cloud Computing | Security | Embedded Systems |
ACM--ICMLT--Ei and Scopus 2022   ACM--2022 7th International Conference on Machine Learning Technologies (ICMLT 2022)--Ei Compendex, Scopus
ECOOP 2022   European Conference on Object-Oriented Programming
CMCA 2022   11th International Conference on Control, Modelling, Computing and Applications
The Experience of Pain 2021   The Experience Of Pain. Epistemological, Hermeneutical And Ontological Aspects, Ed. By Luca Vanzago
Petri Nets 2022   43rd International Conference on Application and Theory of Petri Nets and Concurrency