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

SI PMABD 2023   Special Issue on Programming Models and Algorithms for Big Data
EI-CFAIS 2022   2022 International Conference on Frontiers of Artificial Intelligence and Statistics (CFAIS 2022)
EXPRESS/SOS 2022   Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics
ACM-Ei/Scopus-ITNLP 2022   2022 2nd International Conference on Information Technology and Natural Language Processing (ITNLP 2022) -EI Compendex
PROLE 2022   XXI Jornadas sobre Programación y Lenguajes
IJPLA 2022   International Journal of Programming Languages and Applications
ECCSIT 2022   2022 European Conference on Computer Science and Information Technology (ECCSIT 2022)
RAMFP 2022   TAA (OA) - SI: Recent Advances on Metric Fixed Point Theory 2022
IJITCA 2022   International Journal of Information Technology, Control and Automation
CONCUR 2022   International Conference on Concurrency Theory