15th International Conference on Coordination Models and Languages

Florence, Italy, 03/06/2013 – 06/06/2013.

Description

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.

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.

Topics of Interest

  • Programming abstractions and languages
  • Coordination models and paradigms
  • Software management and software engineering
  • Specification and verification
  • Foundations and types
  • Software for decentralized technologies
  • Multicore programming
  • Adaptive and autonomic systems
  • Coordination for humanity

Articles & Issues  

Stefano Mariani, Andrea Omicini Tuple-based Coordination of Stochastic Systems with Uniform Primitives: Formal Semantics & Expressive Power 15th International Conference on Coordination Models and Languages (Coordination 2013), June 2013
Stefano Mariani, Andrea Omicini Probabilistic Modular Embedding for Stochastic Coordinated Systems Coordination Models and Languages, Lecture Notes in Computer Science 7890, June 2013

Talks  

Tags:
    

Event

15th International Conference on Coordination Models and Languages

— acronym

COORDINATION 2013

— type

conference  

— series

Coordination (2013)

— where

Florence, Italy

— when

03/06/2013–06/06/2013

Dates

— abstract submission

11/02/2013

— paper submission

21/02/2013

— notification

18/03/2013

— camera-ready

25/03/2013

URLs

home page
submission

APICe

— PC member

Mirko Viroli

— lecturer/speaker

Stefano Mariani

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY