Programme Structure

Total Page:16

File Type:pdf, Size:1020Kb

Programme Structure 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
Recommended publications
  • SECURITY and PRIVACY in the AGE of UBIQUITOUS COMPUTING IFIP - the International Federation for Information Processing
    SECURITY AND PRIVACY IN THE AGE OF UBIQUITOUS COMPUTING IFIP - The International Federation for Information Processing IFIP was founded in 1960 under the auspices of UNESCO, following the First World Computer Congress held in Paris the previous year. An umbrella organization for societies working in information processing, IFIP's aim is two-fold: to support information processing within its member countries and to encourage technology transfer to developing nations. As its mission statement clearly states, IFIP1s mission is to be the leading, truly international, apolitical organization which encourages and assists in the development, exploitation and application of information technology for the benefit of all people. IFIP is a non-profitmaking organization, run almost solely by 2500 volunteers. It operates through a number of technical committees, which organize events and publications. IFIP's events range from an international congress to local seminars, but the most important are: The IFIP World Computer Congress, held every second year; Open conferences; Working conferences. The flagship event is the IFIP World Computer Congress, at which both invited and contributed papers are presented. Contributed papers are rigorously refereed and the rejection rate is high. As with the Congress, participation in the open conferences is open to all and papers may be invited or submitted. Again, submitted papers are stringently refereed. The working conferences are structured differently. They are usually run by a working group and attendance is small and by invitation only. Their purpose is to create an atmosphere conducive to innovation and development. Refereeing is less rigorous and papers are subjected to extensive group discussion.
    [Show full text]
  • Europe and North America Regional GCED Network Meeting Final Report
    Europe and North America Regional GCED Network Meeting Final Report 21-22 November 2018 Lisbon, Portugal 120, Saemal-ro, Guro-gu, Seoul, Republic of Korea, 08289 Tel.02-774-3956 Fax.02-774-3957 www.unescoapceiu.org Europe and North America Regional GCED Network Meeting Final Report 21-22 November 2018, Lisbon, Portugal Table of Contents List of Acronyms 4 Universities 23 Introduction 5 Observations and General Comments 25 Opening 6 Session 3: Session 1: Addressing the Remaining Gaps on GCED Implementation GCED Global and Regional Overview 8 in Europe and North America 26 • GCED in the Global Education Agenda, and Ministries of Education and National Commissions for UNESCO 27 UNESCO’s Efforts to Realize GCED/ SDG 4.7 9 Universities and Research Institutions 27 • GCED in the Global Agenda, Global Activities of APCEIU 9 Civil Society Organizations 28 • Regional GCED Networks 10 Intergovernmental Organizations 28 GCED in Asia-Pacific 10 Development and Cooperation Agencies and Ministries of Foreign Affairs 29 GCED in Latin America and the Caribbean 11 Discussion and Summary by the Moderator 29 GCED in Sub-Saharan Africa and the Arab States 11 • Regional GCED implementation (Europe and North America) 12 Session 4: Global Education Network 12 Strengthening GCED Implementation Globally and European NGO Confederation for Relief and Development 12 Regionally through Networking 31 Canadian National Commission for UNESCO 13 Recommendations to Improve GCED Networking in UNESCO Venice Office 13 Europe and North America 32 Bridge 47 14 Discussion 33
    [Show full text]
  • ICAO's MRTD Report
    ICAOINTERNATIONAL CIVIL AVIATION ORGANIZATION MRTD REPORT Stressing Security As ePassport technology defies its critics and privacy groups begin to better understand the scope and purpose of the biometric chip, more and more States are continuing to implement the world’s most secure solution to the interoperable travel document. Also in this Issue: ePassport PKI and the ICAO PKD, Interoperability Overview, EAC Roll-out, In-House MRTD Training, CSCA Certificates Overview List, Maldives Implementation, ICAO’s role in MRTD advancement Vol. 2, No 2 Contents Editorial: Taking an Active Role . 3 Mauricio Siciliano discusses the more proactive role being taken by ICAO and industry stakeholders in communicating the facts behind MRTD and ePassport technology. ICAO MRTD REPORT VOLUME 2, NUMBER 2, 2007 Editorial Managing Editor: Mauricio Siciliano MRTD Programme—Specifications and Guidance Material Section Tel: +1 (514) 954-8219 ext. 7068 E-mail : [email protected] ePassports: The Secure Solution . 4 ISO Task Force on New Technologies Chair Barry Kefauver confronts recent media Anthony Philbin Communications and hacker claims surrounding the security and privacy of contactless chips, Senior Editor: Anthony Philbin Copy Editor: Robert Ronald detailing the unprecedented multilateral and technological achievement represented Tel: +01 (514) 886-7746 by ePassport interoperability. E-mail: [email protected] Web Site: www.philbin.ca ePassport PKI and the ICAO PKD: The Australian Perspective . 12 Production and Design Australian passport official Ross Greenwood, Chairman of the 2007 ICAO PKD Bang Marketing board, describes the reasons for supporting ePassport validation at border clearance Stéphanie Kennan and makes the business case for Member State participation in the ICAO PKD.
    [Show full text]
  • Executive Summary
    6th European Conference on Rare Diseases & Orphan Products A better future for Patients: Shaping together the Agenda 2020 Executive Summary A conference organised by Co-organised by The European Conference on Rare Diseases and Orphan Products The European Conference on Rare Diseases & Orphan Products is the unique platform/forum across all rare diseases, across all European countries, bringing together all stakeholders - academics, health care professionals, industry, policy makers, patients’ representatives. It is a biennial event, providing the state-of-the-art of the rare disease environment, monitoring and benchmarking initiatives. It covers research, development of new treatments, health care, social care, information, public health and support at European, national and regional levels. It is synergistic with national and regional conferences, enhancing efforts of all stakeholders. There is no competition with them, but efforts are complementary, fully respecting initiatives of all. Speaker presentations and poster abstracts can be found in the Programme section of the official Conference website at: http://www.rare-diseases.eu/ Find out the latest news about the rare disease community on eurordis.org Sign up to EURORDIS eNews to receive weekly updates Now available in English, French, German, Spanish, Italian, Portuguese and Russian! Table of Contents Acknowledgements and credits ................................................................................................................ 1 Credits, support and legal information
    [Show full text]
  • TC-11 Factsheet WG 11.2 Pervasive Systems Security
    International Federation for Information Processing TC-11 Security and Privacy Protection in Information Processing Systems Factsheet WG 11.2 Pervasive Systems Security Version: 28 August 2020 Website : http://wg112.ifiptc11.org/ Introduction Established in 1985 as the working group on Office Automation, known until 2009 as the working group on Small Systems Security, we have refocussed ourselves as the working group on Pervasive Systems Security. Est. 1985, revised 1992, 1995, 2009 Pervasive systems shall be defined to be large scale systems that are comprised of nodes ranging from RFID tags, through embedded systems, to personal mobile devices, interconnected by a mixture of short range wireless and wide are wired networks. The typical characteristics of a pervasive system are: resource constrained nodes, often physically unreachable or without user interface, whose interconnections often span a large number of administrative domains with conflicting interests. Security of such systems is therefore an emergent property. Aims and scope (last reconfirmed1: 08-2009) To investigate methods and issues in the area of information security related to pervasive systems; and to advance knowledge and awareness of the subject through publications, conferences and other means. The aim is to address pervasive systems security from both a functional, technical, and societal perspective. The scope of the working group shall be to: • Promote the design of the new information security techniques and methods in pervasive systems. • Investigate and report on the information security aspects of information technology products and information services for pervasive systems. • Design guidelines and promote methodologies for the implementation of information security in pervasive systems. • Investigate intelligent token and smart card applications in information security with the aim of making the user less dependent on a single fixed environment.
    [Show full text]
  • TC-11 Report to Council and TA 2006 21 February 2006 Leon Strous Chairman IFIP TC-11
    TC-11 Report to Council and TA 2006 21 February 2006 Leon Strous Chairman IFIP TC-11 PART I. General Assembly a. Meetings held and scheduled. • TC-11 held its' annual meeting on Sunday 29 May 2005 in Chiba, Japan, preceding the SEC2005 conference. Attendance: 20 members, 1 representative, 2 observers. Apologies: 21 members, 1 observer. Absent: 2 members. Resigned: 1 member. • The next annual TC meeting is scheduled for Sunday 21 May 2006 in Karlstad, Sweden, preceding the SEC2006 conference. b. Changes in membership and officers Changes in officers No changes in officers since GA 2005. At the annual meeting in May, the second term of the chairman of wg 11.4 Network & distributed systems security will end. TC membership changes since GA 2005: • Korea: Seung-Won Sohn (new member country) • Portugal: Pedro Manuel Barbosa Veiga (succeeding Luis Sousa Cardoso) Currently TC-11 is missing representatives of the following IFIP full members (list of January 2006): Andorra, Botswana, Brazil, Bulgaria, Canada, Croatia, Ethiopia, Ireland, Israel, Lithuania, Malaysia, Mauritius, Nigeria, Oman, Poland, Russia, Sri Lanka, Syria and Thailand. The representatives of Egypt, India and Singapore have not attended three consecutive meetings and the GA members of these countries will be contacted in order to get active participation. c. Working groups In previous meetings of TC-11, the membership and membership rules of working groups has been extensively discussed. Slow but steady progress is being made by the working groups in establishing sound, international and active membership lists. In order to focus the approach in this respect, the strategy questions that have been sent to all TCs, have also been sent to all TC-11 working groups.
    [Show full text]
  • CARDIS'04 Will Bring Together Researchers and Practitioners in the Development and Deployment of Smart Card Technologies and Applications
    Sixth Smart Card Research and C A R D I S ' 0 4 Advanced Application IFIP Conference WG 8.8 — Smart Cards WG 11.2 — Small System Security Since 1994, CARDIS has been the premier international research conference dedicated to smart cards and their applications. Every two years the scientific community meets together for the conference. Ten years after, like its predecessors and back to Europe and France, CARDIS'04 will bring together researchers and practitioners in the development and deployment of smart card technologies and applications. The smart card, or, by extension, smart device with its processing power and link to its owner, is the good candidate for the person representation in the Information Society. Smart card or smart device will be the potential human representation or delegate in Ambient Intelligence (Pervasive Computing), where every appliances and computers will be connected, and where control and trust of your environment will be the next decade challenge. Smart card research is of increasing importance as the need for information security increases rapidly, especially in response to new and urgent demands. Smart card with its security features is a seed of secure system and will play a huge role in ID management. In many computer science areas, smart cards introduce new dimensions and disciplines. Disciplines like hardware design, operating system, modelling system, cryptography or distributed systems find new areas of applications or issues but also smart cards create new challenge for these domains. Unlike events devoted to commercial and application aspects of smart cards, CARDIS conferences gather researchers and technologists who are focused in all aspects of the design, development, deployment, validation and application of smart cards or smart personal devices.
    [Show full text]