[TYPES/announce] Call for Participation: Coordination'09 - Lisbon, 9-11 June 2009

Herbert Wiklicky herbert at doc.ic.ac.uk
Wed Apr 29 07:43:53 EDT 2009



                              Call for Participation

      11th international conference on Coordination Models and Languages

                               Coordination 2009

Languages, Models, and Architectures for Concurrent and Distributed Software
          http://discotec09.di.fc.ul.pt/index.php?title=Coordination

                              Part of DisCoTec'09
  4th International federated conferences on Distributed Computing Techniques
        9-12 June, 2009, Lisbon, Portugal, http://discotec09.di.fc.ul.pt


The 11th international conference on Coordination Models and Languages
(COORDINATION) is part of the IFIP federated event on Distributed Computing
Techniques (DisCoTec), together with the 9th IFIP international conference on
Distributed Applications and Interoperable Systems (DAIS) and the IFIP
international conference on Formal Techniques for Distributed Systems
(FMOODS/FORTE). The DisCoTec conferences jointly cover the complete spectrum
of distributed computing subjects ranging from theoretical foundations to
formal specification techniques to practical considerations. The event will be
hosted by the Faculty of Sciences of the University of Lisbon.  Scope

Modern software lives in a concurrent world. The ubiquity of the Internet
allows distributed software components to be composed into complex networked
systems. At the other end of the spectrum, multicore processors are now the
norm. Hence applications are bound to be inherently concurrent and
communication centered.

Coordination 2009 seeks high-quality papers on programming languages, models,
and architectures that address the challenge of building robust distributed
and concurrent applications. 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, runtime systems, and related verification and analysis techniques.

Early Registration Deadline: 17 May 2009

Further Information:
http://discotec09.di.fc.ul.pt/index.php?title=Coordination

Invited Speaker: Manuel Serrano, INRIA, France
http://discotec09.di.fc.ul.pt/index.php?title=Coordination/Invited_Speaker

Accepted Papers: 
http://discotec09.di.fc.ul.pt/index.php?title=Coordination/Papers

Registration:
https://pco.abreu.pt/CLIENTES/abreu/formularios/form_4463204089.php


More information about the Types-announce mailing list