Formal Techniques for Distributed Systems: Joint 11th Ifip Wg 6.1 International Conference Fmoods 2009 and 29th Ifip Wg 6.1 International Conference F

This years edition of the international federated conferences on Distributed Computing Techniques took place in Lisbon during June 9-11. It was hosted by the Faculty of Sciences of the University of Lisbon and formally organized by the Institute of Telecommunications, the research center I am associated with. The DisCoTecconferences jointly coverthe completespectrum ofdistributed computing subjects ranging from theoretical foundations to formal speci?cation techniques to practical considerations. The event this year comprised the 11th InternationalConferenceonCoordinationModelsandLanguages(COORDINA- TION), the 9th IFIP International Conference on Distributed Applications and InteroperableSystems(DAIS), andtheIFIPInternationalConferenceonFormal TechniquesforDistributedSystems(FMOODS/FORTE).COORDINATION- cused on languages, models, and architectures for concurrent and distributed software; DAIS on methods, techniques, and system infrastructures needed to design, build, operate, evaluate, and manage modern distributed applications in any kind of application environment and scenario; and FMOODS (the 11th F- mal Methods for Open Object-Based Distributed Systems) jointed forces with FORTE (the 29th Formal Techniques for Networked and Distributed Systems) creating a forum for fundamental research on theory and applications of d- tributed systems.