Contents Welcome to WCC 2004 .............................................................................................................. 3 Congress Committees ................................................................................................................ 4 Organisers, Sponsors and Partners ......................................................................................... 6 Programme Structure ................................................................................................................ 8 Programme Overview ............................................................................................................... 9 Programme Highlights ............................................................................................................. 10 Plenary Keynote Addresses .................................................................................................... 11 Schedule of Conferences ........................................................................................................ 16 Schedule of Topical Days ........................................................................................................ 18 Schedule of Workshops ........................................................................................................... 19 Schedule of Tutorials ................................................................................................................ 20 Schedule of Student Forum .................................................................................................... 20 Conferences TCS: Theoretical Computer Science ............................................................................... 21 SEC: Information Security ............................................................................................. 24 Conference .................................................................................................... 24 Embedded Workshops .................................................................................... 26 CARDIS: Smartcard Research and Advanced Applications .................................................... 28 DIPES: Distributed and Parallel Embedded Systems .......................................................... 30 AIAI: Artificial Intelligence Applications and Innovations .................................................. 32 Conference .................................................................................................... 32 Symposium on Professional Practice in AI ........................................................ 34 HESSD: Human Error, Safety and System Development ....................................................... 37 PRO-VE: Virtual Enterprises ................................................................................................. 39 I3E: e-Commerce, e-Business, e-Government .............................................................. 43 HCE: History of Computing in Education ......................................................................... 45 Student Forum ................................................................................................................... 46 Topical Days Top1: Semantic Integration of Heterogeneous Data ......................................................... 48 Top2: Virtual Realities and New Entertainment ................................................................ 48 Top3: Fault Tolerance for Trustworthy and Dependable Infrastrucutres .............................. 49 Top4: Abstract Interpretation .......................................................................................... 50 Top5: Multimodal Interaction .......................................................................................... 50 Top6: Computer Aided Inventing ..................................................................................... 51 Top7: Emerging Tools and Techniques for Avionics Certification ........................................ 51 Top8: The Convergence of Bio- Info-Nano-Technologies .................................................. 52 Top9: E-Learning ........................................................................................................... 53 Top10: Perspectives on Ambient Intelligence ..................................................................... 53 Top11: Train: The Railway Domain — A 'Grand Challenge' for Computing Science and Transportation Engineering .................................................................................... 54 Top12: Open-Source Software in Dependable Systems ...................................................... 54 1 Contents Top13: Interdependencies of Critical Infrastructures .......................................................... 55 Top14: Social Robots: Challenges for Machine Intelligence ................................................. 56 Workshops Ws2: Technology Enhanced Learning ............................................................................. 57 Ws3: Certification and Security in inter-organizational e-services ..................................... 58 Ws4: Formal Aspects in Security and Trust ..................................................................... 59 Ws5: EduTech .............................................................................................................. 60 Ws6: Architecture Description Languages ...................................................................... 62 Ws7: Broadband Satellite Communication Systems ......................................................... 63 Ws8: Challenges of Mobility .......................................................................................... 64 Ws9: High Performance Computational Science and Engineering .................................... 65 Ws10: International Summit on Computing Professionalism .............................................. 65 Ws11: Prep-WITFOR 2005 Workshops ............................................................................. 66 Tutorials Tut1: Applications of Multi-Agent Systems ..................................................................... 67 Tut2: Discrete-Event simulation with Applications to Computer Communication Systems and Performance ................................................................................................. 68 Tut3: Service Oriented Computing ................................................................................. 69 Tut4: Test and DFT of Mixed-Signal Circuits .................................................................. 70 Tut5: Software Rejuvenation - Modeling and Analysis ..................................................... 71 Tut6: Semantic Web Services ........................................................................................ 72 Tut7: Quality of Service in Information Networks ............................................................. 73 Tut8: Critical Systems Development with UML: Methods and Tools .................................. 74 Tut9: Interaction Design of Highly Automated Domain-Specific Systems ........................... 75 Tut10: Developing Portable Software ............................................................................... 76 Tut11: Formal Reasoning about Systems, Software and Hardware ..................................... 77 Tut12: GeneSyS - an Approach to Distributed Systems Supervision ................................... 78 Exhibition .................................................................................................................................... 79 Social Events ............................................................................................................................. 80 Technical Visits .......................................................................................................................... 82 Tourist Visits and Tours ............................................................................................................ 84 2 Welcome to WCC 2004… … Welcome to Toulouse! The programme of this 18th edition of the IFIP World Computer Congress is extremely rich, featuring more than 600 presentations. Indeed, the attendees will be offered a large variety of opportunities: • Five keynote talks by prestigious speakers. • Nine co-located conferences for accomplished results, with 367 papers from 48 countries (selected from more than 900 submissions originating from 60 countries), 15 invited talks, and 7 panels. • Fourteen topical days, an innovative feature for The programme has been structured to favour high-level surveys and prospective views, with 91 interactions among attendees coming from many invited talks and 7 panels. diverse horizons, scientifically, geographically, from academia and from industry. Included in this will to • A student forum for doctoral research, with 43 favour interactions are social events at prestigious papers. sites. • Ten workshops for on-going research (selected Toulouse possesses the right mix of qualities for from 26 workshop submissions), with some 100 favouring the success of WCC 2004: presentations. • A wide diversity of computing and • Twelve tutorials for state-of-the-art and state-of- communications activities, both in industry and in practice, with 20 presentations. research or higher education. • An exhibition of 500 sq.m for display of latest • A strong involvement of local bodies. products and services. • Dynamic universities gathering 110 000 students. The coverage of the whole domain of information