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

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

FacebookTwitterLinkedInGoogle

Link: http://csp2011.mimuw.edu.pl/
 
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
Applications

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.

https://www.easychair.org/conferences/?conf=csp2011

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.

Calendar

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

CONCUR 2020   31st International Conference on Concurrency Theory
ACM--NLPIR--Ei Compendex and Scopus 2020   ACM--2020 4th International Conference on Natural Language Processing and Information Retrieval (NLPIR 2020)--Scopus, Ei Compendex
OPODIS 2020   CONFERENCE ON PRINCIPLES OF DISTRIBUTED SYSTEMS
RiE 2021   12th International Conference on Robotics in Education
IPDPS 2021   35th IEEE International Parallel & Distributed Processing Symposium
AIP Journal - Indexed in Scopus 2021   Journal of Social and Business Informatics - Acta Informatica Pragensia
Fintech 2020   Sustainaility (Q2): Fintech: Recent Advancements in Modern Techniques, Methods and Real-World Solutions
FCSIT 2020   2020 2nd Euro-Asia Conference on Frontiers of Computer Science and Information Technology (FCSIT 2020)
PSSV 2020   XI Workshop Program Semantics, Specification and Verification
ITE 2021   2nd International Conference on Integrating Technology in Education