posted by user: mpstew || 6499 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

GlobalNLP 2025 2025   Beyond English: Natural Language Processing for All Languages in an Era of Large Language Models
Ei/Scopus-CCNML 2025   2025 5th International Conference on Communications, Networking and Machine Learning (CCNML 2025)
ASPLOS 2026   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems - Summer
Ei/Scopus-SGGEA 2025   2025 2nd Asia Conference on Smart Grid, Green Energy and Applications (SGGEA 2025)
AIMS 2025   2025 Artificial intelligence Models and Systems Symposium
IEEE-ACAI 2025   2025 IEEE 8th International Conference on Algorithms, Computing and Artificial Intelligence (ACAI 2025)
GLECC 2025   GLECC 2025 - International Conference on Globalisation in Languages, Education, Culture, and Communication (Final CfP)
Ei/Scopus-AI2A 2025   2025 5th International Conference on Artificial Intelligence, Automation and Algorithms (AI2A 2025)
LLM4Sec 2025   Workshop on the use of Large Language Models for Cybersecurity
BPOD 2025   The Eighth IEEE International Workshop on Benchmarking, Performance Tuning and Optimization for Big Data Analytics and Big Models