posted by system || 4405 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

OOPSLA 2020   Conference on Object-Oriented Programming Systems, Languages,and Applications
Cyber Incident 2020   IEEE International Conference on Cyber Incident Response, Coordination, Containment & Control
FCST 2020   8th International Conference on Foundations of Computer Science & Technology
MODELS 2020   Model Driven Engineering Languages and Systems
IJPLA 2020   International Journal of Programming Languages and Applications
COINE 2020   International Workshop on Coordination, Organizations, Institutions, Norms and Ethics for Governance of Multi-Agent Systems
ASAP 2020   31st IEEE International Conference on Application-specific Systems, Architectures and Processors
LCTES 2020   The 21st ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems
SBLP 2020   24th Brazilian Symposium on Programming Languages
COMPUTATION TOOLS 2020   The Eleventh International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking