IFIP TC6 Working Group 6.1
	Architectures and Protocols for Distributed Systems

IFIP WG description Aims of WG6.1 Scope of WG6.1 WG6.1 members Running conferences Forthcoming conferences Mailing lists Event organisers TC6 handbook Official publisher

WG6.1 is one of the working groups of IFIP Technical Committee (TC) 6. Aims of WG6.1 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. Scope of WG6.1 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. WG6.1 members 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 Running conferences WG6.1 sponsors or co-sponsors six events. There are 3 (flagship) conferences (C) and 3 working conferences (WC). These events are classified by areas: Area: Formal Description Techniques FORTE (formerly PSTV/FORTE) (C) TESTCOM (formerly IWTCS) (C) FMOODS (WC) Area: Open Distributed processing Middleware (C) DAIS (WC) Area: Quality of Service IWQoS (WC) Forthcoming conferences IWQoS 2005, 21-23 June 2005, Passau, Germany TPC co-chairs: Nina Bhatti (HP Labs, USA) and Hermann de Meer (Univ. Passau, Germany) TestCom 2006, 16-18th May 2006, New York, USA Chair: Ümit Uyar, City U of New York, USA FMOODS 2006 / DAIS 2006, 14-16 June 2006, Bologna, Italy General chair: Gianluigi Zavattaro (U. of Bologna, IT) FORTE 2006, September 26-29 2006, Paris, France Chair: Jean-François Peyre and Véronique Viguié Donzeau-Gouge (CNAM, Paris, France) Middleware 2006, 29 November, 1 December 2005, Melbourne, Australia Chair: Shanika Karunasekera (University of Melbourne, Australia) Mailing lists WG6.1 members, and only them, can use the following list to co-operate on any WG6.1 issue:   ifip-wg6-1@mailman.enst.fr   People interested in receiving WG6.1 related information, such as conference announcements and call for papers, are invited to register to the list ifip-6-1-distr@rmailman.enst.fr, by sending a blank email to ifip-6-1-distr-subscribe@mailman.enst.fr. A confirmation message will be sent to the subscriber. The subscription will be made effective by replying to this last email. More information about the list management and contacts can be obtained by sending a blank email to ifip-6-1-distr-help@mailman.enst.fr. Guide for Event Organisers http://www.ifip.tu-graz.ac.at/TC6/organizer_guidelines.htm Mrs. Dorothy Hayden (dh@ifip.or.at) will also act as an event facilitator. She will help organizers to fill in the IFIP forms, to request loans, to pay fees, etc. Special forms are available to request sponsorship, to report on an event, etc. TC6 handbook The TC6 handbook contains many useful information about the events categories (Open conference, working conference, workshop), the sponsorship and financial rules, etc. Official publisher 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