posted by user: walkmanyi || 7333 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

CPAIOR 2024   International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
Security 2025   Special Issue on Recent Advances in Security, Privacy, and Trust
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
CONCUR 2024   International Conference on Concurrency Theory
GreeNet Symposium - SGNC 2024   15th Symposium on Green Networking and Computing (SGNC 2024)
PETRINETS 2024   45th International Conference on Application and Theory of Petri Nets and Concurrency
CVIV 2024   2024 6th International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2024) -EI Compendex
EAIH 2024   Explainable AI for Health
Call For Papers Special Issue 2024   Smart Cities, innovating in the Transformation of Urban Environments