posted by user: mpstew || 3234 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 2018   ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems
COLT 2018   Computational Learning Theory
Cyber Incident 2018   IEEE International Conference on Cyber Incident Response, Coordination, Containment & Control
COLT 2018   Conference on Learning Theory
ASPLOS 2018   23rd International Conference on Architectural Support for Programming Languages and Operating Systems
ESA 2018   European Symposium on Algorithms
LCTES 2018   Languages, Compilers, and Tools for Embedded Systems
PDP 2018   The 26th Euromicro International Conference on Parallel, Distributed and Network-Based Processing
SEFM 2018   The 16th International Conference on Software Engineering and Formal Methods
CST 2018   5th International Conference on Foundations of Computer Science & Technology