[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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