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

CFP: JOURNAL OF NETWORK AND SYSTEMS MANAGEMENT - Special Issue on Distributed Management
by John, Ajita (Ajita) 14 Jul '03

14 Jul '03

CALL FOR PAPERS JOURNAL OF NETWORK AND SYSTEMS MANAGEMENT http://www.cstp.umkc.edu/jnsm/ Special Issue on Distributed Management The recent rapid increase in the complexity of networks is mainly due to the expanded range of network devices and systems, multiple inter-connected networking technologies, and intricate services such as Virtual Private Networks (VPNs) and Voice over IP (VoIP). The intricacies in the services have been supported by increased capabilities in network elements and have compounded the difficulties in maintaining Service Level Agreements (SLAs). The increased complexity in networks poses tremendous challenges for management in terms of functionality, the amount of data to be processed, and the types of data. It is envisioned that distributed management will play a strong role in managing complex networks where the distribution of the various aspects of management such as monitoring, configuration, provisioning, accounting, billing, fault, and performance becomes imperative for greater reliability, scalability and efficiency. This special issue is intended to present the crucial issues and efficient solutions in the distributed management of current and future networks. The focus of this special issue will include the following topics: · Distributed Management Architectures · Distributed Management of Service Level Agreements and Quality of Service · Distributed IP Traffic Management · Distributed Management for Intra and Inter-domain Bandwidth Brokerage · Distributed Management of IP Services such as VPN and Voice Over IP · Distributed Management of Mobile Systems and Wireless Networks · Distributed Management of IP Over SONET/SDH, WDM, and CATV · Distributed Charging and Accounting for IP Services · Distributed Fault, Performance, and Security Management · Distributed Configuration and Policy-based Management · Directory, Web, and XML technologies in Distributed Management · Frameworks for developing Distributed Management Applications · Scalability, Reliability, and Performance Issues in Distributed Management · Case Studies of Distributed Management Systems · Experiences with Commercial Distributed Management Systems Instructions to Contributors: We invite prospective authors to submit high quality journal papers via e-mail to one of the guest editors, depending on their geographic zone. Only electronic submissions in PDF or PS are acceptable. Please prepare the manuscript according to the "Instructions to Contributors", which can be found in any copy of the Journal, or by visiting the JNSM Web site at http://www.cstp.umkc.edu/jnsm/. Guest Editors: Dr. Ajita John Prof. Dr. Burkhard Stiller (Contact for US submissions) (Contact for non-US submissions) Avaya Labs Research Univ. of Federal Armed Forces Munich 307 Middletown Lincroft Rd Werner-Heisenberg-Weg 39 Room 1N 267 D-85577 Neubiberg, Germany Lincroft, NJ 07738 and ETH Zurich USA Gloriastrasse 35 CH-8092 Zürich, Switzerland E-mail: ajita(a)avaya.com E-mail: stiller(a)tik.ee.ethz.ch Schedule: Manuscript due: September 30, 2003 Notification of acceptance: January 15, 2004 Final manuscript due: March 31, 2004 Publication: 3rd Quarter

1 0

Int. Conf IFIP I3E 2003-Registrations OPEN
by manuel mendes 12 Jul '03

12 Jul '03

************************************************************************ ************ First Call for Registration ************************************************************************ ************ The Third IFIP Conference on E-Commerce, E-Business and E-Government I3E2003 21-24 de Setembro de 2003, São Paulo Brazil Casa Grande Hotel, Guarujá, SP http://www.cenpra.gov.br/I3E_conference Tel Nr. +19 3282 6000 Fax No. +19 3282 2006 eMail: ifipbr_2003(a)cenpra.gov.br ************************************************************************ ******** KEYNOTES ********** Keynote 1: Towards I-centric Communications Systems: A new dimension of the future services, Prof. Dr. Dr. h. c. R. Popescu-Zeletin, GMD-FOKUS/TU-Berlin Keynote 2: The Semantic Web: Methods, Applications and Future Trends, Prof. Dr. Rudi Studer, Institute AIFB, University of Karlsruhe, Germany Keynote 3: e-Government a roadmap for progress, Prof. Dr. Roland Traunmüller, Linz University, Austria Keynote 4: E-Cars - Communication on the Road, Dr. Ralf Guido Herrtwich, Daimler Chrysler AG, Germany Keynote 5: eGovernment Technologies and Policies in FP6 Dr. Rosalie Zobel, DG Information Society, European Commission Keynote 6: e-Society: myth, strategy, implementation, reality and what comes next?, Karl-Heinz Löper, Ministry of Interior, Land of Berlin, Germany Keynote 7: Mapping "Enterprise Business Architecture" to "Information Systems Framework", Mr. Masanori Kataoka, Hitachi INS Software, Ltd., Japan Keynote 8: Models for advanced e-services, Prof. Dr. Ir. Chris A. Vissers, Telematics Institute, Twente, Netherlands TECHNICAL SESSIONS ******************* About 50 papers selected by the International Program Committee, from more then 20 countries, distributed in 17 sessions TUTORIALS ********* Tutorial T1: Towards a Global Information Society: Prof. Wojciech Cellary, (Poznan University of Economics, Polland Tutorial T2: Model-driven architecture: core technologies, models and application,Dr. ir. Marten van Sinderen, Dr. Luís Ferreira Pires , University of Twente, Netherlands Tutorial T3: XML in e-Business - Lessons learned from industrial use and challenges for the future, Dr. Michael Merz , Ponton Consulting GmbH, Germany Tutorial T4: Ontologies: Representation, Engineering, Learning and Applications, Prof. Rudi Studer (FZI Research Center for Information Technologies), MSc. Raphael Volz (AIFB, Karlsruhe University), Germany Tutorial T5: Computational grids: architecture, technologies and applications, Dr. Walfredo Cirne, MSc. Glaucimar da Silva Aguiar, Universidade Federal de Campina Grande, Brasil WORKSHOPS ********* Workshop WS1: e-Government - Best practice solutions and standardization activities Workshop Coordinators: Gerd Schürmann, FOKUS,Berlin,Dr. Michael Tschichholz, FOKUS, Berlin Dr. Evangellos Ouzunis, European Commission, Workshop WS2: eBusiness: The role of information technology in supply chain management Workshop Coordinators: Prof. Dr. Sílvio R.I. Pires, UNIMEP-PPGEP, Brasil, Prof. Dr. Rafael Alves, UNIMEP, Brasil, Prof. Dr. Paula Swatman, Koblenz University, Germany Workshop WS3: e-Government and Citizenship, Best practices in health, education, security and governance Workshop Coordinators: Agnaldo do Carmo Lopes, PRODESP, Mauricio Moraes,PRODESP, Brazil Workshop WS4: Digital citizenship: building new rights and looking for solutions Coordinators: Sérgio Amadeu da Silveira (ITI) ,Renato Silveira Martini. (ITI), Brazil Workshop WS5: Electronic Governments: Innovation and Challenges Coordinators: Ciro Fernandes, SLTI/MP, Brasil , Marcos Ozorio de Almeida, SLTI/MP, Brasil, Raimundo Costa, SERPRO, Brasil PANELS, POSTER SESSIONS AND RESEARCH COLLOQUIUM ************************************************* Main Organizers *************** CENPRA, UNIMEP and UNISANTOS Main Supporters IFIP State Government of S.Paulo ______________________________________ Prof. Dr. Manuel de Jesus Mendes Home Fax/Phone: +55-19-32874003 Mobile Phone: +55-19-9604 5003 Mail Address: mj.mendes(a)terra.com.br _______________________________________

1 0

CFP: Seminar on Testing
by Martin Leucker 11 Jul '03

11 Jul '03

[Apologies if you receive this more than once] ------------------------------------------------------------------------ Call for Participation GI/Dagstuhl Research Seminar Model-based Testing of Reactive Systems January 12-15, 2004, Schloss Dagstuhl http://www.it.uu.se/research/project/motres/ ------------------------------------------------------------------------ Theme of the seminar Testing is the primary hardware and software validation technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing methods. But a comprehensive account of the area of formal testing is missing. The goal of this seminar is to compile a volume providing an in-depth exposure of this emerging area, especially to make it easily accessible to new researchers in this field. Aim of the seminar The aim of the seminar is to bring together (primarily young) researchers working in or starting to work in this area (PhD students, postdocs, fresh PhDs, or maybe even MSc students; also established researchers might apply). The seminar will be devoted to the assembly of a structured overview (in terms of presentations and papers) of the state-of-the-art. Organisation The organisers will select the participants on the basis of their application (see below). Selected participants will be approached by the coordinators and will be assigned a theme, thereby taking into account the preferences of the applicants as much as possible. The participants will then write an overview paper (up to 30--40 pages) on the assigned theme, supervised by the coordinator; the papers listed below form a starting point for doing so. During the seminar in January 2004 in Dagstuhl, the overview paper has to be presented (45 minutes) and discussed. Some of the themes listed below are so large that working on them in a 2-person group is possible. The seminar papers written will be collected and published with a German publisher. In fact, based on the quality of the final papers, a publication as a tutorial volume in the LNCS series of Springer-Verlag is very likely. In order to ease the publication process, we strongly encourage the papers to be written using LaTeX using Springer's lncs style. In total, we envisage that taking part in the seminar, including the reading, writing, presenting and travelling, will "cost" at least 5 to 6 weeks of work (full time). Note, however, that esp. for PhD students, this type of work has to be done anyway, as part of their PhD studies. Organisers The seminar is organised by * Manfred Broy, Technical University of Munich, Germany * Bengt Jonsson Uppsala University, Sweden * Joost-Pieter Katoen, University of Twente, Netherlands * Martin Leucker, Uppsala University, Sweden, (Coordinator) * Alexander Pretschner, Technical University of Munich, Germany Time and location The seminar is organised as a GI/Dagstuhl-seminar from January 12, 2004 (Monday, arrival) through January 15, 2004 (Thursday) in the International Conference and Research Center for Computer Science at Schloss Dagstuhl. Dagstuhl is located about halfway between Saarbrücken and Trier and is ideally suited for a research seminar because of its excellent library and special atmosphere. Registration fee for all participants will be 100 Euro; this includes accommodation, all meals and coffee/tea breaks. This extremely low fee is made possible through the sponsorship of the Gesellschaft für Informatik. Application Participants are selected on the basis of a good scientific qualification. Participants can apply by sending a short curriculum vitae (with list of publications) and a letter of reference from a professor (in case of MSc or PhD students). Also indicate the topics of your interest! The list of topics can be found on http://www.it.uu.se/research/project/motres/cfp.html Applications (including a list of preferred topics) should be sent electronically (as PS or PDF) by August 30, 2003 to Martin.Leucker(a)it.uu.se. Time table * July 01: launch of call for participation * August 30: deadline for applications * September 15: notification on participation * November 2003: first version of seminar paper * December 2003: revised versions of seminar paper * January 12-15, 2004: Dagstuhl seminar * March 2004: final camera-ready seminar papers due * Spring 2004: publication of seminar volume List of theme areas and topics We will give an detailed account to formal approaches of testing as well as relations to other validation techniques like model checking. There are several schools of formal testing. We will give an account to some of them providing the basis for a comparison. We will show the similarities and differences in each approach. In general, we concentrate on so-called black-box testing. In this setting, the system under test is not given explicitly but may only be analysed using interaction in terms of input and output actions. The topics comprise the following areas: T1: Testing of finite state machines (3 chapters) T2: Preorder-based testing of labelled transition systems (4 chapters) T3: Further Model-based testing (3 chapters) T4: Test generation tools and case studies (2 chapters) T5: Test execution: TTCN-3 (1 chapter) T6: Test methods (1 chapter) T7: Testing of non-deterministic systems (1 chapter) T8: Model checking and testing (3 chapters) A detailed list of theme areas and topics can be found on http://www.it.uu.se/research/project/motres/cfp.html where furthermore a starting list of references is given. ------------------------------------------------------------------------ Martin Leucker, http://user.it.uu.se/~leucker/ July 01, 2003 ------------------------------------------------------------------------

1 0

Call for Participation: NGC/ICQT'03
by Burkhard Stiller 11 Jul '03

11 Jul '03

Apologies for multiple copies. Dear Research and Industry Fellows, you are invited to participate in the NGC/ICQT'03 workshops in Munich, September 16-19, 2003 - in co-operation with ACM SIGCOMM and in the follow-up of COST 264. Please find attached the program for those events. Your registration option holds in-advance rates until August 1, 2003 at the workshops' web pages http://www.ngc2003.org/ Regards, Burkhard Stiller NGC/ICQT'03 General Chair ------------------------------------------------------------------------ NGC/ICQT'03 Advance Program ------------------------------------------------------------------------ A PDF version of this program is available at http://www.ngc2003.org Tuesday, September 16, 2003 (NGC03 Tutorial Day and MMAPPS Project Day) ======================================================================== 9.00 - 12.30 Tutorial A "Advanced QoS Accounting Techniques used for Billing Service Levels" by Petre Dini, Cisco Systems. 14.00 - 17.30 Tutorial B "Content Distribution and Beyond - Architectures, Protocols, and Practice" by Markus Hofmann, Bell Labs Research. The MMAPPS Project Day on Peer-to-peer Systems starts at 9.00 in parallel to the two NGC Tutorials. A detailed program for this project day is available at http://www.mmapps.org/events/main.html. Wednesday, September 17, 2003 (NGC03 Day 1) ============================================ 9.00 - 10.30 Welcome and Keynote * General and Program Co-chair's Welcome Message Burkhard Stiller, UniBw Munich, Germany, and ETH Zurich, Switzerland * Welcome from UniBw Munich, Germany Merith Niehuss, Vice President UniBw Munich, Germany * Program Co-chair's Program Information Georg Carle, Universität Tübingen, Germany * Keynote: Jon Crowcroft, Cambridge University: Multicast TCP - They said it shouldn't be done, so ... 11.00 - 12.30 Session 1: Application and Multicast Support * User-interest Driven Video Adaptation for Collaborative Workspace Applications Jeremiah Scholl, Stefan Elf, Peter Parnes, Sweden * Improving Efficiency of Application-level Multicast with Network Support Takeshi Sano, Taku Noguchi, Miki Yamamoto, Japan * An Adaptive Method for Dynamic Audience Size Estimation in Multicast Maziar Nekovee, Andrea Soppera, Trevor Burbridge, United Kingdom 14.00 - 15.30 Session 2: Anycast and Search in P2P * Anycast in Locality-aware Peer-to- peer Systems Rongmei Zhang, Y. Charlie Hu, U.S.A. * Scalable Application-level Anycast for Highly Dynamic Groups Miguel Castro, Peter Druschel, Anne-Marie Kermarrec, Antony Rowstron, U.S.A. * Topology-Centric Look-Up Service Luis Garces-Erice, Keith W. Ross, Ernst W. Biersack, Pascal A. Felber, Guillaume Urvoy-Keller, France 16.00 - 17.30 Session 3: Peer-to-peer Systems * Service Differentiation in Peer-to-Peer Networks Utilizing Reputations Minaxi Gupta, Mostafa Ammar, U.S.A. * Adding Structure to Unstructured Peer-to-peer Networks: The Role of Overlay Topology Shashidhar Merugu, Sridhar Srinivasan, Ellen Zegura, U.S.A. * Building Semantic Peer-to-peer Networks Upon CAN Jiantao Song, Yong Zhang, Chaofeng Sha, Peoples Republic of China 17.45 Welcome Reception Thursday, September 18, 2003 (NGC03 Day 2) =========================================== 9.00 - 10.30 Session 4: Security and Multicasting * Adding Reliable and Self-Healing Key Distribution to the Subset Difference Group Rekeying Method for Secure Multicast Sencun Zhu, Sanjeev Setia, Sushil Jajodia, Mario Maggiorini, U.S.A. * Key Bundles and Parcels: Secure Communication in Many Groups Eunjin Jung, Mohamed G. Gouda, Xiang-Yang Alex Liu, U.S.A. * EBM: Edge-based Multicasting in DiffServ Networks A. Striegel, A. Bouabdallah, H. Bettahar, G. Manimaran, U.S.A. 11.00 - 12.30 Session 5: Multicast Mechanisms * Team-oriented Multicast: A Scalable Routing Protocol for Large Mobile Networks Yunjung Yi, Mario Gerla, Joon-Sang Park, U.S.A. * Generalized Multicast Congestion Control: An Efficient Multi-rate Scheme Using Single Rate Control Jiang Li, Shivkumar Kalyanaraman, U.S.A. * IP Multicast Over Cable TV Networks A. Selcuk Uluagac, Jon M. Peha, Turkey 14.00 - 15.00 Session 6: Control Algorithms * Extremum Feedback with Partial Knowledge Thomas Fuhrmann, Jörg Widmer, Germany * Design and Evaluation of a Low Density Generator Matrix (LDGM) Large Block FEC Codec Vincent Roca, Zainab Khallouf, Julien Laboure, France 15.30 - 17.30 Session 7: Short Paper Session * Overcoming Last- hop/First-hop Problems in IP Multicast Gísli Hjálmtýsson, Björn Brynjúlfsson, Ólafur Ragnar Helgason, Iceland * Multicast Infrastructure for Massive Multi-Player Online Games Daniel Bauer, Sean Rooney, Switzerland * Performance Evaluation of Multicast for Small Conferences Stefan Egger, Torsten Braun, Switzerland * Scalable Support for Source Specific Multicast in Differentiated Services Domains Ning Wang, George Pavlou, United Kindgom * Overlay Socket: Programming Overlay Networks J. Liebeherr, J. Wang, G. Zhang, U.S.A. * Enhancing Peer-to-peer Parallel Data Access with PeerFecT L. Dairaine, L. Lancerica, J. Lacan, France 18.45 Social Event Friday, September 19, 2003 (ICQT03 Day 1) ========================================== 9.00 - 10.15 Welcome and Keynote * Program Co-chair's Program Information Peter Reichl, FTW, Austria and Martin Karsten, Univ. of Waterloo, Canada * Keynote: to be announced 10.45 - 12.45 Session 8: Multicast Pricing and Traffic * An Approach to the Charging of Secure IP Multicast Services Sylvie Laniepce, Mohammed Achemlal, France * Accounting Mechanism for Membership Size-Dependent Pricing of Multicast Traffic David Breitgand, Danny Dolev, Danny Raz, U.S.A. * A Low-Cost Packet Originator Verification for Metering at Access-Routers Bernd Lamparter, Dirk Westhoff, Germany * Problem Statement: Metering and Accounting in full-IP 4G Networks Jürgen Jähnert, Germany 14.00 - 15.00 Session 9: Routing and Economics * Incentive-based Inter-domain Routeing Richard Mortier, Ian Pratt, United Kingdom * The Economics of Smart Routing and QoS Rui Dai, Dale O. Stahl, Andrew B. Whinston, U.S.A. 15.30 - 16.30 Session 10: Pricing and Resource Management * A Progressive Second Price Mechanism with a Sanction Bid from Excluded Players Patrick Maillé, Bruno Tuffin, France * Capacitated Network Management through Pricing Mustapha Bouhtou, Madiagne Diallo, Laura Wynter, France 16.30 Closing

1 0

TC6 members
by Augusto Casaca 09 Jul '03

09 Jul '03

Dear all, I am sending you an updated list of the TC6 members. Best regards Augusto Casaca

1 0

(Fwd) CFP: WONS 2004 (Madonna di Campiglio, Italy)
by Jan Slavik 08 Jul '03

08 Jul '03

------- Forwarded Message Follows / Následuje předaný dopis ------- Fyzicky od: <brunato(a)dit.unitn.it> Od: "Mauro Brunato" <brunato(a)dit.unitn.it> Komu: <Slavik(a)testcom.cz> Vec: CFP: WONS 2004 (Madonna di Campiglio, Italy) Datum odeslani: Mon, 7 Jul 2003 18:49:55 +0200 Organizace: Universitŕ di Trento Postovni prog.: Microsoft Outlook Express 6.00.2800.1158 ========================================================= CALL FOR PAPERS WONS 2004 First International Working Conference on Wireless On-demand Network Systems (sponsorship by IFIP WG 6.3 and 6.8 is pending for approval) http://dit.unitn.it/wons/ wons(a)dit.unitn.it Madonna di Campiglio (Italy) January 21-23, 2004 Wireless LANs are enjoying a growing interest at all levels: research, application, business. The explosive growth of IEEE802.11b (Wi-Fi), the ongoing change of spectrum management policies and the technology boost making wireless wideband a reality are bringing high bandwidth wireless connectivity to the masses. Connectivity and networking built "on-demand", where and when they are needed in an evolutionary and incremental fashion with limited investments, is spawning new research and business opportunities, offering unprecedented possibilities to support working communities and ubiquitous, cooperative computing. Many aspects of the current wireless LANs growth resemble the rapid, and in part anarchic and unexpected, evolution of the wired Internet. The road is traced and enthusiasm is mounting but many challenges have to be solved before providing seamless communication, reliable quality, secure high bandwidth connectivity, and useful services. The conference will concentrate on new research issues open in the "wireless Internet" context, including design, modelling and performance evaluation, pricing and profitability models, QoS models and practical implementation. Sound experimental evaluation of new techniques will also be considered. The meeting will take place in one of the finest winter resorts of the Alps, Madonna di Campiglio, in the Trentino region. The cozy atmosphere of the conference hotel, facing one of the most spectacular panoramas in the Alps, will facilitate concentration and creativity. The schedule of the meeting will consist of presentations in the morning and in the afternoon/evening. A pause after lunch will allow social activities and informal interaction among the participants. Topics comprise, but are not limited to: - Wireless access to the Internet - Modelling and performance evaluation of wireless LANs - Quality of service and pricing ("charging for quality") - Traffic and user activity models - Service differentiation mechanisms - Virtual operators in WiFi networks - Pervasive / ubiquitous computing - Location and context-awareness - Wireless LANs design - Management, authentication, authorization and accounting - On-Demand, Ad-Hoc Networks ---------------------------------------------------------- Keynote speech: "Ad Hoc Wireless Networks: Protocols and Applications" Mario Gerla, Computer Science Department, UCLA ---------------------------------------------------------- Conference Proceedings will be published by Springer in the series "Lecture Notes in Computer Science". Extended versions of the best papers will be considered for publication on a special issue of Kluwer/ACM Mobile Networks and Applications (MONET). A Best Paper Award will be assigned at the conference. ---------------------------------------------------------- Important deadlines: - August 1st, 2003 (Hard Deadline): Electronic Full Paper Submission - September 30, 2003: Acceptance Notification - October 15, 2003: Final Version Due ---------------------------------------------------------- General Chair: Roberto Battiti, University of Trento, Italy Local Organization Chairs: Sandro Pera, University of Trento, Italy Alessandro Villani, University of Trento, Italy Publicity Chairs: Mauro Brunato, University of Trento, Italy Tutorials and Sponsorships Chairs: Paolo Simonetti, Provincia Autonoma di Trento, Italy Program Committee Chairs: Marco Conti, CNR Pisa, Italy Renato Lo Cigno, University of Trento, Italy Technical Program Committee: Arup Acharya, IBM T.J. Watson Research, USA Ian Akyildiz, Georgia Institute of Technology, Atlanta, USA Eitan Altman, INRIA, Sophia Antipolis, France Roberto Battiti, University of Trento, Italy Hendrik Berndt, DoCoMo Communications Laboratories Europe Alan Albert Bertossi, University of Bologna, Italy Giuseppe Bianchi, University of Palermo, Italy Ernst Biersack, Eurecom, Sophia Antipolis, France Maurizio Bonuccelli, University of Pisa, Italy Dragan Boscovic, Motorola Research Center of Paris, France Andrew T. Campbell, Columbia University, USA Carla Fabiana Chiasserini, Politecnico di Torino, Italy Imrich Chlamtac, University of Trento, Italy A. Chockalingam, IIS, Bangalore, India Sunghyun Choi, Seoul National University, Korea Marco Conti, CNR of Pisa, Italy Szabó Csaba, BME, Budapest, Hungary Sajal K. Das, The University of Texas at Arlington, USA Christos Douligeris, University of Piraeus, Greece Domenico Ferrari, Universitŕ Cattolica of Piacenza, Italy Mario Gerla, UCLA, USA Silvia Giordano, SUPSI of Lugano, Switzerland Enrico Gregori, CNR of Pisa, Italy Parviz Kermani, IBM - T.J. Watson Research Center, USA Demetres D. Kouvatsos, University of Bradford, UK Kin K. Leung, Bell Labs, Lucent Technologies, USA Bo Li, University of Science and Technology of Hong Kong, China Renato Lo Cigno, University of Trento, Italy Gerald Q. Maguire Jr., KTH, Sweden Petri H. Mähönen, RWTH Aachen, Germany Michela Meo, Politecnico di Torino, Italy Sergio Palazzo, University of Catania, Italy Björn Pehrson, KTH, Sweden Gian Paolo Rossi, University of Milano, Italy M. Yahya "Medy" Sanadidi, UCLA, USA Puneet Sharma, Hewlett Packard Labs, USA Ioannis Stavrakakis, University of Athens, Greece Heinrich J. Stüttgen, NEC Europe Ltd., Germany Salvatore Tucci, University of Roma Tor Vergata, Italy Bernhard Walke, Aachen University of Technology, Germany Menzo Wentink, Intersil, The Netherlands Adam Wolisz, TU Berlin, Germany Hidetoshi Yokota, KDDI R&D Laboratories, Japan Michele Zorzi, University of Ferrara, Italy ------- End of forwarded message / Konec předaného dopisu -------

1 0

Optical Networking Conference and Calendar of events
by Augusto Casaca 07 Jul '03

07 Jul '03

Dear TC6 members, I am pleased to inform that the new Optical Networking Conference will take place in Pisa, Italy on October 19 and 20, 2004. Giancarlo Prati is organizing it following our discussion in the Lisbon meeting and it will have also the support of WG 6.10. My thanks for Giancarlo's effort in this organization. I attach an updated calendar of our conferences. Best regards Augusto Casaca

1 0

CFP: IFM 2004 (Canterbury, April 2004)
by G.P.Smith 07 Jul '03

07 Jul '03

Apologies for multiple copies. -------------------------------------------------------------- SECOND CALL FOR PAPERS Fourth International Conference on Integrated Formal Methods IFM2004 http://www.cs.kent.ac.uk/ifm2004 (submission deadline: 15th September 2003) -------------------------------------------------------------- April 5-7, 2004 Canterbury, Kent, England. Theme ------- Applying formal methods may involve the modelling 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 promises great benefits for systems modelling and software development. Whichever approach is taken, significant issues can arise in areas such as semantic integration, the tractability of notations, the integration of tool support, the integration of proof systems, consistency and completeness. Issues arise equally in our modelling of systems at different levels of abstraction and the development of these models through the process of refinement. The scope of IFM2004 includes all aspects of integration of different notations, paradigms, and tools, including integration of state-based and behavioural formalisms, and the formal strengthening of informal notations (e.g., UML). Special sessions are planned on the themes of Unifying Theories of Programming as well as Testing, and submissions for these are welcomed. The necessity of tool support for formal methods is widely accepted. However, much existing tool support fails to exploit the advantages that formality brings. This year's IFM is therefore particularly interested in how integrating formal methods can facilitate tool support for the development process, either by integrating tools or exploiting the particular languages combined. 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 should be prepared with LaTeX. Springer Verlag will publish the conference proceedings in the series 'Lecture Notes in Computer Science', and hence the submissions should be prepared using the 'llncs' package (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 corresponding author should send by email a 'ps' or a 'pdf' form of the paper to the address eab2(a)ukc.ac.uk, with the subject line "Submission to IFM2004". If electronic submission is not possible, four hard copies of the paper should be sent to the address below: "IFM2004 Submission" Eerke Boiten Computing Laboratory, University of Kent Canterbury CT2 7NF ENGLAND. Important Dates ----------------- Submission deadline: 15th September 2003 Notification of acceptance: 30th November 2003 Submission of final copy: 15th January 2004 Conference: 5-7 April 2004 Invited Speakers ----------------- Confirmed invited speakers include: Ursula Martin, St Andrews University (www-theory.dcs.st-and.ac.uk/~um/) and Tom Melham, University of Oxford (web.comlab.ox.ac.uk/oucl/people/tom.melham.html) and Tom Ball, Microsoft Research (www.research.microsoft.com/~tball/) Location --------- The fourth international conference on Integrated Formal Methods will be held at the University of Kent at Canterbury. The County of Kent is situated in the South-East of England, and the University sits on a hill over-looking the City of Canterbury and its world-renowned Cathedral. Accommodation for delegates will be provided on campus, other options for accommodation in Canterbury and the surrounding area can be found at: http://www.canterbury.co.uk/en/maps/index.html The conference dinner will be held at an historic castle in Kent. Travelling to Canterbury ------------------- Canterbury is within easy reach of London, as well as the international airports at Gatwick and Heathrow, and the international train station at Ashford. More information on how to travel to Canterbury can be found at: http://www.ukc.ac.uk/locations/canterbury/map1.html Program Committee --------------------- Didier Bert, Institute IMAG, Grenoble, France Eerke Boiten, University of Kent, UK Jonathan Bowen, South Bank University, London, UK Michael Butler, University of Southampton, UK Paul Curzon, Middlesex University, London, UK. Jim Davies, University of Oxford, UK John Derrick, University of Kent, UK Jin Song Dong, National University of Singapore John Fitzgerald, Transitive Technologies Ltd, Manchester, UK Andrew Galloway, University of York, UK Chris George, United Nations University, Macau Wolfgang Grieskamp, Microsoft Research, Redmond, US Henri Habrias, University of Nantes, France Susumu Hayashi, Kobe University, Japan Maritta Heisel, University of Magdeburg, Germany Michel Lemoine, ONERA, Toulouse, France Shaoying Liu, Hosei University, Tokyo, Japan Dominique Mery, LORIA, France Luigia Petre, Turku Centre for Computer Science, Finland Judi Romijn, Eindhoven University of Technology, NL Thomas Santen, Technical University of Berlin, Germany Steve Schneider, Royal Holloway, University of London, UK Wolfram Schulte, Microsoft Research, Redmond, US Kaisa Sere, Abo Akademi University, Turku, Finland Jane Sinclair, University of Warwick, UK Graeme Smith, Software Verification Research Centre, Queensland, Australia Bill Stoddart, University of Teesside, UK Kenji Taguchi, University of Bradford, UK W J (Hans) Toetenel, University of Delft, Holland Heike Wehrheim, University of Oldenburg, Germany Kirsten Winter, Software Verification Research Centre, Queensland, Australia Jim Woodcock, University of Kent, UK Program Committee Co-Chairs -------------------------------- Eerke Boiten, University of Kent, UK John Derrick, University of Kent, UK Graeme Smith, Software Verification Research Centre, Queensland, Australia The conference is sponsored by BCS-FACS.

1 0

RE: [ieee-cnom] WEBMedia 2003 - Call for Papers and Deadline Extension
by Baron Peterssen (BRW) 07 Jul '03

07 Jul '03

Dear Joberto Thank you for your kind invitation Currently I manage ( not supervise ) a programme of some 200 full-time post-graduate M Sc and Ph D students all working in the ICT sector and I will extend your invitation to them All of these students will report on progress achieved during the year under review at the Southern African Telecommunications and Networks Applications Conference ( SATNAC ) to be held at Fancourt from 8 to 9 Sepember and details of the program at www.satnac.org.za Best wishes Baron

1 0

46 countries so far at WITFOR
by dipak.khakhar 05 Jul '03

05 Jul '03

To IFIP GA, TC-Chairs, WG-chairs, TC-members, WG-members Member Societies. Subject: Complimentary registration at WITFOR 2003, Vilnius, Lithuania, 26-29 August Dear Colleagues, So far there are representatives from 46 countries have registered for WITFOR out of which only 19 are from IFIP member countries. Our aim is to get participants from at least 100 countries. The goal of WITFOR is to prepare and help implement information development strategies and projects in the developing countries. This unique visioning conference will convene leading thinkers from around the world to discuss information and communication technology as a transforming force and to explore the possibilities, promises, and perils of our networked world. It is targeted to politicians and senior officials responsible for information development from both the developing and industrialized nations, representatives of non-governmental organizations, representatives of inter-governmental organizations, and business leaders. Governments of all countries in the world have been invited to send their delegations to WITFOR. As it can be noticed from www.witfor.lt, WITFOR is two and a half day meeting where eight commissions will be preparing proposals in different areas concerning information society. The final document will be the Vilnius Declaration aiming at advising governments on strategies for the use of ICT. WITFOR is an unique initiative by IFIP and we would like to be a part of it. Visit www.witfor.lt and register now. With best regards Peter Bollerslev Chairman, Steering Committee, WITFOR 2003

1 0