Aims of WG6.1

Scope of WG6.1

History of WG6.1

WG6.1 members

Running conferences

Official publisher

WG6.1 is one of the working groups of IFIP Technical Committee 6 (TC6).

• To identify and study questions associated with the development of distributed systems and the communications and middleware protocols that support distributed applications.

• To support convergence of information processing systems, communication and networking technologies into a distributed infrastructure that is open for application to all members of the global society.

• To investigate rigorous methods applicable to the specification, verification, implementation and testing of distributed systems and applications.

• To support and promote the systematic use of these methods, and make them amenable to the practitioners, hence increasing awareness of formal methods in the distributed networking and computer networking areas at large.

• To bring together researchers, developers, and practitioners working in these areas to discuss recent innovative results and future directions by promoting and supporting the organization of meetings, workshops and conferences.

• To disseminate information and publications, foster an active participation of industry and encourage the transfer of knowledge between academia and industry.

• To encourage young researchers to enter this field.

This WG provides a framework for the launching and the continued organization of activities in areas that include:

• Formal Description Techniques: including rigorous models, methods and tools applicable to the design, specification, validation, verification, implementation, easy prototyping, efficiency evaluation, and testing of communicating systems and object-based distributed systems.

• Open Distributed Systems: including the design, implementation, deployment and evaluation of distributed systems platforms and architectures for networked environments and distributed applications.

• Quality of Service: including architectures, services, multimedia, operating systems and middleware in a networked or distributed environment.

• Elie Najm, FR (chairman)
• John Derrick, GB (vice-chairman)
• Gordon Blair, GB
• Gregor v. Bochmann, CA
• Tommaso Bolognesi, IT
• Howard Bowman, GB
• Jan Bredereke, DE
• Ed Brinksma, NL
• Stan Budkowski, FR
• Ana Rosa Cavalli, FR
• Vinton Cerf, US (First chairman, 1974-1981, honorary member)
• Frank Eliassen, NO
• Markus Endler, BR
• David de Frutos, ES
• Hans-Arno Jacobsen, CA

• Jan de Meer, DE
• Michel Diaz, FR
• Sarolta Dibuz, HU
• Alessandro Fantechi, IT
• Kurt Geihs, DE
• Roberto Gorrieri, IT
• Reinhard Gotzhein, DE
• Roland Groz, FR
• Rachid Guerraoui, CH
• Teruo Higashino, JP
• Dieter Hogrefe, DE
• Gerard Holzmann, US
• Peter Honeyman, US
• Myungchul Kim, KR
• Pieter Kritzinger, ZA
• Hartmut König, DE
• Lea Kutvonen, FI
• Diego Latella, IT
• Guy Leduc, BE (former chairman, 1998-2004)
• David Lee, US
• Stefan Leue, DE
• Luigi Logrippo, CA
• Alexandre Petrenko, CA
• Kerry Raymond, AU
• Harry Rudin, CH (former chairman, 1982-1998, honorary member)
• Jacob Slonim, CA
• Joe Sventek, GB
• Carolyn Talcott, US
• Katalin Tarnay, HU
• Richard Tenney, US
• Ken Turner, GB
• Heike Wehrheim, DE
• Nina Yevtushenko, RU
• Krzysztof Zielinski, PL
• Gianluigi Zavattaro, IT

WG6.1 sponsors or co-sponsors six conferences regrouped in 3 events:

• ICTSS
  http://ictss2011.lri.fr/

• Middleware (co-sponsored by ACM and Usenix)
  http://2011.middleware-conference.org/

• DisCoTec which regroups Coordination, DAIS and FMOODS-FORTE
  http://discotec.ru.is/   http://discotec.ict.kth.se/

IFIP has an official publisher which is Springer Science + Business Media.

IFIP holds the copyrights and proceedings can be published either as part of the primary IFIP series, or as part of the Lecture Notes in Computer Science (LNCS) series. For continuity reasons the latter is preferred in WG6.1. All such IFIP LNCS proceedings will carry the IFIP logo on the front cover and on the spine in order to distinguish them from other volumes published on the LNCS print/electronic platform. Like any other LNCS proposal, IFIP proposals intended for publication in LNCS have to pass an additional round of evaluation for acceptance for publication in the series by the LNCS series editors. The workflow for publication of IFIP LNCS Proceedings will be: no bulk purchases are imposed; the workshop or conference organizers will receive 50 complimentary copies of their volume; discounts for conference bulks will be 40% off the list price. The list prices of the IFIP LNCS depend on the number of pages and are subject to future price increases at the same average percentage as standard LNCS proceedings.

The LNCS series editor is Alfred Hofmann, and you can contact him (for contracts, manuscripts, forms, etc.) at the following address:

Alfred Hofmann
Springer
Tiergartenstrasse 17
69121 Heidelberg
Germany
Tel: +49 (0) 6621 / 487 85 99
Fax: +49 (0) 6621 / 487 85 88
e-mail: alfred.hofmann@springer-sbm.com
www: www.springeronline.com/lncs