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.

Important dates

  • Abstract submission: February 11, 2013
  • Paper submission: February 18, 2013
  • Notification of acceptance: March 18, 2013
  • Camera-ready version: March 25, 2013
  • Early registrationMay 6, 2013
  • Conference: June 3-5 2013

Keynote speaker
Gian Pietro Picco. Of Tuples, Towers, Tunnels, and Wireless Sensor Networks

Flyer
COORDINATION 2013 flyer

Venue
COORDINATION 2013 takes place on 3-5 June 2013 at Università degli Studi di Firenze (Italy), as part of the 8th International Federated Conference on Distributed Computing Techniques (DisCoTec 2013). More venue information can be found on the DisCoTec 2013 website.

DisCoTec 2013 logo      Università degli Studi di Firenze      IFIP logo

EATCS logo