posted by system || 3146 views || tracked by 11 users: [display]

COORDINATION 2010 : 12th International Conference on Coordination Models and Languages

FacebookTwitterLinkedInGoogle


Conference Series : International Conference on Coordination Models and Languages
 
Link: http://discotec.project.cwi.nl/index.php/Coordination:Main
 
When Jun 7, 2010 - Jun 9, 2010
Where Amsterdam, Netherlands
Abstract Registration Due Feb 8, 2010
Submission Deadline Feb 12, 2010
Notification Due Mar 19, 2010
Final Version Due Apr 2, 2010
Categories    parallel processing   programming languages
 

Call For Papers

The 12th International Conference on Coordination Models and Languages (COORDINATION) is part of the IFIP federated event on Distributed Computing Techniques (DisCoTec), together with the 10th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS) and the IFIP International Conference on Formal Techniques for Distributed Systems (FMOODS & FORTE). The DisCoTec conferences jointly cover the complete spectrum of distributed computing subjects ranging from theoretical foundations to formal specification techniques to practical considerations. The event will be hosted by the Centrum Wiskunde & Informatica (CWI) in Amsterdam.
Scope

Modern software lives in a concurrent world. The ubiquity of the Internet allows distributed software components to be composed into complex networked systems. At the other end of the spectrum, multicore processors are now the norm. Hence applications are bound to be inherently concurrent and communication centric.

Coordination 2010 seeks high-quality papers on programming languages and coordination models, middleware, services, and algorithms that separate behavior from interaction, therefore increasing modularity, simplifying reasoning, and ultimately enhancing software development. The conference focuses on the design and implementation of models that allow compositional construction of large-scale concurrent and distributed systems, including both practical and foundational models, run-time systems, and related verification and analysis techniques.

Past incarnations of Coordination have emphasized foundations. However, given the increasing importance of concurrency in almost every software domain, the organizers of Coordination 2010 are keen to provide a strong forum for high-quality papers that address practical aspects of concurrent programming models; for example, application of concurrency to novel domains, comparisons of alternative programming models on important problems, or domain-specific languages.

See the Call for Papers and the information about the Invited Speaker.
Registration

Details to be provided.
Proceedings

The Coordination 2010 proceedings will be published by Springer-Verlag in its Lecture Notes in Computer Science (LNCS) Series.

See the list of Previous Conferences for a list of proceedings of previous COORDINATION conferences.

Important Dates

The 12th International Conference on Coordination Models and Languages (COORDINATION), the 10th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), and the IFIP International Conference on Formal Techniques for Distributed Systems (FMOODS & FORTE) share the same deadlines.

Abstract submission: February 8, 2010
Paper submission: February, 12 2010
Author notification: March 19, 2010
Camera-ready version: April 2, 2010
Early registration: May 17, 2010 (May 27, 2010 for students applying to grants)
Online registration: June 4, 2010
Conferences: June 7-9, 2010
Co-located events: June 10, 2010

Related Resources

COORDINATION 2018   20th International Conference on Coordination Models and Languages
Euro-Par 2018   European Conference on Parallel Processing
FOCLASA 2018   16th International Workshop on Foundations of Coordination Languages and Self-Adaptative Systems
ICTAC 2018   15th International Colloquium on Theoretical Aspects of Computing
IJMVSC 2018   The International Journal of Managing Value and Supply Chains
CGDEIJ 2018   Computer Game Development and Education
MODELS 2018   ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems
SEFM 2018   The 16th International Conference on Software Engineering and Formal Methods
LCTES 2018   Languages, Compilers, and Tools for Embedded Systems
IJESA 2018   International Journal of Embedded Systems and Applications