April 2005 - ifip-tc6 - lists.rwth-aachen.de

Fwd: IFIP Newsletter
by Otto Spaniol 13 Apr '05

13 Apr '05

Deare all, here is an information about the new format of IFIP newsletter. Comments are welcome. Best regards Otto ---------------------------------------------------- Dear IFIP members, May I introduce to you the first issue of the reactivated IFIP newsletter in electronic format: "IFIP News". Basically it should appear at least quarterly. "IFIP News" is only available on our web site at: http://www.ifip.or.at/newsletters/newsl.html or following the path: www.ifip.or.at <http://www.ifip.or.at/> ==> click "Newsletter" on the right side. The news are stored in PDF-format. It is not intended to create a printed version. Please have a look on it and send your comments directly to me: eduard.dundler(a)ifip.or.at . PS: Due to technical problems there is the disadvantage that the links are not "clickable". Best regards Eduard Dundler =+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+= Eduard Dundler Head of IFIP Secretariat International Federation for Information Processing Hofstrasse3 , A-2361 Laxenburg, Austria Tel.: +43 (0) 2236 73 616 Fax: +43 (0) 2236 73 616 9 e-mail: eduard.dundler(a)ifip.or.at URL: http://www.ifip.org <http://www.ifip.org/> =+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+= ----------------- Ende Weiterleitung -----------------

2 1

[IEEE Network] CFP Special Issue on Multimedia over Broadband Wireless Networks - Deadline June 10th
by Marco Conti 12 Apr '05

12 Apr '05

We apologize in advance if you receive multiple copies of this CFP. ---------------------------------------------------------------------- CALL FOR PAPERS IEEE Network Magazine Special Issue on: Multimedia over Broadband Wireless Networks http://www.comsoc.org/pubs/net/ntwrk/cfpnetwork2006.htm **** Submission Deadline --- June 10, 2005 **** ---------------------------------------------------------------------- Today, the wireless Internet provides access primarily to Web-based content and services. However, the emergence and adoption of broadband wireless access standards, such as IEEE 802.16, 802.16a and 802.11a/g, offers new possibilities for wireless delivery of rich multimedia content and services, like video mail, video streaming, audio conferencing, interactive games, conversational navigation services, and future immersive communications in virtual environments. Advances in technology are enabling a world of converged wireless and mobile communications, where users access a variety of media formats using a single device. Some of these novel networking protocols and technologies include IEEE 802.11, 802.15, 802.16, UWB, Mobile IP and its variants, IP paging, wireless IP QoS and SIP. Similarly, newer multimedia standards such as H.264/MPEG-4 AVC provide significant improvements in compression, and specifications such as 3GPP Version 6 provide the ability to adapt the multimedia delivery for wireless networks with varying transmission characteristics and mobile devices with different capabilities. The goal of this special issue is to present a concise reference of state-of-the-art efforts in delivering multimedia over emerging packet-based broadband wireless networks. Specifically, the special issue is intended to present tutorials, survey and original research articles (in a tutorial manner readable by non-specialists) on emerging architectures, protocols and services for delivering multimedia over single-hop or mesh broadband wireless networks. It also focuses on the protocols needed to integrate the application layer requirements, such as QoS, security, etc., with the base functionality offered by the standardized 802.16/11 and other WLAN and WMAN interfaces. Of particular interest is the inter-play between newer techniques of multimedia encoding and streaming and the network-layer features to exploit these techniques. Following are the topics of interest for which we solicit contributions for this special issue: * IP-based multimedia delivery and services over WLANs and WMANs * QoS for real-time voice and video in broadband wireless networks * Media multicasting and broadcasting problems and solutions for wireless links * Caching and content management in WLANs, WMANs and 3G Networks * VoIP over wireless networks * Multimedia over single-hop and mesh-based wireless networks * Multimedia delivery for broadband vehicular networks * Multimedia services for ambient intelligent and pervasive environments * Broadband multimedia prototypes and system experiences * Broadcast and point-to-point multimedia in indoor & outdoor environments, e.g. homes, convention centers, sports arenas Manuscript Submission ===================== Papers should be submitted in PDF format at http://colibri.iit.cnr.it. For any questions or clarification, please contact any of the guest editors. With regard to both the content and formatting style of the submissions, prospective contributors should follow the IEEE Network guidelines for authors that can be found at: http://www.comsoc.org/pubs/net/ntwrk/authors.html Important Dates =============== * Submission Deadline: June 10, 2005 * Reviews Completed: September 30, 2005 * Final Manuscripts Due: November 30, 2005 * Publication of Special Issue: 1st Quarter, 2006 Guest Editors ============= John Apostolopoulos HP Labs 1501 Page Mill Road, MS 1181 Palo Alto, CA, 94306, USA japos(a)hpl.hp.com Marco Conti IIT-CNR Via G. Moruzzi,1 56124 Pisa Italy marco.conti(a)iit.cnr.it Archan Misra IBM Research 19 Skyline Drive, Hawthorne, NY 10533, USA. archan(a)us.ibm.com -- ============================================== Marco Conti Technical Program Co-chair IEEE Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM 2005) - http://cnd.iit.cnr.it/wowmom2005 Institute for Informatics and Telematics (IIT) National Research Council (CNR) Via G. Moruzzi, 1 56124 Pisa,Italy tel.: + 39 050 315 3062 (direct) mobile: +39 348 3966807 fax.: +39 050 3152593

1 0

Call for Participation IFIP Conference DAIS05
by Hartmut König 12 Apr '05

12 Apr '05

Please excuse if you received that Call for Participation several times. ======================================================================== CALL FOR PARTICIPATION DAIS 2005 The 5th IFIP Conference on Distributed Applications and Interoperable Systems To be held in conjunction with FMOODS 2005 Formal Methods for Open Object-Based Distributed Systems Athens, Greece June 15-17, 2005 http://www.di.uoa.gr/dais-fmoods-2005/ ======================================================================== Dear colleague, enclosed please find the Call for Participation for the 5th IFIP Conference DAIS 2005 held in Athens, the capitol of Greece, June 15th - 17th, 2005. DAIS 2005 is organized by the University of Athens. It is co-located with the IFIP Conference FMOODS 2005 (Formal Methods for Open Object-Based Distributed Systems). Advanced registration deadline is May 16, 2005. You can find more information on the conference programme, registration, and hotels at the DAIS web site http://www.di.uoa.gr/dais-fmoods-2005/ DAIS 2005 features are: * 3 Invited talks by Gordon Blair (Univ. of Lancaster), Rocco de Nicola (Univ. of Florenz), and Andreas Reuter (European Media Laboratory Heidelberg), * 2 and a half-day single track of peer-reviewed papers on context and location awareness, configuration and adaptability, interoperability issues, grid, performance evaluation, and methodological aspects, * Proceedings and free access to FMOODS 2005, * Social event in the Acropolis area. We are looking forward to meeting you at DAIS 2005, Nancy Alonistioti and Lea Kutvonen. -- ________________________________________________________________________ Hartmut König Tel: +49 355 69 22 36 koenig(a)informatik.tu-cottbus.de Fax: +49 355 69 21 27 BTU Cottbus LS Rechnernetze und Kommunikationssysteme PF 10 13 44, D-03013 Cottbus, Germany http://www-rnks.informatik.tu-cottbus.de ________________________________________________________________________

1 0

Unknown Events
by Otto Spaniol 11 Apr '05

11 Apr '05

Dear all, there are many many events for which there are no formal Event Request forms - i.e. events which are not registered in the IFIP Event database. Eduard Dundler <eduard.dundler(a)ifip.or.at> has now scrutinized all TC reports submitted at the last TA and GA, and has identified those 'unknown' events. See annex. TC6 has by far the most (no less than 19 !!) unknown events. Please study this list carefully. If your WG 6.x has any events listed, please contact Eduard and myself URGENTLY to sort out any problems and misunderstandings. No payment can be done for these events (wrt student grants, best paper awards etc.). Best regards Otto

1 0

Fwd: Invitation to be a Member of the Program Committee ECEP2006
by Volker Tschammer 11 Apr '05

11 Apr '05

For your Information Volker >DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; > s=beta; d=gmail.com; > >h=received:message-id:date:from:reply-to:to:subject:in-reply-to:mime-version:content-type:references; > >b=GDMKjETNzO3f6afbqtFfYgK2p/fBVqUz7OZ/An3DY5cbyHAoVY1zes9XW62P/mXOxiqC1eVf3V1CTlmF7kWZ9GbU0MWk+6zFAbE2OReOfGe+OYQZk+utj/AYGDppClWQ3rY6W9rYJO8ruPPIgYNsqs0vFVf7iRm4a2oz/HD60OM= >Date: Fri, 8 Apr 2005 14:48:51 +0530 >From: Nikhil Agarwal <nikhil.jibc(a)gmail.com> >Reply-To: Nikhil Agarwal <nikhil.jibc(a)gmail.com> >To: tschammer(a)fokus.fraunhofer.de >Subject: Invitation to be a Member of the Program Committee ECEP2006 > >Dear Dr. V. TSCHAMMER, > >Can you circulate this message among WG 6.11. > >thanks a lot >Regards, > >Nikhil >---------------------------------- >Invitation to be a Member of the Program Committee for >eCommerce Effectiveness and Profitability 2006 > >Dear Sir, > >Journal of Internet Banking and Commerce (JIBC) is pleased to announce >the First Global Conference on Effectiveness, Profitability, >Accountability and Investment Climate of eCommerce, eFinance and >eGovernance (eCommerce Effectiveness and Profitability 2006) > >The Theme of the Conference will be "Executive decision making: >Improving dialog between the industry, investors, academia and >governments". I am attaching the draft Call for Papers that describes >this important conference in more details. We are expecting over 300 >delegates from all over the world, mainly senior industry executives, >investors, central bankers, government policymakers and leading >academics. > >On behalf of the Organizing Committee, it is our great pleasure to >extend an invitation to you as a prominent expert on the subject of >the Conference, to join your prominent executive and academic >colleagues as a Member of its Program Committee and a Presenter. As a >member of this elite organizing group, you would participate in the >decision?making regarding the technical aspects of the Conference, and >help us to make it a great success and a memorable event in terms of >eCommerce science, business networking and social activities. > >We thank you in advance for your contribution and support for >eCommerce Effectiveness and Profitability 2006 and we look forward to >hearing from you. For further information kindly contact Prof. >Agarwal. > >Regards, > >Prof. Nikhil Agarwal >Organizing Committee Chair >Assistant Professor, SPJIMR, Mumbai, India >Editor (India) JIBC >Member, IBM Developer Research Panel >Email: nikhil.jibc(a)gmail.com >Ph: +91-9810216826 (M) > >Nahum Goldmann >General Conference Chair >ARRAY Development, Ottawa, Canada >and School of Management, University of Ottawa, Canada >Publisher & Member Editorial Board, JIBC >Email: Nahum.Goldmann(a)arraydev.com

1 0

Meeting attendance update
by Otto Spaniol 11 Apr '05

11 Apr '05

Dear all, please find enclosed the updated information concerning the meeting attendance for meeting 2005/1 in Toronto (Canada), May 7+8, 2005. We miss informations about attendancefrom the following countries: Andorra, Argentina, Denmark, Greece, Netherlands, Oman, Singapore, Slovenia, Tunisia and from the following WG chairpersons: Elie Najm, Ana Pont, Volker Tschammer. In the case of Augusto Casaca, Raouf Boutaba and Harry Perros I assume that the attendance is guaranteed since they belong to the steering committee for Networking 2005. (Maybe I missed some information; in that case please reconfirm). WG reports have been received until now only from WG 6.2 and WG 6.8. Moreover I have added the new delegate's list which has very minor changes. Best regards Otto

1 0

CONEXT05-2nd-CallForPapers---DEADLINE-May-6
by CONEXT05 Call for papers 11 Apr '05

11 Apr '05

[Please apologize for multiple receipts] CALL FOR PAPERS CONEXT'05 International conference on future networking technologies October 24-27, 2005 Toulouse, France http://www.co-next.net/ info(a)co-next.net Organized by IST E-NEXT in cooperation with ACM SIGCOMM ----- SCOPE ----- CoNEXT aims to become a major forum in the area of future networking technologies. By bringing together - under the umbrella of the Network of Excellence E-NEXT (http://www.ist-e-next.net/) - a number of successful workshops run by various networking communities, it will encourage much needed synergies between these communities. CoNEXT is a joint conference series having its roots in QoFIS, NGC and MIPS. QoFIS and NGC are highly successful international workshops initiated by two European COST Actions, namely COST263 on Quality of Future Internet Services and COST264 on Networked Group Communications. MIPS resulted from the merging of two other major workshops, namely IDMS (concentrated on interactive and distributed multimedia services) and PROMS (focusing on protocols for networked multimedia systems); also the associated ICQT (Internet Charging and QoS Technology) workshop is integrated into CoNEXT 2005. CoNEXT is designed as an open, multi-track conference aiming to attract longer-term studies and to contribute to the integration of networking research at the international level. Examples of relevant topics are: * Autonomic Communications * Context Awareness * Crosslayer Integration * Dependable Networks * Experimental Networking * Identity Management * Internet Economics * Large Test-bed * Mobile Communication * Monitoring * Network Security * Overlay Networks * Scalability * Sensor Networks * Service Engineering * Traffic Engineering * User Perceived QoS * Wireless ----------------------- SUBMISSIONS/PROCEEDINGS ----------------------- Submitted papers must be original, unpublished, and not submitted to another conference or journal for consideration of publication. Papers must be submitted in electronic format following the instructions provided on the CoNEXT web site. The workshop proceedings will be published by ACM. IEEE/ACM ToN will consider fast tracking the very best papers accepted for publication at CoNEXT. --------------- IMPORTANT DATES --------------- Submission: May 6th, 2005 Notification: July 1st, 2005 Final version: August 19th, 2005 ----------------- CONFERENCE CHAIRS ----------------- Michel Diaz, LAAS-CNRS, France Arturo Azcorra, University Carlos III de Madrid, Spain Patrick Snac, ENSICA, France, (Organization chair) -------------- PROGRAM CHAIRS -------------- Philippe Owezarski, LAAS-CNRS, France Serge Fdida, University P&M Curie (Paris 6), France ------------------ STEERING COMMITTEE ------------------ Arturo Azcorra, University Carlos III de Madrid, Spain Fernando Boavida, University of Coimbra, Portugal Michel Diaz, LAAS-CNRS, France Christophe Diot, Intel research Cambridge, UK Serge Fdida, University P&M Curie-Paris, France Laurent Mathy, Lancaster University, UK Jennifer Rexford, AT&T Labs, USA Mikhail Smirnov, Fraunhofer FOKUS, Germany Ioannis Stavrakakis, University of Athens, Greece Burkhard Stiller, University of Zurich and ETH Zurich, Switzerland Giorgio Ventre, University of Napoli, Italy ----------------- PROGRAM COMMITTEE ----------------- Marco Ajmone Marsan, Politecnico di Torino, Italy Kevin Almeroth, UC Santa Barbara, USA Paul Amer, University of Delaware, USA Mostafa Ammar, Georgia Institute of Technology, USA Ernst Biersack, Institut Eurecom, France Olivier Bonaventure, Univ. Catholique de Louvain, Belgium Andrew Campbell, Columbia University, USA Mark Crovella, Boston University, USA Jon Crowcroft, University of Cambridge, U K Walid Dabbous, INRIA, France Edmundo de Souza e Silva, Rio, Brazil Jordi Domingo-Pascual, Univ. Politcnica de Catalunya, Spain Constantinos Dovrolis, Georgia Tech, USA Otto Duarte, UF Rio do Janeiro, Brazil Wolfgang Effelsberg, University of Mannheim, Germany Hiroshi Esaki, University of Tokyo, Japan Anja Feldman, University of Munich, Germany Jarmo Harju, Tempere University of Technology, Finland Ian Graham, Endace Group, New Zealand Gsli Hjßlmt²sson, Reykjavik University, Iceland Farouk Kamoun, ENSI Tunis, Tunisia Gunnar Karlsson, Royal Institute of Technology, Sweden George Kesidis, Pennsylvania State University, USA Anne-Marie Kermarrec, IRISA, France Jim Kurose, University of Massachusetts, USA Guy Leduc, University of Lige, Belgium Edmundo Monteiro, University of Coimbra, Portugal Sue Moon, KAIST, Korea Andrew Odlyzko, University of Minnesota, USA Giovanni Pacifici, IBM T.J. Watson Research Center, USA Kihong Park, Purdue University, USA Thomas Plagemann, University of Oslo, Norway Douglas Reeves, North Carolina State University, USA Luigi Rizzo, Universita di Pisa, Italy Catherine Rosenberg, Waterloo University, Canada Matt Roughan, University of Melbourne, Australia Aruna Seneviratne, NICTA, Australia Cormac Sreenan, Cork Uni, Ireland Peter Steenkiste, CMU, USA Ralf Steinmetz, TU Darmstadt, Germany Ivan Stojmenovic, University of Ottawa, Canada Piet Van Mieghem, Delft University of Technology, The Netherlands Andras Veres, Ericsson, Hungary Mary Vernon, University of Wisconsin, USA Yannis Viniotis, North Carolina State University, USA Ryuji Wakikawa, Keio University, Japan Lars Wolf, Technical University at Braunschweig, Germany

1 0

CfP - Special Issue of Annals of Telecommunications
by Guy Leduc 10 Apr '05

10 Apr '05

-------------------- LAST CALL FOR PAPERS -------------------- ANNALS OF TELECOMMUNICATIONS ---------------------------- Special issue on Transport Protocols for the Next Generation Networks http://www710.univ-lyon1.fr/~cpham/ADT-TCP/ADT-TCP.html New networking technologies with optical-based transmission as a foundation for achieving tremendous throughput in the order of tens of Gbit/s are changing the face of the wired Internet with new large scale high-performance infrastructures such as computational grids. In the wireless domain, mobility and ubiquitous access to the Internet is driving the emergence of new value-added applications and exhibiting new user needs. Self-organizing wireless networks such as ad-hoc networks may eventually become the natural way of connecting end-users to the network. In this all-digital, all-connected world, transport protocols have the very difficult task of providing reliable, fair and efficient communications to millions of (groups of) users with very different needs and profiles, across different underlying technologies. High-speed networks, often referred to as long fat networks, raise the problem of fair and efficient congestion control mechanisms. Wireless environments with mobility and ad-hoc features bring new concerns. Fast heterogeneous networks face all these difficulties. This special issue is devoted to these problems. We solicit two categories of contributions: (1) survey papers presenting state-of-the-art studies, and (2) papers presenting an original and unpublished work or experiment on, but not limited to, the following topics: * TCP variants or new transport protocols for high-speed networks * TCP optimisations and tuning methodologies, results from real experiments * New congestion control mechanisms for high-speed networks * Transport protocols for heterogeneous networks * Experiments and prototype implementations and lessons learnt * Multipeer and multicast transport protocols * Transport protocols in wireless/mobile/ad-hoc environments * Transport protocols for (near) real-time traffic * Performance modelling of TCP on high-speed or wireless networks * Fairness issues in new transport protocols * Transport protocols in all-optical networking * Very high-speed transport protocols for computational grids Paper Submission We invite you to submit a paper that should have a length of 25000-35000 characters. The preferred language for the contribution is english. Instructions for formatting your paper according to the journal's rule can be found in english (http://www710.univ-lyon1.fr/~cpham/ADT-TCP/Editorial_instructions.pdf) or in french (http://www710.univ-lyon1.fr/~cpham/ADT-TCP/Consignes_projets_articles.pdf). A PDF version of your paper should be submitted electronically to one of the guest editors (see below). Hard copies should be sent only if electronic submission is absolutely not possible. All submitted papers must not have been previously published and must not be submitted for publication elsewhere while they are under consideration. Please include a cover page which lists the following: * name, * affiliation, * address and e-mail address of each author * name of the contact author * a maximum of 5 keywords Important Dates May 1st, 2005: Full paper due July 15th, 2005: Notification of acceptance September 15th, 2005: Final version due Expected date of publication: spring 2006. Guest Editors ------------- Prof. Guy LEDUC University of Liège Research Unit in Networking (RUN) EECS Department, Institut Montefiore, B 28, B-4000 LIEGE 1, BELGIUM Guy.Leduc(a)ulg.ac.be and Associate Prof. Congduc PHAM University Lyon 1, LIP/INRIA RESO 46 allée d'Italie 69364 Lyon Cedex 7 FRANCE Congduc.Pham(a)ens-lyon.fr

1 0

IEEE EmNetS-II workshop Call for Participation
by Geoffrey.James＠tip.CSIRO.AU 08 Apr '05

08 Apr '05

======================================================================= Apologies if you receive multiple copies of this Call for Participation ======================================================================= A D V A N C E T E C H N I C A L P R O G R A M and K E Y N O T E EmNetS-II 2005 May, 30-31, 2005 The Second IEEE Workshop on Embedded Networked Sensors (EmNetS-II) Carlton Crest Hotel, 169-179 Thomas Street, Sydney, NSW 2000, Australia The Second IEEE Workshop on Embedded Networked Sensors (EmNetS-II) will bring together researchers working in the broad area of embedded, networked sensors. The goal of the workshop is to promote community-wide discussion of ideas that will influence and foster continued research in the field. The workshop will provide a venue for researchers to present new ideas that have the potential to significantly impact the community in the long term, especially those exploring how practical considerations or novel application scenarios and requirements shape the design of these embedded and sensor networks. This is a very focussed single-track workshop. The workshop program consists of 17 full papers and 7 posters with many innovative ideas from leading research groups across the globe. The highlight of this year's workshop will be a keynote address by Dr Guru Parulkar, National Science Foundation (NSF) Program Director (Computer and Network Systems Division). Please check the conference and workshop URLs for timing information and further details on the program, accommodation and registration. http://www.cse.unsw.edu.au/~emnet Please note that early (discounted) registration ends April 30th, 2005. On behalf of the IEEE Emnets-II team, Geoff James, CSIRO Australia

1 0

Call for Papers: Fifth International Conference on Integrated Formal Methods (IFM 2005)
by Graeme Smith 08 Apr '05

08 Apr '05

SECOND CALL FOR PAPERS Fifth International Conference on Integrated Formal Methods (IFM) November 29 - December 2, 2005 Eindhoven, The Netherlands http://www.win.tue.nl/ifm/ SCOPE Applying formal methods may involve the modeling of different aspects of a system that are expressed through different paradigms. This motivates us to research the combination of different viewpoints upon a system, either by the creation of hybrid notations, by extending existing notations, by translating between notations, or by incorporating a wider perspective by innovative use of an existing notation. The integration of formal methods has already yielded noteworthy benefits for systems modeling and software development. Whichever approach is taken, significant issues arise in areas such as semantic integration, the tractability of our notations, the integration of tool support, the integration of proof systems, consistency and completeness. Issues arise equally in our conceptualization of systems at different levels of abstraction and the development of these conceptualizations through the process of refinement. The scope of IFM2005 includes all aspects of integration of different formal notations, paradigms and tools, and also the formal strengthening of informal notations (e.g., UML). The conference also seeks and welcomes contributions in related areas such as: hybrid systems, the embedding of one formalism within another, and the integration of formal methods with informal or semi-formal diagrammatic notations and structuring techniques. SUBMISSIONS Submissions should be original work, not published or submitted elsewhere. Submissions may be up to 20 pages in length and are preferably prepared with LaTeX. Springer Verlag will publish the conference proceedings in the series 'Lecture Notes in Computer Science', hence submissions must be prepared according to the LNCS author instructions (see http://www.springer.de/comp/lncs/authors.html). The first page of the paper should contain an abstract of the paper, a list of keywords, the names, affiliations and emails of the authors. The contact authors should further provide their fax numbers as well as their phone numbers. The format for submitted papers and final versions is PDF or PostScript. For final versions, sources will have to be provided as well (including an RTF file for non-LaTeX papers). A link to the submission web site will be provided on the conference web site (http://www.win.tue.nl/ifm/). IMPORTANT DATES Submission deadline: May 18, 2005 Notification of acceptance: July 13, 2005 Submission of final copy: August 17, 2005 Conference: November 29 - December 2, 2005 INVITED SPEAKERS Patrice Godefroid - Bell Labs (USA) David Parnas - University of Limerick (Ireland), McMaster University (Canada) Doron Peled - University of Warwick (UK) INVITED TUTORIAL Holger Hermanns - Saarland University (Germany) "QoS Modelling and Analysis for Embedded Systems" PROGRAM COMMITTEE Didier Bert, Institute IMAG, Grenoble, France Eerke Boiten, University of Kent, UK Jonathan Bowen, London South Bank University, UK Michael Butler, University of Southampton, UK Paul Curzon, Queen Mary, University of London, UK Jim Davies, University of Oxford, UK John Derrick, University of Sheffield, UK Steve Dunne, University of Teesside, UK Jin Song Dong, National University of Singapore Andy Galloway, University of York, UK Chris George, United Nations University, Macau Wolfgang Grieskamp, Microsoft Research, Redmond, US Henri Habrias, University of Nantes, France Maritta Heisel, University of Magdeburg, Germany Soon-Kyeong Kim, University of Queensland, Australia Michel Lemoine, ONERA, Toulouse, France Shaoying Liu, Hosei University, Tokyo, Japan Dominique Mery, LORIA, France Stephan Merz, LORIA, France Richard Paige, University of York, UK Luigia Petre, Turku Centre for Computer Science, Finland Thomas Santen, Technical University of Berlin, Germany Steve Schneider, University of Surrey, UK Wolfram Schulte, Microsoft Research, Redmond, US Kaisa Sere, Abo Akademi University, Turku, Finland Jane Sinclair, University of Warwick, UK Bill Stoddart, University of Teesside, UK Kenji Taguchi, University of Bradford, UK Helen Treharne, University of Surrey, UK Heike Wehrheim, University of Paderborn, Germany Kirsten Winter, University of Queensland, Australia Jim Woodcock, University of York, UK PROGRAM COMMITTEE CO-CHAIRS Jaco van de Pol, CWI, The Netherlands Judi Romijn, Eindhoven University of Technology, The Netherlands Graeme Smith, University of Queensland, Australia

1 0