posted by user: mpstew || 5167 views || tracked by 10 users: [display]

COORDINATION 2013 : 15th International Conference on Coordination Models and Languages

FacebookTwitterLinkedInGoogle


Conference Series : International Conference on Coordination Models and Languages
 
Link: http://coordination.discotec.org/
 
When Jun 3, 2013 - Jun 5, 2013
Where Firenze, Italy
Abstract Registration Due Feb 4, 2013
Submission Deadline Feb 11, 2013
Notification Due Mar 18, 2013
Final Version Due Mar 25, 2013
Categories    algorithms   services   middleware   programming languages
 

Call For Papers

Coordination 2013 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.
(p)
Past incarnations of Coordination have emphasized foundations. However, given the increasing importance of concurrency in almost every software domain, the organizers of Coordination 2013 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.

Related Resources

MODELS 2022   MODELS 2022 : ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems
IJPLA 2022   International Journal of Programming Languages and Applications
COORDINATION 2022   24th International Conference on Coordination Models and Languages
IOP, EI, Scopus-EMECS 2022   2022 International Conference on Electronics, Mechanical Engineering and Computer Science (EMECS 2022)-EI Compendex
SEFM 2022   20th International Conference on Software Engineering and Formal Methods
COINE 2022   International Workshop on Coordination, Organizations, Institutions, Norms and Ethics for Governance of Multi-Agent Systems (COINE)
CoMinDS 2022   Workshop on Collaborative Mining for Distributed Systems
ICCSEA 2022   12th International Conference on Computer Science, Engineering and Applications
MEMOCODE 2022   20th ACM/IEEE International Symposium on Formal Methods and Models for System Design
MLDS 2022   3rd International Conference on Machine Learning Techniques and Data Science