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 and communications sciences and technologies is • A friendly life style and a mild climate at that time truly exceptional. The high quality of the programme of the year. — guaranteed by the presence of an unparalleled • A wide variety of places of interest, natural, number of internationally recognised top experts — historical and cultural sites, not to mention high can be assessed when reading the contents of the quality, regional gastronomy. programme, Enjoy during a week l’esprit de Toulouse! The Toulouse Congress will therefore be a unique event, where attendees will be able to appreciate the latest results in their field of expertise, and to acquire additional knowledge in other fields. Attendees arriving as specialist experts will thus have the opportunity to leave the Congress as enriched scientists, be they from academia or industry.
Jean-Claude Laprie Reino Kurki-Suonio Congress Chair Programme Chair
3 Congress Committees
High Committee of Patronage
The European Commissioner for Research The President of the Midi-Pyrénées Region The Minister of Economics, Finances and The President of the Haute-Garonne Departmental Industry Authority The Minister of Industry The President of the Toulouse Metropolitan Area The Minister of Research The Mayor of Toulouse The Ambassador in charge of International The President of the Chamber of Commerce and Investments Industry of the Midi-Pyrénées Region The President of the Chamber of Commerce and Industry of Toulouse
Congress Chair Jean-Claude Laprie, LAAS-CNRS, France
Publication Chair Tutorial Chair Leon Strous, De Nederlandsche Bank, Netherlands Ricardo Reis, Federal University of Rio Grande do
International Programme Committee
Algirdas Avizienis, Vytautas Magnus University, Max Bramer, University of Portsmouth, UK, rep. Lithuania
4 Yves Deswarte, LAAS-CNRS, France, rep. SEC Takashi Nanya, University of Tokyo, Japan
Support Committee
Marie-France Barthet, Director of Research and Michel Laurent, First Vice-President of the Technology for the Midi-Pyrénées Region Conference of University Presidents Nicole Belloubet-Frier, Rector of the Toulouse Gérard Roucairol, Scientific Director of the BULL Education Authority, Chancellor of the Universities Group Yannick d’Escatha, President of CNES (French Jean Therme, Director of Technology Research of Space Agency) CEA (French Atomic Energy Agency) Jean-Jacques Gagnepain, Director of Technology Jean-Marc Thomas, President of Airbus France at the French Ministry of Research Dominique Vernay, Director of Research and Elisabeth Giacobino, Director of Research at the Technology of the Thales Group French Ministry of Research Pascal Viginier, Director of Research and Jean-Michel Hubert, Deputy President of the High Development of France Telecom Council of Information Technologies Philippe Jurgensen, President and General Director of ANVAR (French Agency for Innovation) Bernard Larrouturou, General Director of CNRS (French National Research Organisation)
Local Organisation Committee
Marie-Astrid Fourreau, LAAS-CNRS Joëlle Penavayre, LAAS-CNRS
5 Organisers, Sponsors and Partners
The 18th IFIP World Computer Congress is organised by
With the support of
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
6 In partnership with
Gold Partner Silver Parner Bronze Partner Bronze Partner Gala Dinner Sponsor Student Fellowship Sponsor
Bronze Partner Bronze Partner Bronze Partner Bronze Partner
Bronze Partner Silver Partner Student Fellowship Sponsor
In cooperation with
7 Programme Structure
9h 10h 10h30 11h 12h 12h30 13h30 14h 15h 15h30 16h 17h/17h30
Sessions Sessions Sessions Sessions Welcome Reception Sunday
Congress Plenary Opening Keynote Sessions Sessions City Reception
Monday Session Address
Plenary Keynote Sessions Sessions Sessions Classical Ballet uesday
T Address
Plenary Keynote Sessions Sessions Sessions Gala Dinner
ednesday Address W Plenary Congress Keynote Sessions Sessions Sessions Closing Address Session Thursday
Sessions Sessions Sessions Sessions Friday
Coffee Break Lunch Break
8 Programme Overview
Tutorials Workshop for state-of-the-art and state-of-practice for on-going research
Tut2: Discrete-Event Simulation with Ws2: Technology Enhanced Learning Aplications to Computer Communication Systems and Performance Tut3: Service Oriented Computing Tut4: Test and DFT of Mixed-Signal Circuits Tut5: Software Rejuvenation - Modeling and Analysis
22 August Tut6: Semantic Web Services Tut7: Quality of Service in Information Networks Tut8: Critical Systems Development with UML:
Sunday Methods and Tools Tut10: Developing Portable Software Tut11: Formal Reasoning about Systems, Software and Hardware Tut12: GeneSyS - an Approach to Distributed Systems Supervision
Plenary Keynote Addresses
Co-located Conferences Topical Days for accomplished results for high-level surveys
TCS: Theoretical Computer Science Top1: Semantic Integration of Heterogeneous TCS-Algorithms: Algorithms, Complexity Data and Models of computation Top2: Virtual Realities and New Entertainment
26 August TCS-Logic: Logic, Semantics, Specification Top3: Fault Tolerance for Trustworthy and and Verification Dependable Information Infrastructures SEC: Information Security — Conference and Top4: Abstract Interpretation Embedded Workshops Top5: Multimodal Interaction CARDIS: Smartcard Research and Advanced Top6: Computer Aided Inventing Student Exhibition Applications Thursday Top7: Emerging Tools and Techniques for Forum for display of DIPES: Distributed and Parallel Embedded Avionics Certification for doctoral latest products Systems research and services Top8: The Convergence of Bio-Info-Nano- AIAI: Artificial Intelligence Applications and Technologies Innovations — Conference and Symposium on Professional Practice in AI Top9: E-Learning HESSD: Human Error, Safety and System Top10: Perspectives on Ambient Intelligence 23 August to Development Top11: TRaIn: The Railway Domain – A 'Grand PRO-VE: Virtual Enterprises Challenge' for Computing Science and Transportation Engineering I3E: e-Commerce, e-Business, e-Government Top12: Open-Source Software in Dependable HCE: History of Computing in Education Systems Monday Top13: Interdependencies of Critical Infrastructures Top14: Social Robots: Challenges for Machine Intelligence
Tutorials Workshop for state-of-the-art and state-of-practice for on-going research
Tut1: Applications of Multi-Agent Systems Ws3: Certification and Security in Inter- Tut9: Interaction Design of Highly Organizational E-Services [Thursday and Automated Domain-Specific Systems Friday] Ws4: Formal Aspects in Security and Trust [Thursday and Friday] Ws5: EduTech [Thursday and Friday] Ws6: Architecture Description Languages 27 August Ws7: Broadband Satellite Communication Systems Ws8: Challenges of Mobility Friday Ws9: High Performance Computational Science and Engineering Ws10: International Summit on Computing Professionalism Ws11: Prep-WITFOR 2005 Workshops
9 Programme Highlights
Morning Afternoon 9h - 10h 10h30 - 12h 13h30 - 15h 15h30 - 17h/17h30
PRO-VE Trends Session - Plenary Keynotes - Arian Zwegers (EU) and Luis SEC Panel - Meeting the Paul Twomey (ICANN) and Camarinha-Mathos (New U. Opening Session Global Challenges of Security Christopher Wilkinson (EU), Lisbon, Portugal), Research Incident Response Internet Governance Trends in Collaborative Monday Networks
Sports Arena Ariane 1 Saint-Exupéry
I3E Invited Talks - Wojciech Cellary (U. of CARDIS Invited Talk - Economics, Poland), Job TCS Algorithms Invited Talk - Plenary Keynote - Olivier Libon (FedICT, Chances in an Electronic and Juraj Hromkovic (ETH Zurich, Hervé Gallaire (Xerox, USA), Belgium), Belgian Electronic Knowledge Based Economy, Switzerland), Stability of Innovation and Information Indentity Card: Security, and Reinhard Reidl (U. Zurich, Approximation in Discrete
uesday Processing Interoperability and Integration Switzerland), Rethinking Trust Optimization T Aspects and Confidence in European E-Government
Sports Arena Seria 2 Argos Guillaumet 1
DIPES Invited Talk - Plenary Keynote - TCS-Logic Invited Talk - HCE Invited Talk - Patrick Lysaght (Xilinx, USA), Vic Basili (U. Maryland, USA), Robin Milner (U. Cambridge, JAN Lee (U. Virginia, USA), New Directions in Embedded The Role of Empirical Study in UK), Towards a Broader Theory History of Computing in Processing - Field Software Engineering of Mobile Processes Education Programmable Gate Arrays and Microprocessors
Sports Arena Guillaumet 2 Diamant Concorde 2
AIAI Invited Talk - Plenary Keynote - HESSD Invited Talk - Eunika Mercier-Laurent (EML Student Robin Milner (U. Cambridge, Christopher Wickens (U. Conseil, France), Yesterday, Forum Closing UK), Grand Challenges in Illinois, USA), Automation Error Today and Future of AI Interaction Session Computing Research: the and Human Attention: the Applications - New Challenges Session Global Ubiquitous Computer Challenge of Alerting Systems
Thursday Wednesday for Research
Sports Arena Verdi Oratorio Servanty Saint-Exupéry
10 Plenary Keynote Addresses
Monday 23 August, 10h30 - 12h
Internet Governance Moderator: Jacques Berleur, Notre-Dame-de-la-Paix University, Belgium
Paul Twomey President and CEO, ICANN (Internet Corporation For Assigned Names and Numbers)
Technical Coordination, Concepts of Governance and the Need to Support a Rapidly Globalising Internet
Abstract Dr. Paul Twomey’s background lends an appropriate balance of public/private experience. As the founder of The Internet and its supported economic and social Argo P@cific, a high-level international advisory and interests have grown in geometric proportions over the investment firm, his firm assists companies in building last 15 years. At the core of this growth has been the global internet and technology-businesses. Argo innovation and coordination among many technical and P@cific works with Fortune 500 companies and start- private players. up entrepreneurial firms in the first stages of business The expansion of the network has been a product of a to build international businesses and strategic alliances. balance of inputs and interests among technical, Prior to Argo P@cific, Twomey was founding Chief academic, business, civil society and governments. As Executive Officer of the National Office for the the Internet becomes more pervasive, supporting Information Economy (NOIE), and the Australian economic and social interaction, its relationship with government's Special Adviser for the Information pre-existing concepts of governance and social norm- Economy and Technology. He reported directly to the setting has become topical. The important distinction Minister for Communications, Information Technology between technical coordination and the governance of and the Arts and to a Cabinet Sub-committee: the human interactions and socio-economic outcomes is Ministerial Council for the Information Economy. essential. Established in 1997, NOIE is Australia's lead Biography Commonwealth agency for information economy issues. Dr. Twomey was elected President and CEO of ICANN in March 2003. ICANN, is the international not-for-profit In his position as Special Adviser to the Australian corporation charged with technical and policy government, Dr. Twomey was charged with providing coordination of the Internet protocol, including address strategic advice on its information economy and and domain name functions. technology priorities and strategies, including developing a National Strategy for the Information Dr. Twomey brings a wealth of experience to ICANN. Economy. He was also Australia’s representative at Dr.Twomey’s experience with ICANN extends to having international fora, such as the World Trade been closely involved with the international reform of Organisation, the OECD and APEC, to ensure that the Internet's technical rule making, and as Chair of the Australia's interests were promoted during the current Governmental Advisory Committee (GAC) for ICANN for formation of the rules and regulations of the three years ending November 2002. As Chair of the international information economy. forty plus member GAC, he played a key influential role in the formulation of the technical and administrative rules for the commercial Internet globally.
11 Plenary Keynote Addresses
Christopher Wilkinson Adviser Directorate General Information Society, European Commission; Head of Secretariat, ICANN Governmental Advisory Committee (GAC)
Public Policy for Internet Governance
Abstract Biography The management of the Internet naming and Christopher Wilkinson is Head of the GAC Secretariat addressing system has been assigned to a public- and Adviser, Directorate General for Information Society, private partnership in the context of the ICANN European Commission. The GAC Secretariat supports organisation and the GAC. Although this system is still the work of the ICANN Government Advisory experimental, it has been much improved during the Committee. http://www.gac.icann.org past two years. Problems have been identified and are Following a career with the Commonwealth Secretariat, being addressed; they would be present under any OECD and the World Bank, Mr. Wilkinson joined the alternative arrangement. Effective global participation is European Commission as Head of Division in 1973. He key in this respect, both public and private. Public worked successively in Regional Policy, Industrial participation must include the full range of languages, Affairs, Information Technology and levels of development and geographical regions. Private Telecommunications, including responsibility for participation is not limited to operators. Users and civil international aspects of information technology and society must also play their roles. telecommunications. In future, ICANN and the governments will have to He was involved in the initial constitution of the ICANN address more in-depth issues within the ICANN organisation and represented the EU in the GAC from mandate such as IDN and IPv6. Governments will also its inception in 1999. He was a GAC Vice Chair, 2001- have to address issues that are currently outside the 2002. ICANN mandate. This may give rise to different international systems, or to other solutions. Mr. Wilkinson was educated in England, in Yorkshire and at Cambridge university, where he took degrees in Meanwhile, work must go on. The Internet does not Natural Science and Economics. He has also studied at stop for international consultation. A global public- the London Business School and at Harvard University. private partnership such as ICANN-GAC requires a lot He taught economics at Holland Park Polytechnic of hard work. Both private operators and public officials (1962-63) and at the College of Europe, Bruges (1989- have to put in time and energy to achieve results. At its 90). best, this can be more efficient than formal inter- governmental procedures. But it is not cost-less. A significant flow of public and private resources is necessary, on a permanent basis.
12 Tuesday 24 August, 9h - 10h Chair: Roger Johnson, Birkbeck College, UK
Hervé Gallaire President, Xerox Innovation Group for Xerox Corporation, corporate senior vice president and Chief Technology Officer
Innovation and Information Processing
Abstract next wave of innovation in IT will in fact also rely on scientific progress in other disciplines. In addition to Technical progress in Information Processing has been continual improvements in the silicon based technology, extraordinary over the last 40 years. In this presentation today we are seeing the emergence of new we will briefly review some of the most significant semiconductor materials and processing methods improvements in both hardware and software, from based on organic and polymer technologies. These micro-electronics to storage, from algorithms to technologies will shape the future of display databases. While scientific progress has been key to technologies, and also MEMS, thereby closing the loop this progress, the next wave of innovation will come to where we started from. A number of recent from two different directions. inventions will be described and ideas of innovative First, a number of application domains are going to applications will be given. drive further innovation at a fast pace. The development Biography of MEMS technology will enable inexpensive and miniature sensors and actuators of all types. These will Hervé Gallaire is President, Xerox Innovation Group for create innovation opportunities in major industries, Xerox Corporation. He was appointed to this position including bioengineering, health, device service, as well October, 2001. He is also a corporate senior vice as in the home. To realize these opportunities we will president and Chief Technology Officer. face system and software challenges. Since most of He is responsible for overseeing the worldwide our systems design knowledge has its roots in the research and technology organizations in Xerox, to mechanical systems world, the applications and maximize the company's $1billion annual investment in evolution of MEMS technologies will force us to rethink research and development. He is also responsible for systems design and new digital paradigms will take intellectual property management, licensing and value hold. The development of new web services standards creation from the intellectual property and technology. is also making great headway. This will be further Additionally, he oversees the operations of a number of accelerated by the better integration of information companies in the Xerox portfolio. streams, including structured and unstructured information. This integration is key to full automation of As head of research and technology, Gallaire leads an business processes. The enablers for this organization that is one of the world's most prolific transformation are not only the web service standards, generators of patentable ideas, with world-renowned including XML, but also the natural language research and technology centers that include the PARC processing technologies that have become significantly Incorporated, the Xerox Research Centre of Europe, in mature. The presentation will review examples of these Grenoble, the Xerox Research Centre of Canada, and capabilities. There is no doubt that intelligent systems the Wilson Center for Research and Technology in still need development to reach the next level of Webster, N.Y. Finally, the Imaging & Services automation. Technology Center, and the Xerox Engineering Center are distributed over several locations in the USA. It is worth noting that a great deal of IT progress has been due to the creation of new knowledge in other From 1993 to 1998 he served as manager of the Xerox sciences, like physics and chemistry, which drove Research Centre Europe in Grenoble, France, which advances in microelectronics, storage and develops document technology for multilingual and communications. Therefore, the second driver for the multinational uses. Most recently, Gallaire held the
13 Plenary Keynote Addresses
position of Chief Architect for the corporation and Gallaire holds a master of science degree and a PhD Senior Vice-President of the Research and Technology from the University of California, Berkeley in electrical group of Xerox Corporation, based in Stamford, Conn. engineering and computer science and from École Nationale Supérieure des Arts et Métiers in France a Before joining Xerox in 1992, Gallaire headed the master degree in mechanical engineering. He is the department of mathematics and computer science at first recipient of the distinguished alumnus award of the l’École Nationale Supérieure de l’Aéronautique et de EECS department from the University of California, l’Espace in Toulouse, France and directed several Berkeley. He was elected founding member of private and public research laboratories in Europe Académie des technologies in France December 2000. before managing hardware and software development The Academy is the equivalent of the National Academy divisions at Bull and GSI. of Engineering in the United States
Wednesday 25 August, 9h - 10h Chair: Marie-Claude Gaudel, University of Paris-Sud, France
Victor R. Basili University of Maryland
The Role of Empirical Study in Software Engineering
Abstract Biography Although most scientific and engineering disciplines Dr. Victor R. Basili is Professor of Computer Science at view empiricism as a basic aspect of their discipline, the University of Maryland, College Park and Executive that view has not been the tradition in software Director of the Fraunhofer Center - Maryland. He was engineering. There is not the same symbiotic and one of the founders and principals in the Software relationship between theory and empirical study, each Engineering Laboratory (SEL) at NASA/GSFC. He works feeding the other for the evolution of the discipline. This on measuring, evaluating, and improving the software talk discusses of the role of empirical study plays in the development process and product. He worked on the understanding and improvement of the software development of mechanisms for observing and evolving product and process. It offers an historical perspective knowledge through empirical research, e.g., the of the evolution of empirical methods and their Goal/Question /Metric Approach, The Quality application over time and provides a wide ranging set Improvement Paradigm, the Experience Factory. He is a of example application of empirical methods to recipient many awards including a 1989 NASA Group demonstrate various kinds of roles that empiricism can Achievement Award, a 1990 NASA/GSFC Productivity play. The examples are taken from the author's own Improvement and Quality Enhancement Award, the experience and include the use of empirical study to 1997 Award for Outstanding Achievement in improve an organization's product quality and Mathematics and Computer Science by the Washington productivity (NASA/Goddard), a series of experiments Academy of Sciences, the 2000 Outstanding Research used to evolve a particular analytic technique (software Award from ACM SIGSOFT and the 2003 Harlan Mills artifact inspection), and current work on evaluating the Award for the IEEE Computer Society. Dr. Basili has effectiveness of various interventions for us in authored over 200 papers, has served as Editor-in- improving mission-critical software, studying the Chief of the IEEE TSE, and as 1982 Program Chair and relationship between development and performance of 1993 General Chair of ICSE, respectively. He is co- high end computing systems, and the development of editor-in-chief of the International Journal of Empirical an empirically-based repository of software practices. Software Engineering. He is an IEEE and ACM Fellow. He received his Ph.D. in Computer Science from the University of Texas in 1970.
14 Thursday 26 August, 9h - 10h Chair: Reino Kurki-Suonio, Tampere University of Technology, Finland
Robin Milner University of Cambridge
Grand Challenges in Computing Research: the Global Ubiquitous Computer
Abstract Biography The UK Computing research Committee has launched a Robin Milner graduated at the University of Cambridge programme of Grand Challenges, to focus the long- in 1957, in Mathematics and Philosophy. He worked in term aspirations of the computing research community Ferranti Ltd (1960-63), The City University (1963-68), (national and international) both in science and in University College Swansea (1968-70), and the Artificial engineering. At present there are seven proposals for Intelligence Laboratory at Stanford University (1971- such challenges, arising from ideas submitted to a 72). He joined the University of Edinburgh in 1973, workshop in 2002. For each proposal there is a core became Professor of Computation Theory there in group of researchers aiming to form a road-map. 1984, and with colleagues founded the Laboratory for Foundation of Computer Science there in 1986. He Two of these proposed Challenges involve what may be was elected Fellow of the Royal Society in 1988, and in called the Global Ubiquitous Computer; it subsumes 1991 won the A.M. Turing Award. He was appointed both the Internet and instrumented environments. Its Professor at Cambridge in 1995, headed the Computer name reflects the reasonable prediction that, within two Laboratory there from January 1996 to October 1999, decades, virtually all computing agents (heart-monitors, then became a Research Professor until retirement in satellites, laptops, ...) will be interconnected, forming an 2001. In retirement he is fully active in research. organism that is partly artefact and partly natural phenomenon -- in either case one of the most complex His implemented logical system LCF (Logic for ever constructed or studied. What models help us to Computable Functions) was a model for several later understand it? What engineering principles can cope systems for computer-assisted reasoning. He led a with the vast range of magnitudes involved? team which designed and defined Standard ML, an industry-scale programming language whose semantic My lecture will consider how to begin to address these definition is fully rigorous. His main contribution has two Challenges. Very many concepts are involved. been to the theory of concurrent computation, They include authenticity, beliefs, connectivity, especially the Calculus of Communicating Systems compilation, continuum, data-protection, delegation, (CCS) and the Pi Calculus, reported in two books: duties, provenance, failure, intentions, locality, model- "Communication and Concurrency" (Prentice Hall 1989) checking, mobility, obligations, reflectivity, security, and "Communicating and Mobile Systems: the Pi simulation, specification, stochastics, trust, and many Calculus" (CUP 1999). He now works on rigorous more. models of mobile informatic systems, reconciling virtual Models are needed that explain and implement some of and real notions of locality, connectivity and mobility. these concepts in terms of others. I shall end the lecture by describing some of my own work in modelling connectivity, locality and mobility. These notions arise naturally out of our existing models of concurrent computation, and can help to lay a foundation for global ubiquitous computation.
15 Schedule of Conferences
Room Morning 10h30 - 12h
TCS TCS-Algorithms Guillaumet 1 TCS-Logic Guillaumet 2 St Exupéry SEC Spot DIPES Concorde 2 Conference Verdi AIAI Symp. Professional Practice in AI Seria 1 Monday Track A Ariane 1 PRO-VE Track B Ariane 2 I3E Argos HCE Diamant TCS-Algorithms Guillaumet 1 TCS3-Algorithms TCS TCS-Logic Guillaumet 2 TCS3-Logic Conference St Exupéry Information Flow SEC Embedded Workshop: ISM Spot Corporate ISM CARDIS Seria 2 Invited Talk: Olivier Libon (FedICT, Belgium) DIPES Concorde 2 Fault Detection and Toleration Conference Verdi Agents AIAI Symp. Professional Practice in AI Seria 1 Learning uesday
T HESSD Oratorio Risk Management Track A Ariane 1 Modelling Enterprise Networks PRO-VE Track B Ariane 2 Education on VO and Knowledge Sharing
I3E Argos M-Commerce
HCE Diamant Perspectives on Computing Education TCS-Algorithms Guillaumet 1 TCS Invited Talk (TCS-Logic): Robin Milner TCS-Logic Guillaumet 2 (Cambridge U., UK) Conference St Exupéry Security Architecture SEC Embedded Workshop: ISE Spot Doctoral Programmes - Breadth and Depth CARDIS Seria 2 Side-Channel Attacks DIPES Concorde 2 Scheduling and Resource Management Conference Verdi Intelligent Tutoring and Collaboration AIAI Symp. Professional Practice in AI Seria 1 Semantics ednesday HESSD Oratorio Incident and Accident Analysis 1 (ATC and Healthcare) W Track A Ariane 1 Ontology Handling in Collaborative Networks PRO-VE Track B Ariane 2 Web Service Markets and Hubs I3E Argos Purchase and Payment HCE Diamant Practical Issues in Computing Education TCS-Algorithms Guillaumet 1 TCS TCS9 TCS-Logic Guillaumet 2 Conference St Exupéry Database Management SEC Embedded Workshop: I-NetSec'04 Spot Privacy Enhancing Technologies CARDIS Seria 2 Cryptographic Protocols DIPES Concorde 2 Design Space Exploration Conference Verdi AIAI Invited Talk: Eunika Mercier-Laurent Symp. Professional Practice in AI Seria 1 (EML Conseil, France) Thursday HESSD Oratorio Design for Error Tolerance Track A Ariane 1 Negotiation and Contract Management PRO-VE Track B Ariane 2 Management Issues in CN I3E Argos Infrastructure and Marketplaces
16 Sessions
Afternoon 13h30 - 15h 15h30 - 17h/17h30
TCS1-Algorithms TCS2-Algorithms TCS1-Logic TCS2-Logic Risk Management Panel: Meeting the Global Challenges of Security Malicious Code Analysis Incident Response UML Based System Design Verification and Analysis Applications 1 Neural Networks and Fuzzy Systems Knowledge Management Agents Modelling Methodologies for Collaborative Networks Research trends in collaborative networks Risk Management in Collaborative Networks E-government Models and Processes E-Governance Opening Transitions TCS4-Algorithms Invited Talk (TCS-Algorithms): Juraj Hromkovic TCS4-Logic (ETH Zurich, Switzerland) Security and Control of IT in Society: Identity Management Intrusion Detection ISM-Risk Analysis Methods and Frameworks ISM & Technology Java Cards Privacy Automotive and Mechatronic System Design Networks and Communication Applications 2 Theory Applications Recognition Formal Methods and Notations Error Analysis Distributed Business Processes Knowledge Management in Networked Enterprises Professional Virtual Communities Collaborative Spaces Invited Talks: W. Cellary (U. Economics Poznan, Poland), Service provisioning Reinhard Riedl (U. Zurich, Switzerland) Advances in Computing Education TCS7-Algorithms TCS8-Algorithms TCS7-Logic TCS8-Logic Security Protocols Security Protocols and Home Security Doctoral Programmes - from East to West Doctoral Programme - Strategy and Cooperation Fault Injection Attacks Middleware 1 Hardware Architectures and Synthesis Invited Talk: Patrick Lysaght (Xilinx Res Labs,USA) Internet Genetic Algorithms Methods Knowledge Systems Methodologies Incident and Accident Analysis 2 (Aviation and Maritime) VE / VO Management VE / VO Configuration Collaborative Engineering Case Studies of VO/CN E-Business Architecture and Processes Panel: E-Business, Only Chances without Riscs Invited Talk: JAN Lee (Virginia Tech / Radford U., USA) Reflections in Computing Education TCS11-Algorithms TCS10 TCS11-Logic Access Control and Data Protection Authentication Design for Privacy and Identity Management Privacy Threats and Trusted Computing Middleware 2 Design Methodologies and User Interfaces Short Papers Ontologies and Data Mining Reasoning and Scheduling Topics Techniques Invited Talk: Christopher Wickens (U. of Illinois, USA) Multi-Agent Models in Collaborative Networks Networking Technologies for VO Distributed Software Production and Support Innovation, Sustainability, and Readiness for Collaboration Value Chain Management E-Business Models
17 Schedule of Topical Days
Sessions Morning Afternoon Room 15h30 10h30 - 12h 13h30 - 15h 17h/17h30
Top1: Semantic Integration Semantic Integration of Semantic Integration of Oratorio of Heterogeneous Data Heterogeneous Data I Heterogeneous Data II
Top2: Virtual Realities and VR Technologies and Innovative Entertainment Seria 2 New Entertainment Entertainment Systems
Top8: The Convergence of
Monday Marmier- Bio- Info-Nano- Info-Nano for Bio Nano for Bio-Info Servanty Technologies
Contributions, Advances Setting up the Scene and Trends Top3: Fault Tolerance for Trustworthy and Cassiopée Dependable Information Infrastructures Dependability and Focuses on Further Challenges and Predictability of Embedded Communications, Security, Perspectives Systems and Software Verification
Top4: Abstract Marmier- Foundations Tools Tools and Experience Interpretation Servanty
uesday Design and Development Design and Development Top5: Multimodal T Motet of Multimodal User of Multimodal User Domains of Multimodality Interaction Interfaces I Interfaces II
Computer Aided Inventing Top6: Computer Aided Fundamentals of Cantate and Innovation Panel Inventing Computer Aided Inventing Management
Top7: Emerging Tools and Marmier- The Role of Testing in Architecture and Techniques for Avionics System Validation Servanty Certification Automation Certification
E-Learning: Online Courses Top9: E-Learning Cassiopée E-Learning: Methodology E-Learning: Technology Implementation
Top10: Perspectives on Infrastructure and Motet Aplications and Ethics Ambient Intelligence Governance
Top11: TRain: The Railway Rationale, Practice and Railway Application, Train and Transportation Motet Domain Theory Present and Future Engineering
Top12: Open-Source Insights from OSS Insights from OSS Software in Dependable Cassiopée Introductory Talks Integrators and General Suppliers Systems Discussion
Critical Interdependencies Top13: Interdependencies Power Grid as a Critical between Power Nets and
Thursday Wednesday Mermoz of Critical Infrastructures Infrastructure Information Nets - The Virtual Utility
Top14: Social Robots: Challenges for Machine Cantate Overview and Challenges Human Robot Interaction Learning and Cognition Intelligence
18 Schedule of Workshops
Sessions Morning Afternoon Room 9h - 10h30 11h - 12h30 14h - 15h30 16h - 17h/17h30 [Thursday: [Thursday: [Thursday: 10h30 - 12h] 13h30 - 15h] 15h30 - 17h/17h30]
E-Learning New Generation Ws2: Technology E-Laboratories from E-Laboratories Spot Evaluation and Technologies at Enhanced Learning Theory to Practice Experiments Usability School Sunday
Ws3: Certification and Security in Full Paper Full Paper Servanty Inter-Organizational Presentations Presentations E-Services Panel: Trust Management Models Ws4: Formal Aspects Security and Formal Models for Marmier in Security and Trust Noninterference Security Thursday
Panel: Use of E-Learning in Invited Talk; E- Ws5: EduTech Diamant Standards in a System Design; Learning Standards Technical Setting Invited Talk
Ws3 (cont.): Certification and Short Paper Full Paper Security in Inter- Concorde 2 Presentations Presentations Organizational Panel: Trust and e-Services Security Challenges for Virtual Ws4 (cont.): Formal Organizations Security and Trust Security and Trust Access Control and Aspects in Security Servanty Management (I) Management (II) Security Policies and Trust
Panel: Impact of Invited Talk; Ws5 (cont.): Panel: Mobile Development of Technology in Guillaumet 2 E-Learning EduTech E-Learning E-Learning Tools E-Learning Experience
Domain Specific Ws6: Architecture Tutorial; Models Models and Specification and Architecture Description Guillaumet 1 and Analysis (Part I) Analysis (Part II) Design Description Languages Languages
Ws7: Broadband Panel: What is the Satellite Standardisation and European Research Future of Satellite Argos Research Papers I Communication Dissemination Projects Communication Systems Systems Friday
Models, Simulation Future Trends and Ws8: Challenges and Measurement Spot Invited Talk Seamless Mobility Issues concerning of Mobility for Mobile and Mobility Wireless Systems
Ws9: High Performance Computational Cassiopée Science and Engineering
Ws10: International Summit on Latécoère Computing Professionalism
Ws11: Prep-WITFOR Marmier 2005 Workshops
19 Schedule of the Student Forum
Sessions
Room Morning Afternoon 10h30 - 12h 13h30 - 15h 15h30 - 17h/17h30
Distributed Systems Modelling and Computer Tuesday Caravelle 2 Networking & E-Commerce Engineering
Image Processing Artificial Intelligence Wednesday Caravelle 2 Security and Robotics & Language Processing
Information Systems Analysis Socio-Technical Systems Student Interaction Thursday Caravelle 2 & Quantum Computing & IT Economic impact Session
Schedule of Tutorials
Morning Afternoon Room 9h - 10h30, 11h - 12h30 14h - 15h30, 16h - 17h30
Diamant Tut2: Discrete-Event Simulation Tut4: Test and DFT of Mixed-Signal Integrated Circuits Argos Tut3: Service-Oriented Computing Tut5: Software Rejuvenation - Modeling and Analysis Ariane 2 Tut6: Semantic Web Services Sunday Guillaumet 1 Tut7: Quality of Service in Information Networks Guillaumet 2 Tut8: Safe and Secure Systems Development with UML: Methods and Tools Marmier Tut10: Developing Portable Software Servanty Tut11: Formal Reasoning about Systems, Software and Hardware Mermoz Tut12: GeneSyS - An Approach to Distributed Systems Supervision Diamant Tut1: Applications of Multi-Agent Systems Friday Ariane 2 Tut9: Interaction Design of Highly Automated Domain-Specific Systems
Congress Center Rooms
Name Level Argos 1 Business School Rooms Ariane 1 1 Ariane 2 1 Armagnac Bar Caravelle 2 0 Foyer Congress Center Cassiopée 1 Daurat Marmier Concorde -1 Servanty Daurat 3 Saint Exupéry Diamant 1 Foyer Daurat Guillaumet 1 2 Airbus Latécoère Guillaumet 2 2 Latécoère 0.5 Marmier 3 Carlit Mermoz 0.5 Mermoz Servanty 3 Desk Spot 1 St Exupéry 2 and 3 Level 0.5 Level 3
Vignemale Canigou Foyer Ader
Entrance Caravelle 2
Guillaumet 1 Boulevard Néouvielle Foyer Saint Exupéry Lascrosses Saint-Exupéry Caravelle 1 Guillaumet 2 main entrance Mercure Atria Rooms
Seria 1 to Mercure Level 0 Level 2 Atria (main entrance) Level 0 Seria 2 Verdi Cantate Name Congress Foyer Concorde Center Aria Spot Cantate Diamant Motet Ariane 1 Foyer Cassiopée Oratorio Concorde 2 Concorde 1 Ariane
Seria 1 Ariane 2 Oratorio Seria 2 Boulevard bar Argos Lascrosses Verdi Level 1 not displayed Level -1 (garden) Level 1
20 Functions - ofBoolean Reversible CircuitRealizations TCS2-Algorithms ■ Italy) Pisa, Montanari (U. Ugo Portugal), Lisbon, Antonia Lopes(U. Italy), Pisa, Ivan Lanese (U. UK), Leicester, (U. JoséLuizFiadeiro Italy), Pisa, Roberto Bruni(U. New insightson Architectural Connectors - China) Macau, XiaoshanLi(U. HeJifeng, China), Software - Contract-Oriented DevelopmentofComponent USA) SebastianNanz(Yale U., Germany), Munich, U. GerwinKlein(Technical Tobias Nipkow, Wildmoser, Code- Prototyping ProofCarrying TCS1-Logic Belgium) Preneel (KULeuven, Wo Christopher Belgium), An Braeken(KULeuven, BooleanFunctions- Normality ofCryptographic A Randomised Algorithm forCheckingthe UK) Luminita Vasiu (MiddlesexU., Comely, System- Encryption from Remove KeyEscrow The Identity-Based Italy) Pisa, Zanoni (U. Looking inside AES andBES- TCS1-Algorithms ■ Monday 23August2004 3rd IFIPInternationalConferenceonTheoreticalComputerScience TCS2004 • interrelated tracks. but TCS 2004iscomposedoftwodistinct, • while Complexity andModelsofComputation, . USA) U., TCS-Logic Chair: Germany) Munich, (Technical U. TCS-Algorithms Chair: France) (INRIA, Conference Chair: Specification and Verification. 15h30-17h 13h30-15h f(ULue/STCSC egu) Bart Belgium), lf (KULeuven/ESAT-COSIC, TCS-Algorithms TCS-Logic Zhiming Liu(IIST–UNUMacau, lxBosy(.Trno Canada) Toronto, Alex Brodsky (U. oue nLgc Semantics, focuses onLogic, omfrTSAgrtm:Vgeae Ro o C-oi:Carlit Vignemale/Roomfor TCS-Logic: Room for TCS-Algorithms: John Mitchell(Stanford hou hn,Richard Zhaohui Cheng, focuses on Algorithms, Jean-Jacques Lévy Ernst Mayr laTl,Alberto Ilia Toli, Martin TCS U lrne Italy) Florence, (U. Betti Venneri Italy), Torino, Viviana Bono(U. Mixin Case- TheMobile Subtyping-Inheritance Conflicts: USA) David Walker (PrincetonU., Yitzhak Mandelbaum, Gang Tan, Xinming Ou, Dynamic Typing withDependent Types - Italy) Genova, (U. Elena Zucca SoniaFagorzi, Davide Ancona, - A CalculuswithLazyModuleOperators TCS3-Logic USA) Barbara, CaliforniaatSanta OscarIbarra(U. Egecioglu, q-AnalogueoftheParikh - A Matrix Map Germany) Karlsruhe, Thomas Worsch (U. Hubert Schmid, GeneralsforOne-DimensionalCA- Many The Firing Problemwith SquadSynchronization TCS3-Algorithms ■ Tu Ct . Hong-Kong) (City U., FelipeCucker France), Jean-Yves Marion(LORIA, PaulinJacobédeNaurois, France), Lorraine, Structures- Arbitrary Non-Deterministic ComplexityClassesOver Ta Germany) Freiburg, (Albert-Ludwigs U. RichardMayr U.,CzechRepublic), (Masaryk and Finite-State - Automata Equivalences betweenPushdown Automata A GenericFramework forCheckingSemantical Logic - On ComplexityofModel-Checkingforthe TQL TCS2-Logic USA) Rochester, (U. RahulTripathi Germany), Düsseldorf, (U. - Theory Relativization Degree BoundsonPolynomials and To T Resource BoundedImmunityandSimplicity– si uui(sk rfcue . Japan), oshio Suzuki(OsakaPrefectureU., ouiYmkm Tet . Canada) moyuki Yamakami (Trent U., iloring RecursiontoCharacterize 10h30-12h esday 24August2004 ok oea enMr abt(IL France) Jean-Marc Talbot (LIFL, Iovka Boneva, TC1 —Foundations ofComputerScience oez etn U lrne Italy), Florence, Lorenzo Bettini(U. Olivier Bournez(INRIA Holger Spakowski Antonin Kucera Omer 21 Conferences TCS TC1 — Foundations of Computer Science
■ 13h30-15h: Wednesday 25 August 2004 TCS4-Algorithms ■ 10h30-12h Efficient Protocols for Computing the Optimal TCS6 (Room: Carlit) Swap Edges of a Shortest Path Tree - Paola Flocchini (U. Ottawa, Canada), Antonio Mesa Invited Talk (TCS-Logic): Enriques (U. la Habana, Cuba), Linda Pagli, Towards a Broader Theory of Mobile Processes - Conferences Giuseppe Prencipe (U. Pisa, Italy), Nicola Santoro Robin Milner (Cambridge U., UK) (Carleton U., Canada) Truthful Mechanisms for Generalized Utilitarian TCS-Algorithms Problems - Giovanna Melideo (U. L'Aquila, Italy), Engineering an External Memory Minimum Paolo Penna (Univ. di Salerno, Italy), Guido Proietti Spanning Tree Algorithm - Roman Dementiev, (U. L'Aquila, Italy), Roger Wattenhofer, Peter Peter Sanders (Max-Planck-Institut; Germany), Widmayer (ETH Zurich, Switzerland) Dominik Schultes (U. des Saarlands, Germany), The Driving Philosophers - Sébastien Baehni Jop Sibeyn (U. Halle, Germany) (EPFL, Switzerland), Roberto Baldoni (U. of Roma “La Sapienza”, Italy), Rachid Guerraoui, Bastian TCS-Logic Pochon (EPFL, Switzerland) New-HOPLA: a Higher-order Process Language TCS4-Logic with Name Generation - Glynn Winskel, Francesco Zappa Nardelli (U. Cambridge, UK) Effective Chemistry for Synchrony and Asynchrony - Deepak Garg, (CMU, USA), Akash Lal ■ 13h30-15h (U. Wisconsin, USA), Sanjiva Prasad (IIT Delhi, India) TCS7-Algorithms Probabilistic Controller Synthesis - Martin Scheduling with Release Times and Deadlines Leucker (Uppsala U., Sweden), Christel Baier, on a Minimum Number of Machines - Mark Marcus Groesser (U. Bonn, Germany), Benedikt Cieliebak, Thomas Erlebach, Fabian Hennecke, Bollig (RWTH Aachen, Germany), Frank Ciesinski, Birgitta Weber, Peter Widmayer (ETH Zurich, (U. Bonn, Germany) Switzerland) Highly Undecidable Questions for Process Approximation Algorithms for Mixed Fractional Algebras - Petr Jancar (Technical U. Ostrava, Packing and Covering Problems - Klaus Jansen Czech Republic), Jiri Srba (BRICS, Aalborg U., (U. Kiel, Germany) Danemark) On Weighted Rectangle Packing with Large ■ 15h30-17h Resources - Aleksei V. Fishkin, Olga Gerber, TCS5 (Room: Vignemale) Klaus Jansen (U. Kiel, Germany) Invited Talk (TCS-Algorithms): TCS7-Logic Stability of Approximation in Discrete Optimization - Juraj Hromkovic (ETH Zurich, Behavioural Equivalences for Dynamic Web Switzerland) Data - Sergio Maffeis, Philippa Gardner (Imperial College, UK) TCS-Algorithms Behavioural Theory for Mobile Ambients - The Inherent Queuing Delay of Parallel Packet Massimo Merro (U. Verona, Italy), Francesco Switches - David Hay, Hagit Attiya (Technion, Zappa Nardelli (U. Cambridge, UK) Israel) Nested Commits for Mobile Calculi: Extending Join - Roberto Bruni, Herman C. Melgratti, Ugo TCS-Logic Montanari (U. Pisa, Italy)
Asymptotic Behaviors of Type-2 Algorithms and ■ 15h30-17h Induced Baire Topologies - Chung-Chih Li TCS8-Algorithms (Lamar U., Beaumont Texas USA) 2 An O(n log n) Algorithm for the Optimal Sink Location Problem on Dynamic Tree Networks - Satoko Mamada, (Osaka U., Japan), Takeaki Uno (National Institute of Informatics, Japan), Kazuhisa Makino (Osaka U., Japan), Satoru Fujishige (Kyoto U., Japan)
22 TCS TC1 — Foundations of Computer Science
Efficient Algorithms for Handling Molecular ■ 15h30-17h Weighted Sequences - Costas S. Iliopoulos (KCL, TCS11-Algorithms UK), Christos Makris, Yannis Panagis (CEID, U. Patras, Greece), Katerina Perdikuri, Evangelos Adaptive Sorting with AVL Trees - Amr A. Theodoridis (U. Patras, Greece), Athanasios Elmasry (Alexandria U., Egypt) Tsakalidis (RACTI, Greece) Precise Analysis of p-Calculus in Cubic Time -
Livio Colussi, Gilberto Filè, A. Griggio (U. Padova, Conferences TCS8-Logic Italy)
Dynamic and Local Typing for Mobile Ambients - TCS11-Logic Mario Coppo, Mariangiola Dezani, Elio Giovannetti (U. Torino, Italy), Rosario Pugliese (U. Florence, The Simply-typed Pure Pattern Type System Italy) Ensures Strong Normalization - Benjamin Wack PolyA: True Type Polymorphism for Mobile (U. Henri Poincaré, France) Ambients - Torben Amtoft (Kansas State U., Termination in Modal Kleene Algebra - Jules USA), Henning Makholm, J. B. Wells, (Heriot-Watt Desharnais (U. Laval, Canada), Bernhard W. U., UK) Möller, Georg Struth (U. Ausgburg, Germany) Recovering Resources in the p-calculus - David Regular Tree Language Recognition with Static Teller (LIP Lyon, France) Information - Alain Frisch, (Ecole Normale Supérieure de Paris, France) Thursday 26 August 2004
■ 10h30-12h TCS9 (Room: Vignemale) Invited Talk: The tPI (tRNA Pairing Index), a Mathematical Measure of Repetition in a (Bbiological) Sequence - Gaston Gonnet (ETH Zurich, Switzerland)
TCS-Algorithms Imperfectness of Data for STS-Based Physical Mapping - Hiro Ito, Kazuo Iwama, Takeyuki Tamura (Kyoto U., Japan)
■ 13h30-15h TCS10 (Room: Carlit) Invited Talk: A Decidable Analysis of Security Protocols - Michael Rusinowitch (INRIA Lorraine, France)
TCS-Algorithms Solving Packing Problem with Weaker Block Solvers - Hu Zhang (U. Kiel, Germany)
TCS-Logic Ensuring Termination by Typability - Yuxin Deng (INRIA and U. Paris 7, France), Davide Sangiorgi (U. Bologna, Italy)
23 SEC TC11 — Security and Protection in Information Processing Systems
SEC 2004 19th IFIP International Information Security Conference
Room for SEC Conference: St Exupéry / Room for SEC embedded Workshops: Spot Conferences
■ 15h30 – 17h: Panel Conference Chair: Yves Deswarte (LAAS-CNRS, France) Meeting the Global Challenges of Security Programme Committee co-Chairs: Incident Response Frédéric Cuppens (ENST Bretagne, France) Chair: Vijay M. Masurkar (Sun Microsystems, and Sushil Jajodia (George Mason U., USA) Inc., U.S.A.) Participants: Embedded within Sec 2004, three dedicated Simone Fischer-Hübner (Karlstad U., Sweden), workshops will present new achievements in Morton Swimmer (IBM Zurich Research Information Security Education (ISE,the Laboratory, Switzerland), Kai Rannenberg (Goethe WG11.8 Workshop), in Information Security U. Frankfurt, Germany), Albin Zuccato (Karlstad Management (ISM, the 10th IFIP WG 11.1 U., Sweden), Gunnar Wenngren (Swedish Working Conference), and in Privacy and Defence Research Agency, Sweden) Anonymity in Networked and Distributed Systems (I-NetSec’04, the 3rd IFIP 11.4 ■ 17h-17h30: Kristian Beckman Award Working Conference). Chair: Louise Yngström (U. of Stockholm DSV, Sweden) Monday 23 August 2004 Secure Sensors for Smart Censors? Moore's Law for Fahrenheit 1984? - Jean-Jacques ■ 13h30-15h: Risk Management Quisquater (UCL, Belgium), recipient of the Kristian Beckman Award Chair: Sushil Jajodia (George Mason U., USA) An Abstract Reduction Model for Computer Tuesday 24 August 2004 Security Risk - Mohamed Hamdi, Noureddine Boudriga (U. Carthage, Tunisia) ■ 10h30-12h: Information Flow Remediation Graphs for Security Patch Chair: William List (Wm. List & Co, UK) Management - Vipin Swarup, (The MITRE Corporation, USA) Security in Globally Distributed Industrial Information Systems - Petri Saloma, Ronja Security Modelling for Risk Analysis - Lam For Addams-Moring, Teemupekka M. Virtanen Kwok (City U. of Hong-Kong, Hong-Kong), Dennis (Helsinki U. Technology, Finland) Longley (Queensland U. Technology, Australia) A Case for Information Ownership in ERP ■ 13h30-15h: Malicious Code Analysis systems - S.H. von Solms, Manfred P. Hertenberger (Rand Afrikaans U., South Africa) Chair: Frédéric Cuppens (ENST-Bretagne, France) Interactive Access Control for Web Services - Contrasting Malicious Java Applets by Modifying Hristo Koshutanski, Fabio Massacci (U. Trento, Italy) the Java Virtual Machine - Vincenzo Ciaschini (INFN-CNAF, Italy), Roberto Gorrieri (U. Bologna, Italy) ■ 13h30– 15h: Security and Control Analyzing Network Management Effects with of IT in Society: Identity Management SPIN and cTLA - Gerrit Rothmaier (Materna Chair: Teemupekka M. Virtanen (Helsinki U. GmbH, Germany), Andre Pohl, Heiko Krum Technology, Finland) (U. Dortmund, Germany) Identity-based Key Infrastructures (IKIs) - Yvo Formal Reasoning of Various Categories of Desmedt, Mike Burmester (Florida State U., USA) Widely Exploited Security Vulnerabilities by Pointer Taintedness Semantics - Shuo Chen, ModInt: Compact Modular Arithmetic Class Karthik Pattabiraman, Zbigniew Kalbarczyk and Library Available on Cellular Phone and its Ravi K. Iyer (UIUC, USA) Application to Secure Electronic Voting System - Hiroaki Kikuchi, Junji Nakazato (Tokai U., Japan)
24 SEC TC11 — Security and Protection in Information Processing Systems
Dependable Security by Twisted Secret Sharing - IPsec Clustering - Antti Nuopponen (Emic Semir Daskapan (Delft U. Technology, Netherlands) Networks, Finland), Sami Vaarala (Stinghorn, Finland), Teemupekka Virtanen (Helsinki U. ■ 15h30 – 17h30: Intrusion Detection Technology, Finland) Chair: Hervé Debar (France-Telecom R&D, Improving Secure Device Insertion in Home Ad- France) hoc Networks - Olivier Heen, Jean-Pierre Andreaux (Thomson R&D France, France) Conferences A Language Driven IDS for Event and Alert Correlation - Eric Totel, Bernard Vivinis, Ludovic Spam Filter Analysis - Flavio D. Garcia, Jaap- Mé (SupÉlec, France) Henk Hoepman (U. Nijmegen, The Netherlands), Jeroen van Nieuwenhuizen (U. Twente, The Install-time Vaccination of Windows Netherlands) Executables to Defend Against Stack Smashing Attacks - Avishai Wool, Danny Nebenzahl (Tel Thursday 26 August 2004 Aviv U., Israel) Eigenconnections to Intrusion Detection - Yacine ■ 10h30-12h: Database Management Bouzida, Sylvain Gombault (ENST Bretagne, France) Chair: Frédéric Cuppens (ENST-Bretagne, France) Visualising Intrusions: Watching the Webserver - Stefan Axelsson (Chalmers U., Sweden), Collective Signature for Efficient Authentication of XML Documents - Indrajit Ray, Eunjong Kim Wednesday 25 August 2004 (Colorado State U., USA) Updating Encrypted XML Documents on ■ 10h30-12h: Security Architecture Untrusted Machines - Prakash D. Reddy, Robert N. Mayo, Eamonn O'Brien-Strain, Jim Rowson, Chair: Sushil Jajodia (George Mason U., USA) Yuhong Xiong (Hewlett Packard Labs, USA) MASKS: Managing Anonymity while Sharing Efficient Simultaneous Contract Signing - Knowledge to Servers - Robert Pinto, Lucila Martin Stanek (Comenius U., Slovakia), Lubica Ishitani, Virgílio Almeida, Wagner Meira Júnior, Liskova (Slovak U. Technology, Slovakia) Fabiano A. Fonseca, Fernando D. Castro (U. Federal Minas Gerais, Brazil) ■ 13h30-15h: Access Control and Security and Differentiated Hotspot Services Data Protection Through Policy-based Management Architecture - Idir Fodil, Vincent Jardin (6WIND, Chair: Yves Deswarte (LAAS-CNRS, France) France) DHCP Authentication using Certificates - Jacques Key Management for Secure Multicast in Demerjian, Ahmed Serhrouchni (ENST, France) Hybrid Satellite Networks - Ayan Roy Recursive Sandboxes: Extending Systrace to Chowdhury, John S. Baras (U. Maryland, USA) Empower Applications - Aleksey Kurchuk, Angelos D. Keromytis (Columbia U., USA) ■ 13h30-15h: Security Protocols Fast Digital Certificate Revocation - Vipul Goyal Chair: Dr. Indrajit Ray (Colorado State U., USA) (Banaras Hindu U., India) Supporting End-to-End Security across Proxies ■ 15h30-17h: Authentication with Multiple-Channel SSL - Yong Song, Victor Leung, Konstantin Beznosov (U. British Columbia, Chair: Éric Totel (SupÉlec, France) Canada) A Long-term Trial of Keystroke Profiling using A Content-Protection Scheme for Multi-Layered Digraph, Trigraph and Keyword Latencies - Paul Reselling Structures - Pei-Ling Yu, Pan-Lung S. Dowland, Steven M. Furnell (U. Plymouth, UK) Tsai, Chin-Laung Lei (National Taiwan U., Taiwan) Trusted Computing, Trusted Third Parties, and An Asymmetric Cryptography Secure Channel Verified Communications - Martín Abadi (U. Protocol for Smart Cards - Konstantinos California at Santa Cruz, USA) Markantonakis, Konstantinos Rantos (Royal Maille Authentication - A Novel Protocol for Holloway, UK) Distributed Authentication - Andrew A. Fritz, (U. Houston, USA) ■ 15h30-17h: Security Protocols and Home Security ■ 17h-17h30: Closing: Chair: Kai Rannenberg (Goethe U. Frankfurt, Best Student Paper Award and Germany) Presentation of Sec 2005
25 SEC TC11 — Security and Protection in Information Processing Systems
Embedded Workshop: Information Security Management (ISM)
Room: Spot
Infrastructure Protection - Tyrone Busutiil, Programme Committee Chair: Matt Matthew Warren (Deakin U., Australia) Conferences Warren (Deakin U., Australia) A Framework for role-based monitoring of Insider Misuse - Aung Htike Phyo, Steven M. Tuesday 24 August 2004 Furnell, Francisco Portilla (U. Plymouth, UK)
■ 10h30-12h: Corporate ISM ■ 15h30-17h30: ISM & Technology Corporate Information Security Education: Is Update/Patch Management Systems: a protocol Outcomes Based Education the Solution? - taxonomy with security implications - Andrew Joahn Van Niekerk, Rossouw Von Solms (Port Colarik, Clark Thomborson, Lech Janczewski (U. Elizabeth Technikon, South Africa) Auckland, New Zealand) Towards Corporate Information Security Investigating a smart Technology - Kevin Obedience - Kerry-Lynn Thomson, Rossouw von O’Sullivan, Karen Neville, Ciara Heavin (U. College Solms (Port Elizabeth Technikon, South Africa) Cork, Ireland) Discussion on what are the future issues of ■ 13h30-15h: ISM - Risk Analysis Information Security. Methods and Frameworks Panel: to-be-announced CIIP-RAM - A Security Risk Analysis Methodology for Critical Information
Embedded Workshop: Information Security Education (ISE)
Room: Spot
A new paradigm for information security Program Committee Chair: Helen education at doctoral level - Nimal Jayaratna Armstrong (Curtin U., Australia) (Curtin Business School, Australia)
■ Wednesday 25 August 2004 13h30-15h: Doctoral Programmes – from East to West ■ 10h30-12h: Welcome Chair: Louise Yngström, (U. of Stockholm DSV, Aims of workshop, Helen Armstrong (Curtin U., Sweden) Australia) Highly qualified information security personnel training in Russia – Victor Gorbatov, Anatoly Doctoral Programmes – Breadth and Maluk, Natalia Miloslavskaya, Alexander Tolstoy Depth (Moscow Engineering Physics Institute, Russia) Chair: Helen Armstrong (Curtin U., Australia) Doctor of Philosophy: IT Security - Jill Slay (U. South Australia, Australia) Laboratory Support for Information Security Education - Natalia Miloslavskaia, Alexander Doctoral Programme on Information and Tolstoi, Dmitriy Ushakov (Moscow Engineering Communication Systems Security at the U. the Physics Institute, Russia) Aegean - Socratis Katsikas, (U. the Aegean, Greece) An holistic approach to an international doctoral program in information security - An international security perspective - Gerald Louise Yngström, (U. Stockholm DSV, Sweden) Quirchmayr (U. Vienna, Austria)
26 SEC TC11 — Security and Protection in Information Processing Systems
■15h30-16h30: Doctoral Programme ■ 16h30-17h30: Building an - Strategy and Cooperation International Doctorate Programme Chair: Gerald Quirchmayr (U. of Vienna, Austria) General Content Standards and Core Body of Academic Content and Structure Required by Knowledge Requirements - Corey Schou (Idaho the Military for an International Doctoral State U., USA)
program - Ronald Dodge (US Military Academy Panel: Minimum Requirements for Conferences West Point, USA) International Doctorate Doctoral Program with Specialization in Moderators: Helen Armstrong (Curtin U., Australia) Information Security: A High Assurance and Gerald Quirchmayr (U. Vienna, Austria) Constructive Security Approach - Cynthia Irvine & Timothy Levin (Naval Postgraduate School, Monterey, USA)
Embedded Workshop: Privacy and Anonymity in Networked and Distributed Systems (I-NetSec’04)
Room: Spot
Marco Voss (Darmstadt U. of Technology, Programme Committee co-Chairs: Bart Germany) De Decker (K.U.Leuven, Belgium) and Els Van Herreweghen (IBM Research Zurich, A Risk Driven Approach to Designing Privacy Switzerland) Enhanced Secure Applications - Els Van Herreweghen (IBM Research, Zurich, Switzerland)
Thursday 26 August 2004 ■ 15h30-17h: Privacy Threats and Trusted Computing ■ 10h30-12h: Privacy Enhancing Privacy-Invasive Software in File-Sharing Tools - Technologies Andreas Jacobsson, Martin Boldt, Bengt Carlsson A Security Model for Anonymous Credential (Blekinge Institute of Technology, Sweden) Systems - Andreas Pashalidis, Chris J. Mitchell Infusing Privacy Norms in DRM - Incentives (Royal Holloway, UK) and Perspectives from Law - Alex Cameron (U. Private Information Storage with Logarithmic- Ottawa, Canada) Space Secure Hardware - Alexander Iliev, Sean Panel: Trusted Computing and Privacy Smith (Dartmouth College, USA) Moderator: Bart De Decker (K. U. Leuven, Taxonomy of Mixes and Dummy Traffic - Belgium) Claudia Diaz, Bart Preneel (K.U.Leuven, Belgium) Participants: Yves Deswarte (LAAS-CNRS, France) ■ 13h30-15h: Design for Privacy and Dirk Kuhlmann (HP Labs, UK) Identity Management Kai Rannenberg (Goethe U. Frankfurt, Germany) Els Van Herreweghen (IBM Research, Zurich, Identity Management for Self-Portrayal - Toby Switzerland) Baier, Christian P. Kunze (U. Hamburg, Germany) Privacy Preserving Online Reputation Systems -
27 CARDIS WG 8.8 — Smart Cards WG 11.2 — Small System Security
CARDIS'04 Sixth Smart Card Research and Advanced Application IFIP Conference
Room: Argos Conferences
Wednesday 25 August 2004 Conference Chair: Jean-Jacques Quisquater (UCL, Belgium) ■ 10h30-12h : Side-Channel Attacks Programme Committee Chair: Pierre Paradinas (CNAM, France) Chair: Jan Verschuren (TNO, The Netherlands) Efficient Countermeasures against Power Analysis - Tetsuya Izu, Kouichi Itoh, Masahiko Tuesday 24 August 2004 Takenaka (Fujitsu Laboratories Ltd., Japan) Smart-Card Implementation of Elliptic Curve ■ 10h30-12h: Opening session Cryptography and DPA-type Attacks - Marc Yves Deswarte, Pierre Paradinas and Joye (Gemplus, France) Jean-Jacques Quisquater Differential Power Analysis Model and Some Invited talk Results - Sylvain Guilley, Philippe Hoogvorst, Belgian Electronic Identity Card: Security, Renaud Pacalet (GET / Télécom Paris, France) Interroperability and Integration Aspects - Olivier Libon (Federal Public Service on Information and ■ 13h30-15h: Fault Injection Attacks Communication Technology, Belgium) Chair: Peter Honeymann (U. of Michigan, USA) ■ 13h30-15h: Java Cards Place and Route for Secure Standard Cell Design - Kris Tiri, Ingrid Verbauwhede (UCLA, USA) Chair: Joachim Posegga (U. Hamburg, Germany) A Survey on Fault Attacks - Christophe Giraud, Invited Presentation: Smart Cards in Love - Hugues Thiebeauld (Oberthur Card Systems, France) Bertrand du Castel (Axalto, USA) A Differential Fault Analysis Attack Resistant Enforcing High-Level Security Properties for Architecture of the Advanced Encryption Smart Card Applets - Mariela Pavlova, Gilles Standard - Mark Karpovsky, Konrad J. Barthe, Lilian Burdy, Marieke Huisman, Jean- Kulikowski, Alexander Taubin (Boston U., USA) Louis Lanet (INRIA, France) On-the-Fly Metadata Stripping for Embedded ■ 15h30-17h: Middleware 1 Java Operating Systems - Christophe Rippert, Damien Deville (INRIA Futurs, IRCICA/LIFL, France) Chair: Peter Hartel (U. Twente, The Netherlands) Secure Network Card Implementation of a ■ 15h30-17h30: Privacy Standard Network Stack in a Smart Card - Michael Montgomery, Asad Ali, Karen Lu (Axalto, USA) Chair: Jean-Jacques Quisquater (UCL, Belgium) A Pattern Oriented Lightweight Middleware for Privacy Issues in RFID Banknotes Protection Smartcards - Jean-Michel Douin (CEDRIC-CNAM, Schemes - Gildas Avoine (EPFL-LASEC, France), Jean-Marie Gilliot (ENST Bretagne, France) Switzerland), Card-Centric Framework - Providing I/O Smartcard-Based Anonymization - Anas Abou El Resources for Smart Cards - Pak-Kee Chan, Kalam, Yves Deswarte (LAAS-CNRS, France), Chiu-Sing Choy, Cheong-Fat Chan, Kong-Pang Gilles Trouessin (Ernst & Young, France), Pun (Chinese U. Hong-Kong, Hong-Kong) Emmanuel Cordonnier (ETIAM, France) Privacy Protecting Protocols for Revocable Digital Signatures - István Zsolt Berta, Levente Buttyán, István Vajda (Budapest U. Technology and Economics, Hungary) Anonymous Services Using Smart Cards and Cryptography - Sébastien Canard, Jacques Traoré (France Telecom R&D, France)
28 CARDIS WG 8.8 — Smart Cards WG 11.2 — Small System Security
Thursday 26 August 2004
■ 10h30-12h: Cryptographic Protocols Chair: Jean-Bernard Fischer (OCS, France)
On the Security of DeKaRT - Gilles Piret, Conferences François-Xavier Standaert, Gaël Rouvroy, Jean-Jacques Quisquater (UCL Crypto Group, Belgium) An Optimistic Fair Exchange Protocol for Trading Electronic Rights - Masayuki Terada (NTT DoCoMo, Japan), Makoto Iguchi, Masayuki Hanadate, Ko Fujimura (NTT, Japan) Accountable Ring Signatures: A Smart Card Approach - Shouhuai Xu (U. Texas at San Antonio, USA), Moti Yung (Columbia U., USA)
■ 13h30-15h: Middleware 2 Chair: Pierre Paradinas (CNAM, France) Invited Presentation: Smart Cards, Framework and Application Models – Jean-Jacques Vandewalle (Gemplus, France) Checking and Signing XML Using Java Smart Cards - Gruschka Nils, Florian Reuter, Norbert Luttenberger (Christian-Albrechts-U. Kiel, Germany) XML Agent on Smart Cards - Sunil Sayyaparaju, Deepak B. Phatak (IIT Bombay, India)
■ 15h-15h30: Closing Session with Best Student Paper Award.
29 DIPES TC10 — Computer Systems Technology SIG ES — Embedded Systems
DIPES 2004 IFIP Working Conference on Distributed and Parallel Embedded Systems
Room: Concorde 2 Conferences
An Efficient Active Replication Scheme that Conference Chair: Bernd Kleinjohann Tolerate Failures in Distributed Embedded Real- (U. Paderborn/C-LAB, Germany) Time Systems - Alain Girault, Hamoudi Kalla Programme Committee co-Chairs: Guang (INRIA Rhone-Alpes, France), Yves Sorel (INRIA Gao (U. Delaware, USA) and Hermann Rocquencourt, France) Kopetz (Technical U. Vienna, Austria) ■ 13h30-15h: Automotive and Mechatronic System Design Monday 23 August 2004 Development of Distributed Automotive ■ 13h30-15h: UML Based System Software - Uwe Honekamp, Matthias Wernicke Design (Vector Informatik GmbH, Germany) Experiences from Model Based Development of MDA Platform for Complex Embedded Systems Drive-by-Wire Control Systems - Per Development - Chokri Mraidha, Sylvain Robert, Johannessen, Fredrik Toerner (Volvo Car Sebastien Gerard, David Servat (CEA-LIST - CEA Corporation, Sweden), Jan Torin (Chalmers U. SACLAY, France) Technology, Sweden) On Detecting Deadlocks in Large UML Models Hardware Design and Protocol Specification for – based on Expressive Subset - Michael the Control and the Communication of a Kersten, Wolfgang Nebel (U. Oldenburg, Germany) Mechatronic System - Andre L. De Freitas (U. Verification Framework for UML-based Design Paderborn/MLaP, Germany) Achim Rettberg, of Embedded Systems - Martin Kardos, Yuhong Andreas Hennig (U. Paderborn/C-LAB, Germany) Zhao (U. Paderborn, Germany) ■ 15h30-17h: Networks and ■ 15h30-17h: Verification and Analysis Communication LTL’s Intuitive Representations and its Automaton A Decentralized Self-Organized Approach for Translation - Yuhong Zhao (U. Paderborn, Germany) Wireless Sensor Networks - Jean-Paul Jamont Modeling and Verification of Hybrid Systems (INP Grenoble, France), Michel Occelo (U. Pierre- based on Equations - Kazuhiro Ogata (NEC Mendes France, France) Software Ltd./JAIST, Japan), Daigo Yamagishi, A Software Architecture and Supporting Kernel Takhiro Seino, Kokichi Futatsugi (Graduate School for Largely Synchronously Operating Sensor of Information Science, JAIST, Japan) Networks - Kane Kim, C.S. Im, M.C. Kim, Y.Q. Li, Distribution of Time Interval between S.M. Yoo, and L.C. Zheng (U. California, USA) Successive Interrupt Requests - Wojciech Adaptive Bus Encoding Schemes for Power- Noworyta (Polytechnic Wroclawska, Poland) efficient Data Transfer in DSM Environments - Claudia Kretzschmar, Markus Scheithauer, Tuesday 24 August 2004 Dietmar Müller (Chemnitz U. Technology, Germany) ■ 10h30-12h: Fault Detection and Toleration Wednesday 25 August 2004 A Membership Agreement Algorithm Detecting ■ and Tolerating Asymmetric Timing Faults - 10h30-12h: Scheduling and Hakan Sivencrona (SP Swedish National Testing Resource Management and Research Institute, Sweden), Mattias Persson, A Novel Approach for Off-Line Multiprocessor Jan Torin (Chalmers U. Technology, Sweden) Scheduling in Embedded Hard Real-Time Temporal Bounds for TTA: Validation - Karen Systems - Raimundo da Silva Barreto (Federal U. Godary, Isabelle Auge-Blum, Anne Mignotte Amazon, Brazil), Paulo Romero Martins Maciel (CITI/INSA Lyon, France) (Federal U. Pernambuco, Brazil)
30 DIPES TC10 — Computer Systems Technology SIG ES — Embedded Systems
Schedulability Analysis and Design of Real- ■ 15h30-17h: Short Papers Time Embedded Systems with Partitions - David Doose, Zoubir Mammeri (IRIT., France) Evaluating High-level Models for Real-Time Embedded Systems Design - Lisane Brisolara, Flexible Resource Management - Carsten Leandro Becker, Luigi Carro, Flavio Wagner, Boeke, Simon Oberthuer (U. Paderborn, Germany) Carlos Eduardo Pereira (Federal U. Rio Grande do Sul, Brazil) ■ 13h30-15h: Hardware Conferences Architectures and Synthesis A Data Flow Language (Avon) as an Architecture Description Language (ADL) - Automatic Synthesis of System C-Code from Ashoke Deb (Memorial U. St. John's, Canada) Formal Specifications - Carsten Rust, Achim Engineering Concurrent and Reactive Systems Rettberg (U. Paderborn/C-LAB, Germany) with Distributed Real-Time Abstract State Behavioural Synthesis of a Parallel Hardware Machines - Uwe Glässer, Mona Vajihollahi (Simon JPEG Decoder from a Functional Specification - Fraser U., Canada) John Hawkins, Ali E. Abdallah (South Bank U., UK) The Implications of Real-Time Behavior in A Self-Controlled and Dynamically Networks-on-Chip Architectures - Edgard de F. Reconfigurable Architecture - Florian Dittman Corrêa (Federal U. Rio Grande do Sul, Federal U. (U. Paderborn, Germany) Achim Rettberg (U. Rio Grande do Norte, Brazil), Eduardo W. Basso, Paderborn/C-LAB, Germany) Gustavo R. Wilke, Flávio R. Wagner, Luigi Carro (Federal U. Rio Grande do Sul, Brazil) ■ 15h30-17h: Invited Talk ME64 – A Parallel Hardware Architecture For New directions in embedded processing - field Motion Estimation Implemented in FPGA - programmable gate arrays and Diogo Zandonai (Federal U. Rio Grande do Sul, microprocessors - Patrick Lysaght (Senior Genius Institute of Technology, Brazil), Sergio Director, Xilinx Research Labs, Xilinx Inc., USA) Bampi (Federal U. Rio Grande do Sul, Brazil), Marcel Bergerman (Genius Institute of Thursday 26 August 2004 Technology, Brazil)
■ 10h30-12h: Design Space Exploration Profiling PEARL Design Specifications - Roman Gumzej, Matja Colnari, (U. Maribor, Germany) Wolfgang A. Halang (U. Hagen, Germany) A Multiobjective Tabu Search Algorithm for Design Space Exploration of Embedded Systems - Frank Slomka, Karsten Albers (U. Oldenburg, Germany), Richard Hofmann (U. Erlangen-Nürnberg, Germany) Design Space Exploration with Automatic Generation of IP-Based Embedded Software - Julio C. B. de Mattos, Lisane Brisolara, Renato Hentschke, Luigi Carro, Flavio Wagner (Federal U. Rio Grande do Sul, Brazil)
■ 13h30-15h: Design Methodologies and User Interfaces A Multi-level Design Pattern for Embedded Software - Ricardo J. Machado, Joao M. Fernandes (U. do Minho, Portugal) A Petri Net Based Approach for the Design of Dynamically Modifiable Embedded Systems - Carsten Rust, Franz Josef Rammig (U. Paderborn/C-LAB, Germany) Internet Premium Services for Flexible Format Distributed Devices - Brigitte Oesterdiekhoff (U. Paderborn/C-LAB Germany)
31 AIAI TC12 — Artificial Intelligence WG 12.5 — Artificial Intelligence Applications
AIAI 2004 First IFIP International Conference on Artificial Intelligence Applications and Innovations
Conferences Room for AIAI Conference: Verdi / Room for The Symposium on Professional Practice in AI: Oratorio
(Hefei U. Technology, China), Yanbin Zhuang Conference co-Chairs: John Debenham (Changzhou Institute of Technology, China) and (Sydney U. of Technology, Australia) and Hongyan Wang (Hefei U. Technology,. China) Eunika Mercier-Laurent (EML Conseil, France) Control of Overhead Crane by Fuzzy-PID with Genetic Optimisation - A. Soukkou (U. Skikda, Programme Committee co-Chairs: Max Algeria), A.Khellaf (U. Ferhat Abbas-Sétif, Algeria) Bramer (U. of Portsmouth, UK) and Vladan and S.Leulmi (U. Skikda, Algeria) Devedzic (U. of Belgrade, Serbia and Montenegro) Creative Design of Fuzzy Logic Controller - Lotfi Hamrouni and Adel M. Alimi (U. Sfax, Tunisia) AIAI incorporates both a collection of refereed papers, and selected papers in the special On-Line Extraction of Fuzzy Rules in a stream “The Symposium on Professional Wastewater Treatment Plant - Jose Victor Practice in AI” Ramos (Polytechnic Institute of Leiria, Portugal), Carlos Gonçalves (Sociedade Portuguesa de Papel, Portugal), Antonio Dourado (U. Coimbra, Monday 23 August 2004 Portugal)
■ 13h30-15h: Applications 1 Tuesday 24 August 2004
Chair: Max Bramer (U. Portsmouth, UK) ■ 10h30-12h: Agents Artificial Intelligence Systems in Micromechanics - Felipe Lara-Rosano, Ernst Chair: Vagan Terziyan (U. Jyvaskyla, Finland) Kussul, Tatiana Baidyk, Leopoldo Ruiz, Alberto An Autonomous Intelligent Agent Architecture Caballero and Graciela Velasco (CCADET, UNAM, Based on Constructivist AI - Filipo Studzinski Mexico) Perotto, Rosa Maria Vicari and Luís Otávio Integrating two Artificial Intelligence Theories in Álvares (UFRGS, Brazil) a Medical Diagnosis Application - Hadrian Peter Finding Manufacturing Expertise using (U. the West Indies, Barbados), Wayne Goodridge Ontologies and Cooperative Agents - Olga (Dalhousie U., Canada) Nabuco, Mauro F. Koyama and Francisco E. D. Artificial Intelligence and Law - Hugo Cesar Pereira (Centro de Pesquisas Renato Archer, Hoeschl, Vânia Barcellos (Juridical Intelligence Brazil), Khalil Drira (LAAS-CNRS, France) and Systems Institute, Brazil) Using Agents in the Exchange of Product Data - Virtual Market Environment for Trade - Paul Udo Kannengiesser and John S. Gero (U. Sydney, Bogg, Peter Dalmaris (Sydney U. of Technology, Australia) Australia) ■ 13h30-15h: Applications 2 ■ 15h30-17h30: Neural Networks Chair: Olivier de Mouzon (IRIT, France) and Fuzzy Systems Deductive Diagnosis of Digital Circuits - Chair: Timo Honkela (Helsinki U. Technology, J. J. Alferes, F. Azevedo, P. Barahona and C. V. Finland) Damásio (CENTRIA, Portugal), T. Swift (SUNY, USA) An Artificial Neural Networks Approach to the A Pervasive Identification and Adaptation Estimation of Physical Stellar Parameters - System for the Smart House - Paulo F. F. Rosa, Alejandra Rodríguez, Iciar Carricajo, Carlos Sandro S. Lima, Wagner T. Botelho (Military Dafonte, Bernardino Arcay and Minia Manteiga Institute of Engineering, Brazil), Alexandre F. (U. A Coruña, Spain) Nascimento (Military Region, Brazil) and Max Evolutionary Robot Behaviors Based on Natural Silva Alaluna (Military Institute of Engineering, Selection and Neural Networks - Jingan Yang Brazil)
32 AIAI TC12 — Artificial Intelligence WG 12.5 — Artificial Intelligence Applications
Comparison of NASA Emergent Systems - ■ 13h30-15h: Internet Christopher Rouff and Amy Vanderbilt (SAIC, USA), Walt Truszkowski, James Rash, Michael Chair: Pierre-Yves Schobbens Hinchey (NASA Goddard Space Flight Center, (U. Namur, Belgium) USA) Impact on Performance of Hypertext Online Possibilistic Diagnosis Based on Expert Classification of Selective Rich HTML Capture -
Knowledge for Engine Dyno Test Benches - Houda Benbrahim and Max Bramer Conferences O. de Mouzon (IRIT, France), X. Guérandel (DRT (U. Portsmouth, UK) ISI, France), D. Dubois, H. Prade (IRIT, France) Introducing a Star Topology into Latent Class and S. Boverie (Siemens VDO Automotive SAS, Models for Collaborative Filtering - Gabriela France) Polcicova (Slovak U. Technology, Slovak Republic), Peter Tino (U. Birmingham, UK) ■ 15h30-17h30: Theory Dialoguing With an Online Assistant in a Chair: John Debenham Financial Domain: The VIP-Advisor Approach - (Sydney U. of Technology, Australia) Josefa Z. Hernandez, and Ana Garcia-Serrano (Technical U. Madrid, Spain), Javier Calle (Carlos Knowledge Base Structure: Understanding III U., Spain) Maintenance - John Debenham (Sydney U. of Technology, Australia) An Agency for Semantic-Based Automatic Discovery of Web Services - Simona Colucci, Learning Bayesian Metanetworks from Data Tommaso Di Noia, Eugenio Di Sciascio, with Multilevel Uncertainty - Vagan Terziyan (Polytechnic Bari, Italy), Francesco M. Donini (U. Jyvaskyla, Finland), Oleksandra Vitko (Kharkov (U. Tuscia, Italy), Marina Mongiello, Giacomo National U. Radioelectronics, Ukraine) Piscitelli, Gianvito Rossi (Polytechnic Bari, Italy) Using Organizational Structures Emergence for Maintaining Functional Integrity in Embedded ■ 15h30-17h: Genetic Algorithms Systems Networks - Jean-Paul Jamont and Michel Occello (INP Grenoble, France) Chair: Zdzislaw Bubnicki (Wroclaw Technical U., Poland) Efficient Attribute Reduction Algorithm - Zhongzhi Shi, Shaohui Liu, Zheng Zheng (Chinese GESOS : A Multi-Objective Genetic Tool for Academy of Sciences, China) Project Management Considering Technical and Non-technical Constraints - Claude Baron, Using Relative Logic for Pattern Recognition - Samuel Rochet (LESIA, INSA, France) and Daniel Juliusz L. Kulikowski (Institute of Biocybernetics Esteve (LAAS, CNRS, France) and Biomedical Engineering PAS, Poland) Using Genetic Algorithms and Tabu Search Wednesday 25 August 2004 Parallel Models to Solve the Scheduling Problem - Pedro Pinacho, Mauricio Solar, Mario ■ 10h30-12h: Intelligent Tutoring and Inostroza and Rosa Muñoz (U. Santiago, Chile) Collaboration Modelling Document Categories by Evolutionary Learning of Text Centroids - Jose Chair: Janette Cardoso (IRIT-UT1, France) Ignacio Serrano and Maria Dolores Del Castillo MathTutor: A Multi-Agent Intelligent Tutoring (Instituto de Automática Industrial, Spain) System - Janette Cardoso (IRIT-UT1, France), Guilherme Bittencourt, Luciana B. Frigo, Eliane Thursday 26 August 2004 Pozzebon, Adriana Postal (UFSC, Brazil) ■ Analysis and Intelligent Support of Learning 10h30-12h Communities in Semi-structured Discussion Chair: John Debenham (Sydney U. Technology, Environments - Andreas Harrer (U. Duisburg- Australia) Essen, Germany) Invited Talk An Adaptive Assessment System to Evaluate Student Ability Level - Antonella Carbonaro, Yesterday, Today and Future of AI Applications - Giorgio Casadei, Simone Riccucci (U. Bologna, New Challenges for Research - Eunika Mercier- Italy) Laurent (EML Conseil, France), with the participation of Jean Rohmer (Thales Forming the Optimal Team of Experts for Communications, France) Collaborative Work - Achim P. Karduck and Amadou Sienou (Furtwangen U. Applied Sciences, Germany)
33 AIAI TC12 — Artificial Intelligence WG 12.5 — Artificial Intelligence Applications
■ 13h30-15h: Ontologies and Data ■ 15h30-17h00: Reasoning and Mining Scheduling Chair: Eunika Mercier-Laurent (EML Conseil, Chair: Martin Geiger (U. Nottingham, UK) France) Verification of Procedural Reasoning Systems ODEval: a Tool for Evaluating RDF(S), (PRS) Programs Using Coloured Petri Nets
Conferences DAML+OIL and OWL Concept Taxonomies - (CPN) - Ricardo W. de Araujo and Adelardo A.D. O. Corcho, A. Gómez-Pérez, R. Gónzalez-Cabero and de Medeiros (U. Federal do Rio Grande do Norte, M.C. Suárez-Figueroa (U. Polytechnic Madrid, Spain) Brazil) Air - A Platform for Intelligent Systems - Dragan CBR and Micro-Architecture Anti-patterns Djuric, Dragan Gasevic (U. Belgrade, Serbia and Based Software Design Improvement - Montenegro), Violeta Damjanovic (Postal Savings Tie Feng, Jiachen Zhang, Hongyuan Wang and Bank, Belgrade, Serbia and Montenegro) Xian Wang (Jilin U., China) SwissAnalyst: Data Mining Without the Entry A Decision Support System (DSS) for the Ticket - Olivier Povel (Portia SA, Switzerland), Railway Scheduling Problem - L. Ingolotti, Christophe Giraud-Carrier (ELCA Informatique SA, P. Tormos, A. Lova, F. Barber, M.A. Salido, M. Abril Switzerland) (U. Polytechnic Valencia, Spain) Data Mining by MOUCLAS Algorithm for An Interactive Multicriteria Optimisation Petroleum Reservoir Characterization from Well Approach to Scheduling - Martin Josef Geiger Logging Data - Yalei Hao, Markus Stumptner and Sanja Petrovic (U. Nottingham, UK) (U. South Australia, Australia), Gerald Quirchmayr (U. Vienna, Austria) and Qing He (Chinese Academy of Sciences, China)
The Symposium on Professional Practice in AI (A Stream within AIAI-2004)
Room: Oratorio
■ 15h30-17h30: Agents Programme Committee Chair: John Debenham (Sydney U. of Technology, An Architectural Design Approach of a Tutor Australia) Agent in a Collaborative Virtual Learning Environment - Bogdan Marin, Axel Hunger, Stefan Werner, Christian Schütz, Sorin Meila Monday 23 August 2004 (U. Duisburg-Essen, Germany) Complex Brains: Constructing better Minds ■ 13h30-15h: Knowledge Management using Sub-Minds from Biotechnology Authors - Scheduling of Industrial Jobs Using an A-Teams Ray Walshe, Mark Humphrys, (Dublin City U, Approach - Carlos A. S. Passos and Sara L. A. Ireland) Ciarán O’Leary (Dublin Institute of Fonseca (Centro de Pesquisas Renato Archer, Technology, Ireland) CenPRA/MCT, Brazil) Virtual Laboratory of Robotics Tool of KMAI - Knowledge Management with Artificial Experimental Investigation - Riadh Besbes and Intelligence - Marcelo Stopanovski Ribeiro, Adel Alimi (ENIS, Tunisia) Eduardo da Silva Mattos, Tânia Cristina Intelligent Traffic Forecasting System using D'Agostini Bueno, Hugo Cesar Hoeschl (IJURIS Data Assimilation for use in Traveler Florianópolis, Brazil) Information Systems - Frank P.Terpstra, Arnoud Classification of Ideas in an Industrial Visser (U. Amsterdam, The Netherlands) Geleyn Innovation Management System - S. Kopácsi, R. Meijer (LogicaCMG, The Netherlands) G.L. Kovács (Hungarian Academy of Sciences, Using an Associate Agent to Improve Human- Hungary), D. Stokic, A. R. Campos (ATB Institute für Computer Collaboration in an E-Market System - angewandte Systechnik Bremen GmbH, Germany) Ting Yu, John Debenham (U. Technology, Sydney, Document Maps for Competence Management - Australia) Timo Honkela (Helsinki U. Technology, Finland), Raimo Nordfors and Raimo Tuuli (Gurusoft, Inc., Finland).
34 AIAI TC12 — Artificial Intelligence WG 12.5 — Artificial Intelligence Applications
Tuesday 24 August 2004 Wednesday 25 August 2004
■ 10h30-12h: Learning ■ 10h30-12h: Semantics Retrieving Content with Agents in Web Service Schema Mining in XML Documents - Krzysztof E-Learning Systems - Victor Pankratius, Olivier Goczyla, Wojciech Waloszek (Gdansk U. Technology, Sandel, Wolffried Stucky (U. Karlsruhe, Germany) Poland) Conferences Creating Student Models to Improve Student Petri Net Infrastructure for the Semantic Web - Learning - Floriana Esposito, Oriana Licchelli, Dragan Gasevic, Jelena Jovanovic and Vladan Giovanni Semeraro (U. Bari, Italy) Devedzic (U. Belgrade, Serbia and Montenegro) Application of Uncertain Variables and Learning Technical Documentation and Semantic Web Algorithms in a Class of Distributed Knowledge Based Methods - Uwe Egly (Vienna U. Technology, Systems - Zdzislaw Bubnicki Austria), Bernhard Schiemann (FAU Erlangen- Knowledge Extraction From Time Series Nuremberg, Germany), Josef Schneeberger Databases - Aurora Perez-Perez, Agustín (EDS GmbH, Germany) Santamaría and Juan P. Caraça-Valente Mappings As A Lightweight Ontology System (Technical U. Madrid, Spain) África López-Illescas for the World-Wide Web - Kimio Kuramitsu (High Council for Sports, Spain) (Kogakuin U., Japan)
■ 13h30-15h: Applications ■ 13h30-15h: Methods Application of Fuzzy Logic for the Intelligent Users' Lexical Adaptation in Human-Computer Control of Heating System - Vytautas Kaminskas, Spoken Dialogue - Virginie Amiel, Ludovic LeBigot Raimundas Liutkevicius (Vytautas Magnus U., (France Télécom, France), Patrice Terrier Lithuania) (Laboratoire Travail et Cognition, France) Crane Scheduling in Container Terminals: Method Engineering the Open Process A Hybrid Approach Integrating AI Techniques Framework and Cassiopeia - B. Henderson-Sellers, and OR Models - Guohua Wan (U. Macao, China) Q.-N. N. Tran and J. Debenham (U. Technology Case-Based Reasoning Systems with Sydney, Australia) Alternative Similarity Functions - Savvas Towards an Organizational Intelligent J. Nikolaidis (Aristotle U. of Thessaloniki, Greece) Framework based on Giddens' Structuration A Web-Based Hybrid Intelligent System For Fish Theory A Case of Using an Organizational Disease Diagnosis - Daoliang Li (China Agricultural Memory - D Ng'ambi (U. Cape Town, South Africa) U., China), Yanqing Duan (U. Luton, UK), Zetian Fu How Are SVM Good Kernels - Tarek M Hamdani, (China Agricultural U., China) Adel M Alimi (ENIS, Tunisia) Should We not Make Room for Non-Persons in Toward Developing Spatial Decision Support Artificial Intelligence? A Position Statement - System for Forest Ecosystem Revegetation in Colin T Schmidt (Le Mans U., France) the Yangtze River Basin - Daoliang Li (China Agricultural U., China), Ioannis Paspaliaris ■ 15h30-17h30: Recognition (National Technical U. Athens, Greece)
An Intelligent Solution for Motion Picture ■ 15h30-17h30: Knowledge Systems Restoration - G. L. Kovacs, I. Kas, S. Manno (Hungarian Academy of Sciences, Hungary) Process of Knowledge Engineering for the Toward The Design of Handwriting Recognition Construction of a Tool for Environmental System by Neuro-Fuzzy and Beta-Elliptical Monitoring with Artificial Intelligence - Approaches - Monji Kherallah, Lobna Haddad, Filipe C da Costa, Hugo C Hoeschl, Tania CD Adel M. Alimi (ENIS, Tunisia) Amar Mitiche D'Agostini Bueno (IJURIS Florianópolis, Brazil) (U. Quebec, Canada) Knowledge-Based Videometric Measurement Fast and Reliable Recognition of Human Motion System - Alexander Reiterer, Uwe Egly, Thomas from Motion Trajectories using Wavelet Analysis - Eiter, Heribert Kahmen (Vienna U. Technology, Austria) Shu-Fai Wong and Kwan-Yee Kenneth Wong Knowledge-based Product Derivation Process - (Hong Kong U, Hong Kong) Katharina Wolter, Thorsten Krebs (U. Hamburg, Utilization of General Nets for Handwriting Analysis - Germany), Lothar Hotz (HITeC, Germany), Theo Boyka Gradinarova (Technical U. Varna, Bulgaria), Dirk Meijler (Rijksuniversiteit Groningen, The Theodora Bakardjieva (Varna Free U. Bulgaria) Netherlands)
35 AIAI TC12 — Artificial Intelligence WG 12.5 — Artificial Intelligence Applications
AI-based Integration of Business Intelligence and Knowledge Management in Enterprises - Christian-Andreas Schumann, Stephan Kassel, Claudia Tittmann, Kay Grebenstein (Zwickau U. Applied Sciences, Germany) A Visual Tool for the Modeling of AUML
Conferences Specifications Using SPIN - Ivan Romero Hernández and Jean-Luc Koning (INPG, France) Thursday 26 August 2004
■ 10h30-12h: AIAI Conference Invited Talk (Room: Verdi) Yesterday, Today and Future of AI Applications - New Challenges for Research - Eunika Mercier- Laurent (EML Conseil, France), with the participation of Jean Rohmer (Thales Communications, France)
■ 13h30-15h: Topics Electronic Forum: Technological Modernization of the Brazilian Judiciary POWER - Tania Cristina D'Agostini Bueno, Hugo Cesar Hoeschl, Erica Bezerra Queiroz Ribeiro, Cristina Souza Santos (IJURIS Florianópolis, Brazil) Computer Malingering - Ewa Wreczycka (U. Silesia, Poland) Solving Engineering Design Problems Using Evolutionary Algorithms - Crina Grosan, Mihai Oltean (Babes-Bolyai U., Romania) Data Mining Algorithm Prediction - Edwige Fangseu Badjio, François Poulet (ESIEA Recherche, France)
■ 15h30-17h30: Techniques Collaborative Filtering Enhanced by Demographic Correlation - Manolis Vozalis, Konstantinos G. Margaritis (U. Macedonia, Greece) Solving Classification Problems using Traceless Genetic Programming - Mihai Oltean (Babes-Bolyai U., Romania) Using Constraint Propagation in the Analysis of Real-Time Systems - Dario Kresic (U. Erlangen- Nuremberg, Germany) Organizing Knowledge for Small and Medium Size Enterprises: Towards Nature Imitation - Artur Kotwica, Mieczyslaw L. Owoc (Wroclaw U. Economics, Poland) Operational Tools for Building Good Timetables - Peter Chan (EQUITIME S.A., France.), Tahar Zemmouri, Michael Hiroux, Georges Weil (U. Joseph Fourier, France)
36 HESSD WG 13.5 — Human error, Safety and System Development
HESSD 2004 IFIP Working Conference on Human Error,Safety and System Development
Room: Cassiopée Conferences
Airport Surface - Veronika Prinzo (Civil Aerospace Conference co-Chairs: Philippe Palanque Medical Institute, USA) (U. Toulouse 3, France) and Chris Johnson (U. Glasgow, UK) Task Patterns for Taking into Account in an Efficient and Systematic Way Both Standard and Abnormal User Behaviour - Sandra R. Basnyat, Tuesday 24 August 2004 Philippe Palanque (U. Paul Sabatier, France) ■ A Sampling Model to Ascertain Automation- 10h30-12h: Risk Management Induced Complacency in Multi-Task Chair: Erik Wiersma (TU Delft, The Netherlands) Environments - Bagheri Nasrine, Gregory A. Jamieson (U. Toronto, Canada) The Role of Night Vision Equipment in Military Incidents and Accidents - Chris W. Johnson Decision Making in Avalanche Terrain a (U. Glasgow, UK) Concept for an Educational Computer Simulation Tool for Back-Country Ski Guides The Global Aviation Information Network (GAIN): with a Special Focus on Human Errors - Using Information to Make the Aviation System Urs Gruber (WSL, Swiss Federal Institute for Less Error Prone and More Error Tolerant - Snow and Avalanche Research, Switzerland) Christopher A. Hart, (US Federal Aviation Administration, USA) Wednesday 25 August 2004 Development of Critiquing Systems in Networked Organisations - Björn Johansson, ■ 10h30-12h: Incident and Accident Ola Leifler, (Linköping U., Sweden), Mats Persson, Analysis 1 (ATC and Healthcare) Georgios Rigas (National Defence College, Sweden) Chair: Peter Wright (U. York, UK) ■ 13h30-15h: Formal Methods and Failure Analysis and the Safety-Case Lifecycle - Notations William S. Greenwell, Elisabeth A. Strunk John C. Knight (U. Virginia, USA) Chair: Philippe Palanque (U. Toulouse 3, France) Runway Incursions: Investigating the Error of Analysing Dynamic Function Scheduling Investigation - Anne Isaac (National Air Traffic Decisions - Karsten Loer, Michael Hildebrandt, Services Ltd, UK) Michael Harrison (U. York, UK) Error Behavior in Health Care: A Paradigm for Formal Verification and Validation of Interactive Error Analysis - Bogner M. Sue (Institute for the Systems Specifications - Francis, E Jambon Study of Human Error, LLC, USA) (CLIPS-IMAG, France), Yamine Aït-Ameur, (LISI/ENSMA, France), Benoit Breholée (ONERA- ■ 13h30-15h: Methodologies CERT-DTIM, France), Patrick Girard, Laurent Guittet (LISI/ENSMA, France) Chair: Fabio Paternò (ISTI-CNR, Italy) Modelling Incident Scenarios to Enrich User Toward A Human-Centered Uml For Risk Interface Development - Maria F. Q. Vieira Turnell, Analysis — Application To A Medical Robot - (LIHM & U. Federal de Campina Grande, Brazil), Jérémie Guiochet (LESIA/GRIMM-ISYCOM/INSA- Claudia V. S. Guerrero (LIHM, Brazil) Jean-Marc DGEI, France), G. Motet, C. Baron (LESIA-INSA, Mercantini, Eugène Chouraqui (LSIS, France) France), G. Boy (EURISCO International, France) Handling Human Factors in Integrated Systems ■ 15h30-17h30: Error Analysis Engineering - Michael Cebulla, Technische Chair: Hans Andersen (Risoe, Denmark) (U. Berlin, German) Automatic Dependent Surveillance — Studying Operator Behaviour During a Simple Broadcast / Cockpit Display of Traffic but Safety Critical Task - Hans H. K. Andersen Information: Pilot Use of Electronic vs Paper (Risø National Laboratory, Denmark), Gunnar Map Displays During Aircraft Navigation on the Hauland (DNV, Norway)
37 HESSD WG 13.5 — Human error, Safety and System Development
■ 15h30-17h: Incident and Accident Analysis 2 (Aviation and Maritime) Chair: Sue Bogner (Institute for the Study of Human Error, LLC, USA) Challenge of Safety Data Analysis – Top Models
Conferences Wanted: or "Don’t Call Me A Cab, When I Ask for a Map" - Jari Nisula (Airbus, France) SEMOMAP SEquential MOdel of The Maritime Accident Process - Jens-Uwe Schroeder (World Maritime U., Sweden) The Team-Based Operation of Safety-Critical Programmable Systems in US Commercial Aviation and the UK Maritime Industries - Christopher W. Johnson (U. Glasgow, UK) Thursday 26 August 2004
■ 10h30-12h: Design for Error Tolerance Chair: Michael Harrison (U. York, UK) Ergonomic Deficiencies in the Operating Room - Ulrich Matern (Tuebingen U.-Hospital, Germany) Integrating Human Factors in the Design of Safety Critical Systems; A Barrier Based Approach - Bastiaan A. Schupp, Shamus Smith, Peter Wright (U. York, UK), Louis Goossens (Delft U. of Technology, The Netherlands) Designing Distributed Task Performance in Safety-Critical Systems Equipped With Mobile Devices - Ana-Maria-Marhan, Fabio Paternò, Carmen Santoro (ISTI-CNR, Italy)
■ 13h30-15h: Invited Talk Chair: Chris Johnson (U. Glasgow, UK) Automation Error and Human Attention: the Challenge of Alerting Systems - Christopher Wickens (Beckman Institute and Institute of Aviation, U. of Illinois, USA)
■ 15h30-17h: Open Discussion and IFIP WG 13.5 Assembly Chairs: Chris Johnson (U. Glasgow, UK) and Philippe Palanque (U. Toulouse 3, France)
38 PRO-VE WG 5.5 — Cooperation Infrastructure for Virtual Enterprises and Electronic Business
PRO-VE'04 5th IFIP Working Conference on Virtual Enterprises
Room for Track A: Guillaumet 1 / Room for Track B: Guillaumet 2 Conferences
Risk Management in Distributed Software Conference Chair: Luis M. Camarinha-Matos Development: A Process Integration Proposal - (New U. Lisbon, Portugal) Rafael Prikladnicki, Marcelo Hideki Yamaguti (PUCRS, Brazil), Dante Carlos Antunes (Dell Inc., Monday 23 August 2004 Brazil) Management of IT-Risks in the Context of ■ 13h30-15h : Research Trends in Inter-Organisational Knowledge Management - Collaborative Networks (Room: Guillaumet 1) Thiemo Scherle, Stefan Bleck, Peter Laing, Tomaso Forzi (Aachen U., Germany) Chair: Hamideh Afsarmanesh (U. Amsterdam, The Netherlands) Tuesday 24 August 2004 An Outlook of Future Research Needs on Networked Organizations - Joël Bacquet, Peter ■ 10h30 – 12h: Fatelnig, Jesus Villasante, Arian Zwegers Track A: Modelling Enterprise (European Commission, Belgium) Networks The Emerging Discipline of Collaborative Chair: Alain Zarli (CSTB, France) Networks - Luis M. Camarinha-Matos (New U. Lisbon, Portugal), Hamideh Afsarmanesh A Modelling Approach for Designing Value (U. Amsterdam, The Netherlands) Chain of VE - Cheol-Han Kim (Daejeon U., Korea) Young-Jun Son (U. Arizona - Tucson, USA), ■ 15h30-17h: Tae-young Kim, Kwang-soo Kim (Pohang Track A: Modelling Methodologies U. Science and Technology, Korea) for Collaborative Networks Role Based and Process Based Modelling Approach for Organization Network - Ali Zaidat, Chair: Arian Zwegers (European Commission, Lucien Vincent, Xavier Boucher (Ecole des Mines Belgium) de Saint-Etienne, France) The Typed Domain – A Recipe for Creating ODAMY Extending B2B Integration Technology Virtual Enterprises - Yigal Hoffner Architecture - Peter Weiss, Wolffried Stucky (IBM Research, Switzerland), Simon Field (U. Karlsruhe, Germany) (Matching Systems Ltd., Switzerland), Christian Facciorusso (IBM Research, Switzerland) Track B: Education on VO and Introducing Time Horizons to Enterprise Knowledge Sharing Networking Architecture - Nuno Álvares-Ribeiro (U. Porto, Portugal), ngelo Martins (ISEP, Chair: Yigal Hoffner (IBM, Switzerland) Portugal), João José Pinto Ferreira (U. Porto, Education on Virtual Organizations: an Portugal) Experience an UNL - Luis M. Camarinha-Matos, Towards a Meta-Methodology for Collaborative Tiago Cardoso (New U. Lisbon, Portugal) Networked Organisations - Ovidiu Noran (Griffith A Case Study of VO Education in Costa Rica - U., Australia) César Garita (Costa Rican Institute of Technology, Costa Rica) Track B: Risk Management in Mental Models as Enablers of Knowledge Collaborative Networks Sharing and Decision-Making in the Design of Chair: Geleyn R. Meijer (LogicaCMG, The Collaborative Networked Environments - Netherlands) Jenny Ure (U. Edinburgh, UK) Risk Management of Product Development in Non-Hierarchical Regional Product Networks - Anna Gerber, Karsten Althaus, Michael Dietzsch, Ralf Steiner (Chemnitz U. Technology, Germany)
39 PRO-VE WG 5.5 — Cooperation Infrastructure for Virtual Enterprises and Electronic Business
■ 13h30-15h Track B: Collaborative Spaces Track A: Distributed Business Processes Chair: Tarek Hassan (Loughborough U., UK) A Synchronous Collaboration Server for the Chair: Martin Ollus (VTT, Finland) Construction Industry - The End Users' Harmonising Business Processes of Experience in the Collaborator Project -
Conferences Collaborative Networked Organisations Using Anfosso Alain, Bourdeau Marc, Zarli Alain (CSTB, Process Modelling - John Krogstie (SINTEF, Norway), France), Costicoglou Socrates (Space Hellas S.A, Vibeke Dalberg, Siri Moe Jensen (Det Norske Greece), Poggi Agostino (CNIT, Italy) Veritas, Norway) Web-Based Environment for Digital Electronics IDR: A Proposal for Managing Interorganizational Test Tools - Eero Ivask, Jaan Raik, Raimund Ubar Business Processes by Using Web-Services (Tallinn Technical U., Estonia), Andre Schneider Oriented Architectures - Rubén Darío Franco, (Fraunhofer Institute for Integrated Circuits, Germany) Ángel Ortiz Bas, Víctor Anaya, Francisco Cruz Lario Manufacturing Automation Network’s (Polytechnic U. Valencia, Spain) Cooperative E-Space - Olga Nabuco, Francisco Integration of a Contract Framework in BP Edeneziano D. Pereira (CenPRA, Brazil), José Models - Frédérique Biennier, Joel Favrel (INSA Reinaldo Silva (U. São Paulo, Brazil), Mauro F. de Lyon, France) Koyama (CenPRA, Brazil), Khalil Drira (LAAS-CNRS, France), João Maurício Rosário (UNICAMP, Brazil) Track B: Professional Virtual Communities Wednesday 25 August 2004
Chair: Roberto Santoro (Esocenet, Italy) ■ 10h30-12h: Uncovering the Difference: Management of Track A: Ontology Handling in Collaboration in Communities of Practice and in Collaborative Networks Virtual Enterprises / Virtual Organizations - Patricia Wolf (Fraunhofer IAO, Germany), Michael Chair: Laszlo Nemes (CSIRO, Australia) Wunram (BIBA Bremen, Germany), Rolando Ontology-Based Automatic Data Structure Vargas Vallejos (U. Caxias Do Sul, Brazil) Generation for Collaborative Networks - Knowledge Based Virtual Communities for Victor Guevara-Masis, Hamideh Afsarmanesh, Louis Mobile and Collaborative Work in European O. Hertzberger (U. Amsterdam, The Netherlands) Vehicle Repair Networks - André Quadt, Heiko Ontology-Services Agent to Help in the Structural Dirlenbach, Amit Garg, Martin Weidemann, Volker and Semantic Heterogeneity - Andreia Malucelli, Stich (Aachen U. Technology, Germany) Eugénio Oliveira (U. Porto, Portugal) The Role of Virtual Communities in the English Enhancing Interoperability Through the Premier Football League - Hayley Henderson, Ontological Filtering System - Raffaello Lepratti, Brendan D’Cruz (U. College Northampton, UK) Ulrich Berger (Brandenburg U. Technology at Cottbus, Germany) ■ 15h30-17h: Track A: Knowledge Management in Track B: Web Service Markets and Hubs Networked Enterprises Chair: Thierry Nagellan (France Telecom, France) Chair: John Krogstie (SINTEF, Norway) Designing a Hub to Offer E-Engineering A Cybernetic Approach Towards Knowledge- Brokerage Services for Virtual Enterprises - Based Coordination of Dynamically Networked Ricardo Mejía, Luis Canché, Ciro Rodríguez, Arturo Enterprises - Thomas Fischer, Sven-Volker Rehm Molina (ITESM, Mexico), Godfried Augenbroe (DITF/ITV Denkendorf, Germany) (Georgia Institute of Technology USA, and TU-Delft, Knowledge Exchange in a Supply Chain Context - The Netherlands) Laurent Buzon, Aziz Bouras, Yacine Ouzrout P2P Infrastructure for Tourism Electronic (U. Lumière Lyon 2, France) Marketplace - Luís C. S. Barradas (EST-TPCB, Inter-Organizational Knowledge Management. Portugal), João José Pinto-Ferreira (U. Porto, Portugal) The Importance of Organizational and A Web Interface for Accessing Scheduling Environmental Context - Josep Capó, Enrique Methods in a Distributed Knowledge Base - Masiá, Francisco C. Lario (Polytechnic U. Valencia, Maria Leonilde R. Varela (U. Minho, Portugal), Spain) Joaquim Nunes Aparício (New U. Lisbon, Portugal), Sílvio Carmo Silva (U. Minho, Portugal)
40 PRO-VE WG 5.5 — Cooperation Infrastructure for Virtual Enterprises and Electronic Business
■ 13h30-15h: Children Trusts - Rob Wilson, Susan Baines, Track A: VE / VO Management Roger Vaughan, Mike Martin (U. Newcastle upon Tyne, UK) Chair: Myrna Flores (U. Applied Sciences of Southern Switzerland, Switzerland) Conferences as Virtual Enterprises - Jürgen Dorn, Peter Hrastnik, Albert Rainer (Electronic Challenges in the Management of Virtual Commerce Competence Center, Austria)
Organizations - Iris Karvonen, Kim Jansson, Iiro Conferences Salkari, Martin Ollus (VTT Industrial Systems, Web Services for The Footwear Sector in a Finland) Networked Context - Rosanna Fornasiero, Andrea Zangiacomi (Institute of Industrial A Comparison of Supply Chain Management Technologies and Automation, Italy) Policies - Marcius F. Carvalho (CenPRA / UNICAMP, Brazil), Carlos Machado (UNICAMP, Brazil) Supporting a Public Health Care Virtual Organization by Knowledge Technologies - A Business Model for Managing the Virtual Mitja Jermol (Jozef Stefan Institute, Slovenia), Enterprise - David Walters (Sydney Graduate Nada Lavrac, Tanja Urbacic (Nova Gorica School of Management, Australia) Polytechnic / Jozef Stefan Institute, Slovenia), Tadeja Kopac (Public Health Institute, Slovenia) Track B: Collaborative Engineering Chair: Ricardo Rabelo (Federal U. Santa Thursday 26 August 2004 Catarina, Brazil) ■ 10h30-12h The MSKIN Co-Engineering Net - Myrna Flores, Track A: Negotiation and Contract Bernardo Ferroni, Renzo Longhi (U. Applied Management Sciences of Southern Switzerland, Switzerland) Collaborative Infrastructure for Distance-Spanning Chair: István Mezgár (Computer and Concurrent Engineering - Pawel Fras, Tomasz Automation Research Institute, Hungary) Kostienko, Jaroslaw Magiera, Adam Pawlak, Piotr Enterprise Negotiation Algorithm with Walrasian Penkala, Dariusz Stachanczyk, Marek Szlezak, Virtual Market - Toshiya Kaihara, Susumu Fujii Maciej Witczynski (Silesian U. Technology, Poland) (Kobe U., Japan) Collaborative Engineering Communities in Electronic Contracting in the E-Engineering Hub Shipbuilding - Norbert Gronau (U. Potsdam, - Zhaomin Ren, Tarek Hassan, Chimay Anumba Germany), Eva-Maria Kern (Technical U. (Loughborough U., UK), Godfried Augenbroe Hamburg, Germany) (Georgia Tech, USA), Mauro Mangini (Geodeco S. P. A., Italy) ■ 15h30-17h: Integrating Procurement, Production Planning, Track A: VE / VO Configuration and Inventory Management Processes through Chair: Arturo Molina (ITESM, Mexico) Negotiation Information - Giuseppe Confessore (CNR-ITIA, Italy), Silvia Rismondo, Giuseppe Smart Configuration of Dynamic Virtual Stecca (CNR-ITIA / Roma U. "Tor Vergata", Italy) Enterprises - Ricardo J. Rabelo, Fabiano Baldo, Rui Jorge Tramontin Jr., Alexandra Pereira-Klen, Track B: Management Issues in CN Edmilson R. Klen (Federal U. Santa Catarina, Brazil) Chair: Jens Eschenbaecher (BIBA Bremen, Dynamic Configuration of Collaboration in Germany) Networked Organizations - Brian Shields, Owen Promoting Trading Partner Trust in B2B Molloy (National U. Ireland, Galway, Ireland) E-Commerce Through the Use of Service Level Intelligent Supply Chain Planning in Virtual Agreements and the Establishment of Support Enterprises - Dmitry A. Ivanov, Alexander V. Centres - Ioannis Ignatiadis, Konstantinos Arkhipov (Russian State Center of Science, Tarabanis (Hellas-Informatics and Telematics Russia), Boris N. Sokolov (Russian Academy of Institute, Greece) Science, Russia) Why Management in System and Information Technology - António José Balloni (Research Track B: Case Studies of VO/CN Center Renato Acher, Brazil) Chair: Michel Pouly (EPFL, Switzerland) The Formation and Dissolution of Organizational Networks: A Knowledge Case Study of Governance in Public Sector Management Perspective - Dora Simões, ‘Virtual Organizations’: The Emergence Of António Lucas Soares (INESC Porto, Portugal)
41 PRO-VE WG 5.5 — Cooperation Infrastructure for Virtual Enterprises and Electronic Business
■ 13h30-15h: Track B: Innovation, Sustainability Track A: Multi-agent in Collaborative and Readiness for Collaboration Networks Chair: Myrna Flores (U. Applied Sciences of Chair: Tomasz Janowski (U. Gdansk, Poland) Southern Switzerland, Switzerland) A Multi-Agent Model Integrating Inventory and Approach for Implementing Distributed
Conferences Routing Processes - Daria Bernardi (CNR-ITIA / Innovation Management Methodologies in Roma U. "Tor Vergata", Italy), Giuseppe Collaborative Industrial Networks - Axel Hahn Confessore (CNR-ITIA, Italy), Giuseppe Stecca (U. Oldenburg, Germany), Jens Eschenbaecher (CNR-ITIA / Roma U. "Tor Vergata", Italy) (BIBA Bremen, Germany) An operational And Secure Mobile-Agent Based Exploring Sustainable Virtual Enterprises - System for Business Process Reconstruction - Ronald C Beckett (U. Wollongong, Australia) Hervé Mathieu, Frédérique Biennier (INSA Lyon, The ARICON VE Readiness Assessment France) Approach in the New Product Development Software Agents as Legal Persons - Francisco (NPD) Context - Marco Conte, (CE Consulting, Andrade, José Neves, Paulo Novais, José Italy), Roberto Santoro (Esocenet, Italy), Johann Machado (U. Minho, Portugal) Riedel, Kulwant S. Pawar (U. Nottingham, UK)
Track B: Distributed Software Production and Support Chair: Iris Karvonen (VTT, Finland) A Reference Model for Global Software Development - Rafael Prikladnicki , Jorge Luis Nicolas Audy (PUCRS, Brazil), Roberto Evaristo (U. Illinois at Chicago, USA) Squads: Software Development and Maintenance on the Grid by Means of Mobile Virtual Organizations Using Adaptive Information Services - Wico Mulder (LogicaCMG, The Netherlands), Geleyn R. Meijer (LogicaCMG / U. Amsterdam, The Netherlands) SOC P2P: A Peer-To-Peer IP Based SOCS Design and Simulation Tool - Sami Meftali, Jean-Luc Dekeyser (U. Lille 1, France)
■ 15h30-17h: Track A: Networking Technologies for VO Chair: Luis Osório (ISEL, Portugal) Novel Networking Technologies for Collaborative Networked Organizations - István Mezgár (Computer and Automation Research Institute, Hungary) The Evolution of Inter-Firm Relationships and its Impact on Communication Needs - Thierry Nagellen, Servane Crave (France Telecom R&D, France), Roberto Bolelli (CM International, France) A Grid-Enabled Security Framework for Collaborative Virtual Organisations - Liviu Joita, Omer Rana, Pete Burnap, Jaspreet Singh Pahwa, Alex Gray, John Miles (Cardiff U., UK)
42 I3E TC6 — Communication Systems TC8 — Information Systems TC11 — Security and Protection in Information Processing Systems
I3E 2004 Fourth IFIP Conference on e-Commerce, e-Business, and e-Government
Room: Seria 1-2 Conferences
Tuesday 24. August 2004 Conference Chair: Stephane Amarger (Hitachi Europe SAS, France) ■ 10h30-12h: M-Commerce Programme Committee co-Chairs: Volker Tschammer (Fraunhofer Institute FOKUS, Chair: Wojciech Cellary (Technical U. Poznan, Germany) and Winfried Lamersdorf (U. Poland) Hamburg, Germany) Exploring the Relationship between Mobile Data Services Business Models and End-User Adoption - Per E. Pedersen, Leif B. Methlie Monday 23 August 2004 (Agder U. College, Norway, Norwegian School of Economics and Business Administration, Norway) ■ 13h30-15h: E-Government Models and Processes Exploitation of Public and Private WiFi Coverage for New Business Models – Thomas Lindner, Chair: Stephane Amarger (Hitachi Europe SAS, Lothar Fritsch, Kilian Plank, Kai Rannenberg (U. France) Frankfurt, Germany) Towards Key Business Process for E-Government - Supporting Salespersons through Location Amauri Marques da Cunha, Paulo Mendez Costa Based Mobile Applications and Services – (U. Federal do Rio de Janeiro, Brazil) Chihab Ben Moussa (Turku Centre for Computer An Intelligent Search Engine for Electronic Science, Finland) Government Applications for the Resolutions of ■ the United Nations Security Council - Hugo C. 13h30-15h: Invited Talks Hoeschl, Tânia Cristina D. Bueno, Andre Bortolon, Chair: Winfried Lamersdorf (U. Hamburg, Eduardo S. Mattos, Marcelo S. Ribeiro, Irineu Germany) Theiss, Ricardo Miranda Barcia (Juridical Job Chances in an Electronic and Knowledge Intelligence and Systems Institute, Brazil) Based Economy - Wojciech Cellary (U. Economics Knowledge in E-Government: Enhancing Poznan, Poland) Administrative Processes with Knowledge - Rethinking Trust and Confidence in European Maria Wimmer, Roland Traunmüller (U. Linz, Austria) E-Government – Linking the Public Sector with ■ 15h30-16h30: E-Governance Post-Modern Society - Reinhard Riedl (U. Zurich, Switzerland) Chair: Maria Wimmer (U. Linz, Austria) ■ Democracy in the Electronic Government Era - 15h30-17h: Service Provisioning Thais Garcia, Claudia Diaz Pomar, Hugo C. Chair: Reinhard Riedl (U. Zurich, Switzerland) Hoeschl (Juridical Intelligence and Systems Application Service Provisioning as a Strategic Institute, Brazil) Network-Evaluation of a Failed ASP Project - Usability Evaluation as Quality Assurance of Henry Nordström, Markku Sääksjärvi (Helsinki E-Government Services: The E-Poupatempo Case - School of Economics, Finland) Lucia Filgueiras, Plinio Aquino Jr., Vera Tokairim, Electronic Transmission of Prescriptions – An Carlos Torres, Iara Barbarian (U. Sao Paulo, Brazil, Evaluation of the Technical Models Used in the Prodesp, Poupatempo, Brazil) English ETP Pilots 2002 - Bob Sugden, Rob Wilson (U. Newcastle, UK) On Locations of Call Centers – An Illustration from Two Rural Regions in Sweden and Finland - Anna Moberg, Birger Rapp, Charlotte Stoltz, Reima Suomi (Turku School of Economics and Business Administration, Finland)
43 I3E TC6 — Communication Systems TC8 — Information Systems TC11 — Security and Protection in Information Processing Systems
Wednesday 25 August 2004 Analysis of a Yield Management Model for on Demand Computing Centers - Yezekael Hayel, ■ 10h30-11h30: Purchase and Laura Wynter, Parijat Dube (INRIA-IRISA, France, Payment IBM Research Center, USA)
Chair: Zoran Milosevic (U. Queensland, Australia) ■ 13h30-15h: Value Chain Management
Conferences Fair Payment Protocols for E-Commerce – Hao Wang, Heqing Guo (South China U. of Chair: Dirk Deschoolmester (Vlerick Leuven Technology, China) Gent Management School, Belgium) SEMOPS: Paying with Mobile Personal Devices - The Seven Step Model for E-Grocery Fulfilment - Antonis Ramfos, Stamatis Karnouskos, András Martin Barnett, Paul Alexander (Edith Cowan U., Vilmos, Balázs Csik, Petra Hoepner, Nikolaos Australia) Venetakis (INTRASOFT, Greece, Fraunhofer E-Business Governance: A Co-Evolutionary Institute Fokus, Germany, SafePay Systems, Approach to E-Business Strategy Formulation - Hungary, Profitrade, Hungary) Janice M. Burn, Colin G. Ash (Edith Cowan U., Australia) ■ 13h30-15h: E-Business Inter-Organisational Collaborations Supported Architecture and Processes by E-Contracts - Zoran Milosevic, Peter F. Chair: Reima Suomi (Turku School of Economics Linington, Simon Gibson, Sachin Kulkarni, James and Business Administration, Finland) Cole (U. Queensland, Australia, U. Kent, UK) VM-FLOW: Using Web Services Orchestration ■ 15h30-17h: E-Business Models and Choreography to Implement a Policy-based Virtual Marketplace - Ivo J. G. dos Santos, Chair: Volker Tschammer (Fraunhofer Institute, Edmundo R. M. Madeira (U. Campinas, Brazil) German Evolution of Service Processes by Rule Based Joint Development of Novel Business Models - Transformation - Christian Zirpins, Giacomo Jukka Heikkilä, Marikka Heikkilä, Jari Lehmonen Piccinelli (U. Hamburg, Germany, U. College (U. Jyväskylä, Finland) London, UK) Drivers and Barriers for E-Business: Evolution Service Composition System Applied to E- over Time and Comparison between SMEs and Government - Neil Paiva Tizzo, José Renato Large Companies - Dirk Deschoolmeester, Borelli, Manuel de Jesus Mendes, Luciano Lançia Evelyne Vanpoucke, Peter Willaert (Vlerick Leuven Damasceno, Aqueo Kamada, Adriana Figueriedo, Gent Management School, Belgium) Marcos Rodrigues, G. Souza (PUC Minas Poços Perceived Usefulness and Ease-of-Use Items in de Caldas, Brazil, U. Católica de Santos, Brazil, B2C Electronic Commerce - Jonna Järveläinen Centro de Pesquisas Renato Archer, Brazil) (Turku School of Economics and Business Administration, Finland) ■ 15h30-17h: Panel E-Business, Only Chances without Riscs Moderator: Uwe Meinberg, (Fraunhofer Institute IML and U. Cottbus, Germany) Thursday 26 August 2004
■ 10h30-12h: Infrastructure and Marketplaces Chair: Manuel Mendes (U. Católica de Santos, Brazil) Identity-Enriched Session Management - Tobias Baier, Christian Philip Kunze (U. Hamburg, Germany) Virtual Communities for SMEs: A Cautionary Tale of an Electronic Marketplace - Janice M. Burn (Edith Cowan U., Australia)
44 HCE WG 9.7 — History of Computing TC3 — Education
HCE IFIP Conference on the History of Computing in Education
Room: Canigou Conferences
■ 13h30-15h: Advances in Programme Committee Chair: Computing Education Peter Bollerslev (Denmark) Chair: Wolfgang Coy (Humboldt U. Berlin, Germany) Monday 23 August 2004 Streams in the History of Computer Education in Australia - Arthur Tatnall, Bill Davey (Victoria ■ 13h30-15h: Opening U., Australia) Growth of Computing Technology for Education Welcome: Peter Bollerslev, Denmark in India - Rakesh Bhatt (Garhwal U., India) The contest of faculties: Cybernetics vs Computing and Education in the UK: The First Informatics in German Universities - Wolfgang Twenty Years - Jenny Davies (U. Wolverhampton, UK) Coy (Humboldt U. Berlin, Germany) Government Sponsored Open Source Software Wednesday 25 August 2004 for School Education - Andrew Fluck (U. Tasmania, Australia) ■ 10h30-12h : Practical Issues in Computing Education ■ 15h30-17h: Transitions Chair: Arthur Tatnall (Victoria U., Australia) Chair: Anneli Heimbürger Is it Legal Yet? Anthony Jones (U. Melbourne, (Tampere U. Technology, Finland) Australia) Learning with the Artificial Sciences: The Evolution of EIinclusion - Scott Hollier, Iain A paradigmatic Shift - Colin Schmidt, Philippe Murray (Curtin U. Technology, Australia) Cottier, Cristophe Choquet (Le Mans U., France) On the Era of Educational Hypermedia Eight Significant Events in the 50-year History Computing: From Simple Links to more of Computing - T. William Olle (T.W. Olle Complex Structures - Anneli Heimburger, Jari Associates, UK) Multisilta (Tampere U. Technology, Finland) Technology Leading to Historic Changes: The Beginnings of Computer Education in Slovenia ■ 13h30-15h: Invited Talk - Franci Pivec, Vladislav Rajkovi, Andrej Jus (Institute of Information Science, Slovenia) Chair: Jan Wibe (NTNU, Norway) History of computing in education, John A.N. Tuesday 24 August Lee (Virginia Tech / Radford U., USA)
■ 10h30-12h: Perspectives on ■ 15h30 – 17h: Reflections in Computing Education Computing Education Chair: T. William Olle, (T.W. Olle Associates, UK) Chair: Jenny Davies (U. Wolverhampton, UK) What did we Think we were Doing? - Anthony Keyboard Training in an Information Oriented Jones, Anne McDougall, John Murnane Society - Hajime Ohiwa (Keio U., Japan) (U. Melbourne, Australia) Studying educational computing projects: The Evolution of the CS Teacher in Israel – The challenges and Opportunities - Mary Hopper First Generation - Meir Komar (Jerusalem (Lesley U., USA) College of Technology, Israel) Using Computing History to Enhance Teaching - ICT in Catalan Schools: A Look to its John Impagliazzo, John A.N. Lee (Hofstra U., Foundations and Early Developments - Jordi USA, Virginia Tech / Radford U., USA) Castells, Ferran Ruiz Tarrago (Generalitat de Catalunya, Spain) ■ 17h: Closing Session Peter Bollerslev
45 STUDENT FORUM
Student Forum Room: Servanty
■ 15h30-17h15: Modelling and Chair: Mohamed Kaâniche Computer Engineering (LAAS-CNRS, France) Student Forum Chair: Jean-Paul Blanquart (EADS-Astrium, France) Tuesday 24 August 2004 Checking Software Development Processes - ■ 10h30-12h: Networking Alain Caplain (Toulouse Le Mirail U., France) Requirements Evolution and Impacts on Safety - Chair: Jean-Marie Garcia (LAAS-CNRS, France) Mohamad Hani El Jamal (LAAS-CNRS, France) Robust Sliding Mode Control Algorithm Applied Timed Mirroring Typed Decision Graphs: A for Congestion Control in Differentiated Model Structure for Real-Time Systems - Syrine Services Networks - Mahdi Jalili-Kharaajoo Ayadi (Faculté des Sciences de Tunis, Tunisia) (Azad U. Tehran, Iran) Improving Efficiency of XPath-Based XML A Measurement Based Networking Approach Querying - Pierre Geneves (INPG & INRIA Rhône for Improving Internet Congestion Control - Alpes, France) Nicolas Larrieu (LAAS-CNRS, France) Towards Automation of Model Transformation - Residual Capacity Estimator for TCP on El Abbassia Deba (IRIT, France) Wired/Wireless Links - Claudio E. Palazzi (U. California Los Angeles, USA) Measuring Software Operational Reliability — An Interdisciplinary Modelling Approach - A Proposal for Generic Signaling Transport Ali Omar Shatnawi (U. Delhi, India) Protocol - Thanh Tra Luu (ENST, France) Automatic Full-Custom Layout Generation of Service Enforcement on Programmable Routers Static CMOS Circuits Targeting Delay and Power Using Innovative Policy Based Management - Reduction - Cristiano Lazzari (UFRGS, Brazil) Idir Fodil, (6WIND & LIP6, France) Performance Evaluation of a Line of ON/OFF Wednesday 25 August 2004 Routers Using an Aggregation Method - Alexandre P. Royer (LAG, France) ■ 10h30-12h: Security
■ 13h30-15h: Chair: Hervé Debar (France Telecom, France) Distributed Systems & E-Commerce ATV: An Efficient Method for Constructing a Certification Path - Omar Batarfi (U. Newcastle, UK) Chair: Jean-Charles Fabre (LAAS-CNRS, France) Reversible Cellular Automata in Cryptography - Reconfigurable Software Architecture for Marcin Seredynski (Warsaw U. Technology, Poland) Communication Layers in Pervasive Computing Systems. - Mahdi Niamanesh (Sharif U. A Generic Intrusion Tolerant Architecture for Technology, Iran) Web Servers - Ayda Saidane (LAAS-CNRS, France) Checkpointing in Mobile Distributed Systems - Group Communication Protocols and a Mohamed Djoudi (U. Laghouat, Usthhb, Algeria) Framework for Intrusion-Tolerant Distributed Applications - HariGovind V. Ramasamy (UIUC, USA) Design of a Component Deployment Service for Dynamic Collaborative Sessions - Securing Mobile Agents - Hamed Aouadi (ENSI Emir Hammami (LAAS-CNRS, France) Manouba, Tunisia) User-Kernel Reactive Threads for Java - Carlos ■ 13h30-15h: P. Guerrero (National Polytechnic Institute, Mexico) Image Processing and Robotics Technology Evaluation for E-Commerce - Vinaya K. Singh (Galileo International, USA) Chair: Rachid Alami (LAAS-CNRS, France) E-Commerce Outsourcing Initiatives in Postal Image Processing to Facilitate Image Industry – Damir Trninic (Post Serbia, Center for Identification by Partially-sighted Observers - E-Business, Serbia and Montenegro) Cécile Bordier (U. Lyon I, INSERM, France)
46 STUDENT FORUM
Modeling Environments for Use in a Locomotion Digital Disability — An Examination into the Assistance Device for the Blind - Christophe Effectiveness of Multi-Modal Interfaces for Jacquet (SupÉlec & LIMSI-CNRS, France) People with Disabilities - Scott Hollier (Curtin License Plate Recognition System - Prashant U., Australia) Kumar, Swapnil Sahai, Tarun Khera (Indian Institute Effectiveness of E-Learning - Anna Gnitecka of Information Technology, Allahabad, India) (Adam Mickiewicz U. Poznañ, Poland) Experimental Implementation of Robust and IT Transformation and Asia-Pacific Economic Intelligent Controllers in Trajectory Control of Growth: An Assessment - Roderick Mendoza Industrial SCARA Robot - Francisco Javier Rupido (Kyoto U., Japan) Student Forum Triveno Vargas (Federal U. Santa Catarina, Brazil) ■ ROBOPET Robot-Soccer Simulator - Francisco 15h30-17h: Jose Prates Alegretti (Federal U. Rio Grande do Student Interaction Session Sul, Brazil) Moderator: Mohamed Kaâniche (LAAS-CNRS, France) ■ 15h30-17h: Artificial Intelligence & Language processing This session aims at collecting the experiences, the opportunities and the expectations that Chair: Karama Kanoun (LAAS-CNRS, France) doctoral students from different countries have in Text Generation Through Semiotic and conducting research. Particular emphasis will be Semantic Articulations - François Provansal on the actual need to promote research (Toulouse Le Mirail U., France) integration by facilitating cross-fertilization among research groups worldwide through mobility of Isolated Word Recognition for English Language doctoral students. Since participants come from using LPC, VQ and HMM - Mayukh Bhaowal, all over the world, this session will provide the Kunal Chawla (Allahabad Indian Institute of opportunity for the students to have informal Information Technology, India) interactions about their diverse academic Evolving Winning Strategies for Nim-like Games cultures. - Mihai Oltean (Babes-Bolyai U., Romania) Solving Geometrical Place Problems by using Evolutionary Algorithms - Crina Grosan (Babes- Bolyai U., Romania) Intelligent Multi Agent Search Engine - Pooja Jain (Allahabad Indian Institute of Information Technology, India) Thursday 26 August 2004
■ 10h30-12h: Information Systems Analysis & Quantum Computing Chair: René Jacquart (ONERA, France) Application of Systemic Approach and Quality Strategy in order to Manage Activities of Grain Silo - Mohamed Najeh Lakhouat (ISST Mateur, Tunisia) Enlarging Gap between Quantum and Classical Query Complexities - Lelde Lace (U. Latvia, Latvia) Boolean Functions with a Low Polynomial Degree - Raitis Ozols (U. Latvia, Latvia)
■ 13h30-15h: Socio-Technical Systems & IT Economic impact Chair: Fabio Paterno (ISTI-CNR, Italy) Culture-Centred Design: Towards A Method for Cross-Cultural Usability - Jasem M. Alostath (U. York, UK)
47 Topical Days 48 Guy Pierra(LISI/ENSMA,France) - ofEngineeringCatalogues Integration PLIB Ontology-Based for Approach Automatic Switzerland) Zurich, Dittrich (U. Problems Solved?- -all integration Three DecadesofData Italy) Emilia. Chair: Heterogeneous DataI Semantic Integrationof ■ V Monday 23August2004 Semantic IntegrationofHeterogeneous Data Monday 23August2004 TcnclU idoe,The Netherlands) Eindhoven, (Technical U. - Human Behavior P Singapore) Singapore, U. through Gaming- and VirtualWorld Real World the Connecting T Developing Re-usableInteractiveStorytelling Japan) (Kwansei GakuinU., Chair: VR Technologies andEntertainment ■ echnologies - ositive EffectsofEntertainment Technology on Organisers: KasiGki . Japan) (Kwansei GakuinU., Organiser: F 13h30-15h: 13h30-15h: irtual RealitiesandNewEntertainment ac)adGyPer LS/NM,France) rance) andGuyPierra(LISI/ENSMA, oi egmsi(.ModenaeReggio Sonia Bergamashi(U. Ryohei Nakatsu Ryohei Nakatsu Ryohei Nakatsu Ryohei Nakatsu Y akCvza(.Tesd,UK) Teesside, Mark Cavazza(U. amine Ait Ameur (LISI/ENSMA, amine AitAmeur Adrian DavidCheok(National Matthias Rauterberg Patrick ZieglerandKlaus. om Ariane2 Room: om Argos Room: T T op2 op1 Moderator: Open Discussionwiththespeakers Y its UsetoComputeaForm ofSubsumption- and ofProceduralKnowledge Representation France) Chantal Reynaud(LRI, Systems- Building ScalableMediator Italy) Modena eReggioEmilia. Sonia Bergamaschi(U. oftheMOMISSystem- Presentation and GeneralOverview Integration: Data Chair: Heterogeneous DataII Semantic Integrationof ■ T Concluding Panel France) (France Telecom Thomas R&D, Henry SensesHumanMoodandRespondstoit- that Computer - ZENetic Ourselves: forRecreating Storytelling Japan) Ryohei Nakatsu(KwanseiGakuinU., Physicalinteractionswithhumanoid- Robot: of Realization Tai-chi MotionusingHumanoid TheNetherlands) Eindhoven, (Technical U. Chair: Innovative EntertainmentSystem ■ neato naSniieHue FutureRoom Interaction inaSensitiveHouse: cnlg oprto,Japan) echnology Corporation, mn i mu LS/NM,France) (LISI/ENSMA, amine AitAmeur 15h30-17h30: 15h30-17h30: lu itih(.Zrc,Switzerland) Zurich, Klaus Dittrich(U. Matthias Rauterberg Matthias u ira(IIESA France) Guy Pierra(LISI/ENSMA, Naoko Tosa (JapanScience Top3 23- 24 August 2004
Fault Tolerance for Trustworthy and Dependable Information Infrastructures Room: Ariane 1
Tuesday 24 August 2004 opical Days Organiser: Jean Arlat (LAAS-CNRS, France) T ■ 10h30-12h: Monday 23 August 2004 Dependability and Predictability of Embedded Systems ■ 13h30-15h: Chair: Hirokazu Ihara (Hiro Systems Laboratory Setting up the Scene Tokyo, Japan) Chair: Alain Costes (LAAS-CNRS, France) Airbus Fly-by-Wire: A Total Approach to Brief Addresses by the IFIP WG10.4 Past and Dependability - Pascal Traverse, Isabelle Lacaze, Current Chairs - Algirdas Avizienis (UCLA, USA Jean Souyris (Airbus, France) and Vytautas Magnus U., Lithuania), Jean-Claude Unique Dependability Issues for Commercial Laprie (LAAS-CNRS, France), Hermann Kopetz Airplane Fly By Wire Systems - Ying C. Yeh (U. Technology Vienna, Austria), Jean Arlat (Boeing Corporation, USA) (LAAS-CNRS, France) The Fault-Hypothesis for the Time-Triggered Dependable Systems of the Future: What Is Still Architecture - Hermann Kopetz (U. Technology Needed? - Algirdas Avizienis (UCLA, USA and Vienna, Austria) Vytautas Magnus U., Kaunas, Lithuania) ■ Dependability and Its Threats: A Taxonomy - 13h30-15h: Algirdas Avizienis (UCLA, USA and Vytautas Focuses on Communications, Magnus U., Kaunas, Lithuania), Jean-Claude Security, and Software Verification Laprie (LAAS-CNRS, France), Brian Randell (U. Chair: Yoshihiro Tohma (Tokyo Denki U., Japan) Newcastle, UK) Communications Dependability Evolution Between ■ 15h30-17h30: Convergence and Competition - Michele Morganti Contributions, Advances and Trends (Siemens Mobile Communications, Italy) Intrusion Tolerance for Internet Applications - Chair: Jacob A. Abraham (U. Texas at Austin, USA) Yves Deswarte, David Powell (LAAS-CNRS, Current Research Activities on Dependable France) Computing and Other Dependability Issues in Static Program Transformations for Efficient Japan - Yoshihiro Tohma (Tokyo Denki U., Japan), Software Model Checking - Shobha Vasudevan, Masao Mukaidono (Meiji U., Kawasaki, Japan) Jacob A. Abraham (U. Texas at Austin, USA) Dependable Computing at Illinois - Ravishankar K. Iyer, William H. Sanders, Janak H. Patel, ■ 15h30-17h: Zbigniew Kalbarczyk (UIUC, USA) Further Challenges and Perspectives Wrapping the Future - Tom Anderson, Brian Chair: William H. Sanders (UIUC, USA) Randell, Alexander Romanovsky (U. Newcastle, UK) Architectural Challenges for a Dependable From the University of Illinois via JPL and UCLA Information Society - Luca Simoncini (U. Pisa to Vytautas Magnus University: 50 Years of and PDCC, Italy), Andrea Bondavalli (U. Florence Computer Engineering by Algirdas Avizienis - and PDCC, Italy), Felicita Di Giandomenico, Silvano David A. Rennels, Milos D. Ercegovac (UCLA, USA) Chiaradonna (ISTI-CNR, Pisa and PDCC, Italy) Experimental Research in Dependable Computing at Carnegie Mellon University - Daniel P. Siewiorek, Roy A. Maxion, Priya Narasimhan (Carnegie Mellon U., USA) Systems Approach to Computing Dependability In and Out of Hitachi: Concept, Applications and Perspective - Hirokazu Ihara (Hiro Systems Laboratory Tokyo, Japan), Motohisa Funabashi (Hitachi Ltd, Japan)
49 Top4 Tuesday 24 August 2004
Abstract Interpretation Room: Diamant
■ 13h30-15h: Tools Organiser: Patrick Cousot Chair: Radhia Cousot (École Polytechnique, France) opical Days (École Normale Supérieure de Paris, France)
T TVLA: A System for Generating Abstract Interpreters - Mooly Sagiv (Tel-Aviv U., Israel) ■ 10h30-12h: Foundations AiT: Worst Case Execution Time - Christian Chair : Famantanantsoa Randimbivololona Ferdinand (AbsInt GmbH, Saarbruecken, Germany) (Airbus France) ■ 15h30 -17h: Tools and Experience Basic Concepts of Abstract Interpretation - Patrick Cousot (École Normale Supérieure de Chair: Radhia Cousot Paris, France) Astrée: Verification of Absence of Run-Time Errors - Laurent Mauborgne (École Normale Supérieure de Paris, France) Experience with the Industrial Use of Abstract Interpretation-Based Static Analysis Tools - Jean Souyris (Airbus France)
Top5 Tuesday 24 August 2004
Multimodal Interaction Room: Néouvielle
■ 14h15-15h00: Organiser: Laurence NIGAY Domains of Multimodality I (CLIPS-IMAG Laboratory, France) Chair: Laurence Nigay (CLIPS-IMAG, France) ■ 10h30-12h: Multimodality and Multi-Platform Interactive Design and Development of Systems - Fabio Paterno (ISTI-CNRS, Italy) Multimodal User Interfaces I ■ 15h30-17h: Chair: Jean Vanderdonckt (UCL, Belgium) Domains of Multimodality II Design Space for Multimodal Interaction - Chair: Laurence Nigay (CLIPS-IMAG, France) Laurence Nigay (CLIPS-IMAG, France) Multimodality and Context-Aware Adaptation - Software Design and Development of Multimodal Quentin Limbourg and Jean Vanderdonckt (UCL, Interaction - Marie-Luce Bourguet (U. London, UK) Belgium) ■ 13h30-14h15: Towards Multimodal Web Interaction: Web Design and Development of Pages you can Speak to and Gesture at - Dave Multimodal User Interfaces II Raggett (W3C/Canon, VK), Max Froumentin and Philipp Hoschka (W3C, France) Chair: Fabio Paterno (ISTI-CNRS, Italy) A generic Formal Specification of Fusion of Modalities in a Multimodal HCI - Yamine Ait Ameur and Nadjet Kamel (U. Poitiers, France)
50 Top6 Tuesday 24 August
Computer Aided Inventing Room: Ariane 2
■ 13h30-15h: Computer Aided Organiser: Noel León-Rovira Inventing and Innovation (ITESM Campus Monterrey, Mexico) Management opical Days T Chair: Gaetano Cascini (U. Florence, Italy) ■ 10h30-12h: Fundamentals of Computer Aided Inventing Computer Aided Comprehensive Design for Six Sigma (DFSS) and Axiomatic Design (AD) - Michael Chair: Sergei Ikovenko (International TRIZ Slocum (Breakthrough Management Systems, USA) Association, USA/Russia) TRIZ and Computer Aided Inventing - Sergei Towards "Inventiveness-Oriented" CAI Tools - Ikovenko (International TRIZ Association, Denis Cavallucci (INSA Strasbourg, France), Noel USA/Russia) Leon (ITESM Campus Monterrey, Mexico) Optimization vs. Innovation in a CAE Environment - Exploring the Inclusion of Design Factors in Noel Leon, Jorge Gutierrez, Carlos Castillo, Oscar Computer Aided Inventing - Rosario Vidal, Elena Martinez. (ITESM Campus Monterrey, Mexico) Mulet (U. Jaume I, Spain), Belinda López-Mesa Luleå (U. Technology, Sweden), Graham ■ 15h30-17h: Panel Thompson (UMIST, Manchester, UK) Will Computer Aided Innovation and Invention Play State-of-the-Art and Trends of Computer Aided a Significant Role in the Product Creation Process? Innovation Software and its Tools and Methods - Gaetano Cascini (U. Florence, Italy) Moderator: Noel León (ITESM Campus Monterrey, Mexico) Participants: Sergei Ikovenko (International TRIZ Association, USA/Russia), Rosario Vidal (U Jaume I, Spain), Gaetano Cascini, (U. Florence, Italy), Valeri Souchkov (INSYTEC B.V, The Netherlands), Michael Slocum (Breakthrough Management Systems, USA)
Top7 Wednesday 25 August 2004
Emerging tools and Techniques for Avionics Certification Room: Ariane 2
Formal Proof and Test Case Generation for Organisers: Virginie Wiels (ONERA, France) Critical Embedded Systems using SCADE - and Mats Heimdahl (U. Minnesota, USA) Odile Laurent (Airbus, France), Guy Durrieu, Christel Seguin, Virginie Wiels (ONERA, France) ■ 10h30-12h: ■ 13h30-15h: The Role of Testing in Certification Architecture and Automation Chair: Mats Heimdahl (U. Minnesota, USA) Chair: Christel Seguin (ONERA, France) The Role of Structural Coverage in Certification - Safety Assessment with Altarica, Lessons Kelly J. Hayhurst (NASA Langley, USA) Learnt Based on two Aircraft System studies - Christian Bougnol, Jean-Pierre Heckmann,
51 Sylvain Metge (Airbus, France), Pierre Bieber, Panel Charles Castel, Christophe Kehren, Christel Seguin (ONERA, France) Tools and Certification Improving Certification Capability through Moderator: Gérard Ladier (Airbus, France) Automatic Code Generation - Neil Audsley, Iain Participants: Kelly J. Hayhurst, Odile Laurent, Bate, Steven Crook-Dawkins, John McDermid Jean-Pierre Heckmann, Iain Bate, Steven P. (U. York, UK) Miller, Pascal Chaumont (Airbus, France) opical Days
T ■ 15h30-17h30: System Validation Chair: Virginie Wiels (ONERA, France) Early Validation of Requirements: A Case Study using Formal Methods - Steven P. Miller (Rockwell Collins, USA), Mats P.E. Heimdahl (U. Minnesota, USA) Proof of Properties in Avionics - Jean Souyris, Denis Favre-Felix (Airbus, France)
Top 8 Monday 23 August 2004
The Convergence of Bio-Info-Nano-Technologies Room: Cassiopée
France) Organiser: Alain Costes (INP Toulouse, France) ■ 15h30-17h30: Nano for Bio-Info ■ 13h30-15h: Chair: Alain Costes (INP Toulouse, France) Info-Nano for Bio Nanotechniques and Quantum Resources Chair: Christian Joachim (CEMES-CNRS, France) Available to Compute with one Molecule - Nanobiochips : an Example of Hybridization Christian Joachim (CEMES-CNRS, France) between Miniaturization Technologies and Life Integrative Technology: 21st Century Sciences - Cristophe Vieu (LAAS-CNRS, France) Technology for 21st Century Engineer - Carlo Analysis of Complex Biological Data Sets Montemagno (UCLA, USA) Arising from DNA-Microarrays Studies - Joerg Hoheisel (Deutsches Krebsforschungszentrum, Panel Germany) Bio-Info-Nano-Technologies: The Convergence Genomic Information along the Genome: of 21st Century Technologies? Modeling, Statistical Analysis and Evolutionary Moderator: Christian Joachim (CEMES-CNRS, Implications - Christian Gautier, V. Navratil, C. France) Melo de Lima (CNRS / U. Lyon1 and INRIA,
52 Top9 Wednesday 25 August 2004
E-Learning Room: Ariane 1
■ 13h30-15h: Organiser: Christian Ernst E-Learning: Technology (Toulouse U. Social Sciences, France) opical Days
Chair: Gérard-Michel Cochard (U. Picardie, France) T ■ 10h30-12h: Learning Objects: the ARIADNE Experience - E-Learning: Methodology Erik Duval (KUL, Belgium) Philippe Vidal (IRIT, France) Chair: Christian Ernst (Toulouse U. Social ■ 15h30-17h30: Sciences, France) E-Learning: Online Courses Running an E-Learning Project: Technology, Implementation Expertise, Pedagogy - Xavier Delgado Chair: Jean-Pierre Courtiat (LAAS-CNRS, France) (Polytechnic U. Catalonia, Spain) Marie-Christine Jené (ITACA, Spain) Making Process of Cyber-Diploma "Cyberlicence de droit" (cyber law degree) - Hortense Fabre (U. of Toulouse 1, France) Nicolas Esplan, Alexandre Lesault (ANDIL, France) International e-Mi@ge(IEM): an E-Learning Version of the Miage Program - Gérard-Michel Cochard (U. Picardie, France), Daniel Marquié (IRIT, France)
Top10 Wednesday 25 August
Perspectives on Ambient Intelligence Room: Diamant
■ 15h30-17h: Organisers: Vijay Masurkar Applications and Ethics (Sun Microsystems, USA) Chair: Vijay Masurkar (Sun Microsystems, USA) ■ 13h30-15h: E-Health – Making Healthcare better for Infrastructure and Governance European Citizens - Diane Whitehouse (European Commission, Belgium) Chair: Vijay Masurkar (Sun Microsystems, USA) Intelligent Ethics - Penny Duquenoy (Middlesex Perspectives on Computing for Service U., UK) Providers of Intelligent Environments - Vijay Masurkar (Sun Microsystems, USA) Global Governance of the Technological Revolution - Emilio Mordini (Centre for Science, Society and Citizenship, Italy)
53 Top11 Thursday 26 August 2004
TRain: The Railway Domain A "Grand Challenge" for Computing Sciences & Transportation Engineering
Room: Mermoz opical Days T Integrated Formal Methods for Safety Analysis - Organiser: Dines Bjørner Wolfgang Reif (Augsburg U., Germany) (National U. Singapore, Singapore) CyberRail and the TRain R&D - Takahiko Ogino (RTRI, Japan) ■ 10h30-12h: Rationale, Practice and Theory ■ 15h30-17h: TRain and Transportation Engineering Chair: Wolfgang Reif (Augsburg U., Germany) The Grand Challenge — FAQs of the R&D of a Chair: Dines Bjørner (National U. Singapore, Railway Domain Theory - Dines Bjørner Singapore) (National U. Singapore, Singapore) A Stochastic Framework for Train Domain Reusing Formal Models — Domain Theories - Ted C. Giras (U. Virgina, USA) Capitalization via Formalization - Denis Sabatier TRain: Transportation Engineering Meets (Clearsy, France) Computing Science - Eckehard Schnieder A Refinement-Based Approach to Calculating a (Technical U., Germany) Fault-Tolerant Railway Signal Device – Alistair A. McEwan, Jim Woodcock (U. Kent, UK) Panel The TRain Grand Challenge? Presentation of ■ 13h30-15h: Consortium, Discussion and Questions - All Railway Application, Present and Future Speakers Chair: Alistair A. McEwan (U. Kent, UK) From Railway Resource Planning to Train Operation - Martin Penicka (Czech Technical U., Czech Republic)
Top12 Thursday 26 August 2004
Open-Source Software in Dependable Systems Room: Ariane 1
■ 10h30-12h: Organisers: Philippe David (ESA, The Introductory Talks Netherlands) and Hélène Waeselynck (LAAS-CNRS, France) Chair: Hélène Waeselynck (LAAS-CNRS, France) OSS in Critical Systems: Motivation and Challenges - Philippe David (ESA, The Netherlands), Hélène Waeselynck, Yves Crouzet (LAAS-CNRS, France)
54 Trusting Strangers - Carl Landwehr (U. of ■ 15h30-17h: Maryland, USA) Insights from OSS Integrators and An Interdisciplinary Perspective of General Discussion Dependability in Open-Source Software - Chair: Andrea Servida (European Commission) Cristina Gacek (U. Newcastle, UK) Linux: a Multi-Purpuse Executive Support for ■ 13h30-15h: Civil Avionics Applications? – Serge Goiffon, Insights from OSS Suppliers Pierre Gaufillet (Airbus, France) opical Days A journey Towards an OSS-Aware Organization - T Chair: Philippe David (ESA, The Netherlands) Jean-Michel Tanneau (Thales Research & Is Academic Open-source Software Dependable? Technology, France) - Shigeru Chiba (Tokyo Institute of Technology, General Discussion and Concluding Remarks Japan) by Andrea Servida (European Commssion) Open-source in Dependable Systems: Current and Future Business Models -Cyrille Comar, Franco Gasperoni (ACT Europe, France) An Open-source VHDL IP Library with Plug & Play Configuration - Jiri Gaisler (Gaisler Research, Sweden)
Top13 Thursday 26 August
Interdependencies of Critical Infrastructures Room: Cantate
■ 13h30-15h: Organiser: Rune Gustavsson (Blekinge Critical Interdependencies between Institute of Technology, BTH, Sweden) Power Nets and Information Nets – The Virtual Utility ■ 10h30-12h: Chair: Christophe Andrieu (IDEA Grenoble, France) Power Grid as a Critical Infrastructure The Role of Supporting Information Chair: Rune Gustavsson (Blekinge Institute of Infrastructures of a Virtual Utility - Rune Technology, Sweden) Gustavsson (Blekinge Institute of Technology, Power Networks as a Critical Infrastructure - Sweden) Nouredine Hadjsaid (IDEA Grenoble, France) Challenges of Future Virtual Power Grids - Distribution Generation as a Stabilization Factor Nouredine Hadjsaid (IDEA Grenoble France) of Power Grids - Christophe Andrieu (IDEA, France)
55 Top14 Thursday 26 August 2004
Social Robots: Challenges for Machine Intelligence Room: Ariane 2
■ 15h30-17h30: opical Days
T Organisers: Raja Chatila and Georges Giralt Learning and Cognition (LAAS-CNRS, France) Chair: Rachid Alami (LAAS-CNRS, France) Learning and Cooperative Multimodal ■ 10h30-12h: Humanoid Robots - Ruediger Dillmann Overview and Challenges (Karlsruhe U., Germany) Chair: Georges Giralt (LAAS-CNRS, France) From Geometric to Cognitive Maps - A Key Element for Personal Robots - Roland Siegwart Development of Humanoids and New Business (EPFL, Switzerland) Structure - Hirochika Inoue (Digital Human Research Center, AIST, Japan) Centibots: Very Large Scale Distributed Robotic Teams - Kurt Konolige (SRI International, USA) Towards Robot Companions - Raja Chatila (LAAS-CNRS, France) Concluding Panel Roles of Robots in Human Society: Challenges and Case Studies - Kerstin Dautenhahn (U. Hertfordshire, UK)
■ 13h30-15h: Human Robot Interaction Chair: Roland Siegwart (EPFL, Switzerland) Human-like Motion from Physiologically-Based Potential Field - Oussama Khatib (Stanford U., USA) A Dialog Based Interactive Robot - Gerhard Sagerer (Bielefeld U., Germany) Tracking Humans - Ben Krose (U. Amsterdam, The Netherlands)
56 ■ and EvaluationTheories Raising theIssuesonSchoole-LaboratoriesusingNovelPedagogical T Sunday 22August2004 ■ Greece) Patras, Giannaka (U. ChristosBourasandEleftheria Antonios Alexiou, - byusingtheComputerLaboratory Courses, F aCheap Way inEducation: Virtual Laboratories Short Paper Switzerland) Alexandra Totter(ETHZ, France), ArnaudPierre(Thales, Finland), DaisyMwanza(UH.DE, Greece), Vivian Litsa(ST, Austria), HannesKaufmann(TUV, Germany), MartinFaust(ARTEC, France), (LAAS-CNRS, - Future ofE-Learning” “Moving Towards the The Lab@FutureProject: Long Paper Norway) Science and Technology, Multimedia - Systemsand Learning Management Invited Talk: Spain) Chair: Theory toPractice ■ andCostasDavarakis Jean-Pierre Courtiat Student Performance - of anEvaluation Computer-Automated Testing: Short Papers Finland) Helsinki, JariLavonenand Veijo Meisalo(U. Juuti, T inScience Issues onSchoolE-Laboratories Y France)andKalina Paris, Léonardde Vinci, (U. Agathe Merceron Learning- Clustering StudentstoHelpEvaluate Long Papers Chair: and Usability ahn:Vrult,RealityandGender- Virtuality, eaching: Australia) Sydney, acef (U. or Schools to Obtain Laboratories forall or SchoolstoObtainLaboratories SseaTcnlge A Greece) (Systema TechnologiesSA, France) andCostasDavarakis (LAAS-CNRS, Co-chairs: echnology Enhanced Learning (TEL04) echnology EnhancedLearning 9h-9h10: 11h-12h30: 9h10-10h30: John Everett(VirRADProjectDirector, adTz LA-NS France) Saïd Tazi(LAAS-CNRS, Jan Wibe (Trondheim NorwegianU. Jean-Pierre Courtiat Jean-Pierre Courtiat Opening Session T eacher Training inNorway. E-Learning Evaluation E-Learning E-Laboratories from ivaCgoe Stefania Silvia Cagnone, Véronique Baudin Kalle om Spot Room: Ws2 luePno U rnbe France) Grenoble, Claude Ponton (U. Mathieu Loiseauand Thomas Lebarbé, Kraif, Olivier Echinard, Sandra Georges Antoniadis, aNew for Call Systems- Approach MIRTO: Short Papers T Paraskevi Tzouveli andStefanosKollias (National User inE-LearningEnvironments- Adaptation Long Paper Greece) Chair: Experiments ■ Y RFID Tags- Environment for Learningusing Vocabulary Computer SupportedUbiquitousLearning Japan) Kitamura (HiroshimaU., Japan)and Toshiaki Haruo Niimi(KyotoU., Y W Short Papers Spain) Murcia, Mora Gónzalez(U. EduardoMartínezGraciáandManuel Skarmeta, AntonioFernandoGómez- Martínez Carreras, Learning in - Virtual Laboratories DesignforCollaborative APlatform COLAB: Greece) (ANCOS.A., Fotis Psomadelisetal. Germany), Essen, (U. HansFischeretal. Greece), Athens, (National Technical U. Uzunoglu etal. Nikolaos Greece), (Ellinogermaniki Agogi, the Future- of Developing theSchoolScienceLaboratory Designingand The Project “Lab of Tomorrow”: Long Papers Austria) Vienna, Chair: T ■ Finland) Joensuu, Eronen (U. Marjo Virnes andPasiJ. Randolph, Justus J. T A modelforDesigningandEvaluating Teacher Italy) Simone Riccucci(U.Bologna, GiorgioCasadeiand RobertoRicci, Mignani, cnclU tes Greece) Athens, echnical U. noYn TksiaU,Japan) oneo Yano (Tokushima U., Shinji Tomita, Japan), oshiro Imai(KagawaU., raining Programsin Technology - Education echnologies atSchool eb-Based Computer - Visual Simulator 16h-17h30: 14h-15h30: Sofoklis Sotiriou(Ellinogermaniki Agogi, Christian Breiteneder(Technical U. iok gt,Ryo Akamatsu and Hiroaki Ogata, Michalis Orfanakisetal. E-Laboratories New Generation Maria Antonia 57 Workshops Ws2 Sunday 22 August 2004
Using Learning Theories for Education on The An Informational Model for Lytext: a Resource Web: a Web Application for Teaching and of Assistance to the Preparation of the French Learning Computer Networks - Evandro Cantú, Baccalaureate - Claire Becker and Chrysta Jean Marie Farines and José André Angotti Pélissier (U. Nancy, France) (Federal U. Santa Catarina, Brazil) Ambient Learning: the Experience of Ambient orkshops A look at the Learning Process in Remote Technologies in E-Learning - Bernhard Koelmel
W Laboratory: Tele-Experimentation Situations at and Sébastien Kicin (U. Karlsruhe, Germany) ICAM - Patricia Cappelaere and Allal Saadane (U. The Eudoxos Project: Teaching Science in Lille, France) Secondary Education through a Robotic An Adaptation-Based Technique on Current Telescope - Nicholas Andrikopoulos et al. Educational Tools to Support Universal Access: the (Ellinogermaniki Agogi, Greece), George Case of a GSL E-Learning Platform - Eleni Efthimiou Fanourakis et al. (Institute of Nuclear Physics, and Stavroula-Evita Fotinea (Institute for Language Greece), George Kalkanis et al. (U. Athens, and Speech Processing, Maroussi, Greece) Greece), Eulalia Garcia Cruz et al. (U. Cadiz, Spain) Using Multimedia in E-Learning, a New Role for ■ 17h40-18h15: Fast Abstract Teachers? - Everardo Reyes Garcìa and Imad Session Saleh (U. Paris VIII, France) Chair: Thierry Villemur (LAAS-CNRS, France) A connectionist Approach for Adaptative Lesson - A 3-D Virtual Image Based Learning Tool for Hassina Seridi-Bouchelaghem, Toufik Sari and Studying Normal Heart Development - Jean- Mokthar Sellami (U. Annaba, Algeria) Marc Schleich and Jean-Louis Dillenseger (U. ■ Rennes, France) 18h15: Closing Session A Role Based Institutional Portal — Module Management System (MMS) - Bin Ling, Colin Allison, Ross Nicoll and Alex Bain (U. St Andrews, UK)
Ws3 26-27 August 2004
Certification and Security in Inter-Organizational E-Services (CSES-04) Room: Canigou, on Thursday / Cassiopée, on Friday
Generating Network Security Protocol Co-Chairs: Enrico Nardelli and Maurizio Implementations from Formal Specifications - Talamo (NESTOR – U. Rome “TorVergata”, Italy) Benjamin Tobler and Andrew C.M. Hutchison (Sandton Convention Centre, South Africa) Thursday 26 August 2004 ■ 13h30-15h: Full Paper Presentations ■ 10h30-12h: Full Paper Presentations Chair: Maurizio Talamo Chair: Enrico Nardelli (U. Rome “TorVergata”,Italy) (U. Rome “TorVergata”, Italy) Using NGSCB to MitigateExisting Software Problems Running Untrusted Services as Java Threats - Matthew Barrett, Clark Thomborson (U. Threads - Almut Herzog, Nahid Shahmehri Auckland, New Zealand) (Linköping U., Sweden) A Prevention Strategy for Security: a Bayesian Anonymous Attribute Certificate for Dynamic Approach to Anomalies Detection - Arcieri Authorisation in E-Commerce Environment - Franco, Dimitri Andrea (U. Rome “TorVergata”, Italy) Richard Au (Queensland U. Technology, Australia) Use of Electronic Identity Cards in Private Sector - Lionel Khalil (LIPN, France)
58 ■ 15h30-17h30: Panel Chizuko Yasunobu, Norihisa Komoda (Osaka U., Japan) Trust Management Models (joint initiative with FAST workshop) ■ 11h-12h30: Full Paper Presentations
Friday 27 August 2004 Chair: MaurizioTalamo (U. Rome “TorVergata”, Italy) orkshops A web Service for Certified E-Mail - S. Cimato,
■ W 9h-10h30: Short Paper Presentations V. Auletta, C. Blundo, G. Raimato (U. Salerno, Italy) Chair: Enrico Nardelli (U. Rome “TorVergata”,Italy) Truthful Mechanisms for Building Trust in MobileFinancial Information Services and E-Commerce - Giovanna Melideo, Guido Proietti Security Corresponding - Jan Muntermann, (U. l’Aquila, Italy) Heiko Rossnagel, Kai Rannenberg (U. Frankfurt, H/W based Firewall for High-Performance Germany) Network Security - Jong-Gook Ko, ki-young Kim, RSA-Based Proxy Signature Scheme with geol-u Lyu (Electronics and Telecommunications Effective Revocation - Manik Lal Das (Institute Research Institute, Korea) for Development and Research in Banking ■ Technology, India) 14h-15h30: Panel Business Risk Management Based on a Service Trust and Security Challenges for Virtual Portfolio Approach for an Equipment-Providing Organizations (joint initiative with FAST Service - Tadasuke Nakagawa, Shigeyuki Tani, workshop).
Ws4 26-27 August 2004
Formal Aspects in Security and Trust (FAST) Room: Néouvielle, on Thursday / Guillaumet 1, on Friday
Koutny, Peter Y.A. Ryan (U. Newcastle, UK) Chairs: Theo Dimitrakos (BITD-CCLRC, UK) and Fabio Martinelli (IIT-CNR, Italy) Formal Analysis of a Fair Payment Protocol - Jan Cederquist, Muhammad Torabi Dashti (Centrum voor Wiskunde en Informatica, The Thursday, 26 August 2004 Netherlands) ■ Pattern-Matching Spi-Calculus - Christian 10h30-12h: Haack, Alan Jeffrey (DePaul U., USA) Security and Noninterference Decidability of Opacity with Non-Atomic Keys – Invited Talk: Security Issues in the Tuple- Laurent Mazare (VERIMAG, France) space Coordination Model – Roberto Gorrieri (U. Bologna, Italy) ■ 15h30-17h: Panel Information Flow Analysis for Probabilistic (joint with CSES Workshop) Timed Automata - Ruggero Lanotte (U. dell'Insubria, Examining Trust Management Models from Italy), Andrea Maggiolo-Schettini, Angelo Troina Different Perspectives (U. di Pisa, Italy) Moderator: Christos Nikolaou (U. Crete, Greece) Dynamic Security Labels and Noninterference - Lantian Zheng, Andrew Myers (Cornell U., USA) Participants: Theo Dimitrakos (BITD-CCLRC, UK), Christian Jensen (DTU, Denmark), Klaudia ■ 13h30-15h: Keser (IBM, USA), Ketil Stølen (SINTEF ICT, Formal Models for Security Norway), William H. Winsborough (George Mason U., USA) Modelling Dynamic Opacity using Petri Nets with Silent Actions - Jeremy W. Bryans, Maciej
59 Workshops 60 lrdEs MT USA) Alfred Essa (MIT, T Open Source toEducational Approaches Spain) Madrid, Chair: Opening andInvitedTalk ■ Thursday 26August2004 EduTech’2004 26-27 August2004 ■ ■ Friday, 27August2004 U taa Canada) Ottawa, (U. Carlisle Adams GregorBochmann, Jianqiang Shi, A Trust Foundation - ModelwithStatistical Australia) (Information SecurityResearchCentre, GregMaitland YvonneHitchcock, ColinBoyd, Choo, Analysis withFormal - Specifications Protocol Complementing Computational Italy) Trento, Massacci (U. Scheme- Negotiation An Interactive Trust and Management UK) (London SouthBankU., Access Control- A Formal ModelforParameterised Role-Based Security andTrust Management(II) F TheNetherlands) Eindhoven, (Technical U. Erikde Vink TheNetherlands), (Twente U., Vu Virtual Analysis andReductionofSide-Channel Network – Invited Talk: Security andTrust Management(I) U ury UK) Surrey, (U. cnlg noain anMITPerspective - Innovation: echnology amily Secrets- eMdi,Spain) de Madrid, Chair: lnerabilities ofSmartcards- 10h30-11h30: 11h00-12h30: 9h00-10h30: alsDlaoKos(.CarlosIIIde Carlos DelgadoKloos(U. alsDlaoKos(.CarlosIII Carlos DelgadoKloos(U. hitsNklo U rt,Greece) Crete, Christos Nikolaou(U. An Overview oftheiTrustAn Overview Thematic l .Adla,EineJ Khayat EtienneJ. Abdallah, Ali E. ae ete,JonathanClark James Heather, rsoKsuasi Fabio Hristo Koshutanski, om imn,o hrdy/So,onFriday on Thursday /Spot, Diamant, Room: Jerry denHartog Jerry Kim Kwang Ws5 ■ ■ cec,See) ae egt(.Lno,UK) London, MarekSergot(U. Sweden), Science, Sadighi Firozabadi(SwedishInstituteofComputer the PrivilegeCalculus- Overridingof Discretionary Access Controlin France) Miège (ENSTBretagne, Alexandre Sans, Thierry Nora Cuppens-Boulahia, Network SecurityPolicy - A Formal a toSpecifyandDeploy Approach Netherlands) The Twente, SandroEtalle(U. The Netherlands), Twente, IoanStaicu(U. GabrieleLenzini, Hartog, Decentralized Systems- A Logicfor Auditing Accountability in Ireland) Cork, College O'Sullivan(U. Barry Foley, Simon N. Italy), Soft Constraints- using Reasoning aboutSecureInteroperation Access Control andSecurityPolicies USA) JakkaSairamesh(IBM, UK), (BT, PaulKearney Germany), YücelKarabulut(SAP, UK), Dave Golby(BAESystems, UK), Dimitrakos (CCLRC, Theo Germany), Claessens (Microsoft–EMIC, P Moderator: Business Centric Virtual Organizations Major Trust andSecurityChallengesfor (joint withWSCSESWorkshop) eMdi,Spain) de Madrid, CarlosIII NataliaPérez(U. PedroMuñoz, Pardo, Assessments - A Type-Based Taxonomy ofItemsin Spain) Vigo, (U. Luis Anido MartínLlamas, Manuel Caeiro, — Language A Pattern-Based - Approach To Spain) Complutense deMadrid, Chair: Standards E-Learning ■ articipants: wards anEnhancedLearningDesign 11h30-12h10: 16h00-17h30: 14h00-15h30: Baltasar Fernández Manjón(U. arzoTlm U oe Italy) Rome, Maurizio Talamo(U. rnoAcei(ETR tl) Joris Italy), (NESTOR, Franco Arcieri alsDlaoKos Abelardo Carlos DelgadoKloos, Stefano Bistarelli(CNRPisa, Panel rkRsae,Babak Erik Rissanen, Ricardo Corin, Jerry den Jerry Ricardo Corin, Frédéric Cuppens, ■ 13h30-15h: Panel An intelligent Virtual Environment for Distance Learning - Cássia T. dos Santos, Fernando S. Use of Standards in a Technical Setting Osório (Unisinos U., Brazil) Moderator: Luis Anido (U. Vigo, Spain) Development and Implementation of a Participants: Martin G. Curley (INTEL, UK), Rolf Biometric Verification System for E-Learning Lindner, (TU Darmstadt, Germany), Ricardo Reis Platforms - Elisardo González-Agulla, Enrique orkshops
(UF Rio Grande do Sul, Brazil), Frans van Assche Argones-Rúa, Carmen García-Mateo, Oscar W. W (European SchoolNet, The Netherlands) Márquez-Flórez (U. Vigo, Spain) ■ A Testing Methodology for an Open Software E- 15h30-16h30: Learning Platform - Ana Cavalli, Stephane Maag, E-Learning in System Design Sofia Papagiannaki, Georgios Verigakis (INT, Chair: Donatella Sciuto (Politecnico di Milano, France), Fatiha Zaidi (U. Paris, France) Italy) ■ 14h-14h45: Invited Talk Optimiller: an Interactive Environment that Helps Students in the Understanding, Design and Chair: Abelardo Pardo (U. Carlos III de Madrid, Optimization of Miller Electronic Oscillator Spain) Circuits for QCM Sensors - Loreto Rodríguez- Can Learning Objects be Reused - and How? - Pardo, José Fariña (U. Vigo, Spain), Claude Gabrielli, Erik Duval (K.U. Leuven, Belgium) Hubert Perrot, Remi Brendel (CNRS, France) Educational Tools for Industrial Communication ■ 14h50-15h30: Networks Design - Perfecto Mariño, Heriberto E-Learning Experience Hernández, Miguel A. Domínguez, Francisco Poza, Fernando Machado (U. Vigo, Spain) Chair: Abelardo Pardo (U. Carlos III de Madrid, Spain) Remote System of Design and Test of DC-DC Converters - Luis Eguizabal, Alonso Lago, Carlos Learning Objects Definition and Use in Martínez, Jesús Doval (U. Vigo, Spain)
61 Ws6 Friday 27 August 2004
Architecture Description Languages Room: Concorde 2 orkshops How ADLs can Help in Adapting the CORBA Chair: Mamoun Filali (FéRIA/IRIT, France)
W Component Model to Real-Time Embedded Software Design - Sylvain Robert (CEA/SACLAY, ■ 9h-10h30: Tutorial France), Vincent Seignole (Thales, France), Sébastien Gérard (CEA/SACLAY, France), Chair: Pierre Dissaux (TNI/Europe, France) Stéphane Ménoret, Virginie Watine (Thales, An Overview of the SAE Architecture Analysis & France), Ansgar Radermacher, François Terrier Design Language (AADL) Standard: a Basis for (CEA/SACLAY, France) Model-Based Architecture-Driven Embedded ■ Systems Engineering -Peter H. Feiler (Software 16h00-17h30: Domain Specific Engineering Institute, USA), Bruce Lewis (US Architecture Description languages Army, USA), Steve Vestal (Honeywell Laboratories Chair: Bruce A. Lewis (Software Engineering Minneapolis, USA), Ed Colbert (Absolute Software, Institute, USA) USA) Specification of Intel IA-32 using an Models and Analysis (Part I) Architecture Description Language - Jeff Bastian, Soner Onder (Texas Instruments, USA) Chair: Pierre Michel (FéRIA/Onera, France) Cotre as an AADL Profile - Patrick Farail, Pierre Deploying QoS Contracts in the Architectural Gaufillet (Airbus, France) Level - Sidney Ansaloni (U. Fluminense, Brazil), EAST-ADL an Architecture Description Alexandre Sztajnberg (U. Rio de Janeiro, Brazil), Language, Validation and Verification Aspects - Romulo Curty (U. Fluminense, Brazil), Orlando Vincent Debruyne (PSA Peugeot-Citroën, France) Loques (U. Fluminense, Brazil) Françoise Simonot-Lion (LORIA, France), Yvon Trinquet (IRCCyN, France) ■ 11h-12h30: Models and Analysis (Part II) Chair: Pierre Michel (FéRIA/Onera, France) Hierarchical Composition and Abstraction in Architecture Models - Pam Binns and Steve Vestal (Honeywell Laboratories Minneapolis, USA) Pattern-Based Analysis of an Embedded Real- Time System Architecture - Peter H. Feiler (Software Engineering Institute, USA), David P. Gluch (Embry-Riddle U., USA), John J. Hudak (Software Engineering Institute, USA), Bruce A. Lewis (US Army, USA) An ADL Centric Approach for the Formal Design of Real-Time Systems - Sébastien Faucou, Anne-Marie Déplanche, Yvon Trinquet (IRCCyN, France)
■ 14h00-15h30: Specification and Design Chair: Steve Vestal (Honeywell Laboratories Minneapolis, USA) SafArchie Studio: ArgoUML Extensions to Build Safe Architectures - Olivier Barais and Laurence Duchien (LIFL U. Lille, France) Enhancing the Role of Interfaces in Software Architecture Description Languages (ADLs) - Seamus Galvin, Chris Exton, Finbar McGurren (U. Limerick, Ireland)
62 Ws7 27 August 2004
Broadband Satellite Communication Systems (BSCS’04) Room: Ariane 2 orkshops W S-DMB System Architecture and the MODIS Co-chairs: Thierry Gayraud (LAAS-CNRS, Demo - Thibault Gallet, Christophe Selier, Nicolas France) and Michel Mazzella (Alcatel Chuberre, Michel Mazzella (Alcatel Space, Space, France) France), Kanagasabapathy Narenthiran, Merkouris Karaliopoulos, Rahim Tafazolli, Barry ■ 9h00-10h30: Opening Session Evans (U. Surrey, UK), A. Jacobs, Luca Zaccheo, Michael Dieudonne (Agilent Technology, Belgium), Thierry Gayraud (LAAS-CNRS, France) Frédéric Rible (Ercom, France), Kristiaan Petit, Ali Nazif (Alcatel Bell Space, Belgium), Michael Wolf Standardisation and Dissemination (DaimlerChrysler, Germany), Laurent Roullet Chair: Thierry Gayraud (LAAS-CNRS, France) (UDcast, France), Abraam Pouliakis, Ilias Andrikopoulos, Ioannis Mertzanis (Space Hellas, Broadband Satellite Multimedia (BSM) Greece) Architectures — A Framework for Standards Activity in ETSI - Rupert Goodings (Ecotel ■ 14h-15h30: Research Papers I Limited, UK) and Marie-José Montpetit (MJMontpetit.com, USA) Chair: Sébastien Josset (Alcatel Space, France) SatLabs Group: Leading the DVB-RCS Standard Store and Forward Services in Satellite to a Commercial Success - Xavier Lobao, (ESA, Constellations - Laurent Franck (ENST, France) The Netherlands) Predicting Performance of ROHC over the Ultra COST272: Packet-Oriented Service Delivery via Lightweight Encapsulation Protocol - Mahesh Satellites - Erina Ferro (ISTI/CNR, Italy), Haitham Sooriyabandara, Michael Forrest, Gorry Fairhurst Cruickshank (U. Surrey, UK), Laurent Franck (U. Aberdeen, UK) (ENST, France) GEO Satellites and their Applications: Services Integration over DVB Systems - Julien Fasson, ■ 11h-12h30: European Research Emmanuel Chaput, Christian Fraboul, Projects (ENSEEIHT/IRIT/TéSA, France) Chair: Laurent Franck (ENST, France) Group Size Estimation for Hybrid Removing Barriers, Integrating Research, Satellite/Terrestrial Reliable Multicast - Spreading Excellence: The European Satellite Florestan de Belleville, Laurent Dairaine Communications Network of Excellence (ENSICA/TéSA, France), Christian Fraboul “SatNEx” - Markus Werner, Anton Donner (DLR, (ENSEEIHT/IRIT/TéSA, France), Jean-Yves Germany), Michel Bousquet, (SUPAERO, France), Tourneret (TéSA, France) Giovanni Emanuele Corazza (U. Bologna, Italy), ■ 16h-16h30: Research Paper II Barry Evans (U. Surrey, UK), Fun Hu (U. Bradford, UK), Erich Lutz (DLR, Germany), Gérard Maral Chair: Michel Mazzella (Alcatel Space, France) (ENST France), Robert Rumeau (CNES, France), SatIPSec - Sébastien Josset, Laurence Ray Sheriff (U. Bradford, UK) Duquerroy (Alcatel Space, France) The RELY Project: Integrating Satellite Digital Radio Broadcasting (S-DB) - Terrestrial Cellular ■ 16h 30-17h30: Panel Technology and EGNOS Satellite Navigation - Olivier Courseille, Philippe Poiré, Michel Claude What is the Future of Satellite Communication Durand, M. Mazzella (Alcatel Space) Systems? SATIP6 : Next Generation Satellite System Moderator: Michel Mazzella (Alcatel Space) Demonstrator using IPv6 - Olivier Alphand, Participants: Xavier Lobao (ESA/ESTEC, The Pascal Berthou, Thierry Gayraud (LAAS-CNRS, Netherlands), Rupert Goodings (ETSI BSM, UK), France), Sébastien Josset (Alcatel Space, Laurent Franck (ENST, France), Thierry Gayraud France), Eddy Fromentin, Fabrice Lucas (AQL, (LAAS-CNRS, France) France), Inge Melhus, Jacob Kuhnle (SINTEF, Norway) Closing Session Michel Mazzella (Alcatel Space, France)
63 Ws8 August 27, 2004
Challenges of Mobility Room: Argos orkshops ■ 16h-17h30: Future Trends and Co-chairs: Fernando Boavida and
W Issues Concerning Mobility Edmundo Monteiro (U. Coimbra, Portugal) Chair: Stephan Olariou (Old Dominion U., USA) ■ 9h00-10h30: Roaming and Service Management in Hotspot Opening and Invited Talk Networks Through a Policy Based Management Architecture - Idil Fodir (6WIND, LIP6, U. Paris, Chair: Edmundo Monteiro France), Vincent Jardin (6WIND, France), Guy (U. Coimbra, Portugal) Pujolle (LIP6, U. Paris, France) A Scalable Service Discovery Framework with Invited Talk: Securing Wireless Sensor Load Sharing Capabilities - Manuel Urueña, Networks - Stephan Olariou (Old Dominion U., USA) David Larrabeiti, Pablo Serrano (U. Carlos III de Madrid, Spain) ■ 11h-12h30: Seamless Mobility Middleware Services for Information Sharing in Chair: Thomas Plagemann (U. Oslo, Norway) Mobile ad-hoc Networks - Challenges and Approach - Thomas Plagemann (U. Oslo, MPEG-21 Session Mobility in a Broadcasting Norway), Jon Andersson (Thales Communications Environment - Davy de Schrijver, Frederik de AS, Norway), Ovidiu Drugan, Vera Goebel, Carsten Keukelaere, Rik Van de Walle (Ghent U, IMEC, Griwodz, Pål Halvorsen, Ellen Munthe-Kaas, Belgium) Matija Puzar, Norun Sanderson, Katrine Stemland Research Challenges in Mobility and Moving Skjelsvik (U. Oslo, Norway) Networks: an Ambient Networks View - Ville Mobility and Appliance Networks — A New Typpö (VTT Technical Research Centre, Finland), Mobility Model - Bob Askwith, Madjid Merabti Karl Holger (Technical U. Berlin, Germany), (Liverpool John Moores U., UK) Ramon Aguero (U. Cantabria, Spain), Jan Höller (Ericsson AB, Sweden), Jochen Eisl (Siemens AG, ■ 17h30: Closing Germany) Unified Local Mobility Management - Jukka Manner (U. Helsinki, Finland), Tapio Suihko (VTT Information Technology, Finland), Kimmo Raatikainen (U. Helsinki, Finland)
■ 14h-15h30: Models, Simulation and Measurement for Mobile and Wireless Systems Chair: Pascal Berthou (LAAS-CNRS, France) A New Scenario and Techniques for Content Prefetching in 3G Networks - Ricardo Romeral, Manuel Urueña, Santiago Gallego, David Larrabeiti, Arturo Azcorra (U. Carlos III de Madrid, Spain) Two-Stage Wireless Network Emulation - Tanguy Perennou, Emmanuel Conchon, Laurent Dairaine (ENSICA, France) Michel Diaz (LAAS- CNRS, France- Quality of Service Model and Signalling for Cellular IP Access Network - Suraj Jaiswal (IIT Guwahati, India), Fernando Boavida (U. Coimbra, Portugal), Joao Orvalho (ESEC, Portugal)
64 Ws9 Friday 27 August 2004
High Performance Computational Science and Engineering (HPCSE-04) Room: Guillomet 2 orkshops W and associated (multi-disciplinary) problem Chairs: Andrei Doncescu (LAAS-CNRS and solving environments. Because the solution of INSA Toulouse, France), Laurence T. Yang large and complex problems must cope with tight (St. Francis Xavier University, Canada), timing schedules, the use of high performance Michael Ng (University of HongKong, China) computing including traditional supercomputing, and Tau Leng (Dell Inc, USA) scalable parallel and distributed computing, emerging cluster and grid computing, is Computational Science and Engineering is inevitable. increasingly becoming an emerging and This event will bring together computer scientists promising discipline in shaping future research and engineers, applied mathematicians, and development activities in academia and researchers in other applied fields, industrial industry ranging from engineering, science, professionals to present, discuss and exchange finance, economics, arts and humanitarian fields. idea, results, work in progress and experience of New challenges are in the fields of modeling of research in the area of high performance complex systems, sophisticated algorithms, computational techniques for science and advanced scientific and engineering computing engineering applications.
Ws10 Friday 27 August 2004
International Summit on Computing Professionalism (ISCP) Room: Servanty
Scope and Topics Chairs: J. Barrie Thompson, Helen M. Edwards (U. Sunderland, UK) and Mikko Ruohonen The summit will continue work, undertaken since (U. Tampere, Finland) 2000, to promote consideration and evaluation of issues associated with professional practice in the field of information technology. In particular issues concerned with: • Ethics of professional practice • Established Body of Knowledge • Education and Training • Professional experience • Best Practice and Proven Methodologies • Maintenance of Competence
65 Ws11 Friday 27 August 2004
Prep-WITFOR 2005 Workshops Preparatory Workshops for IFIP World Information Technology Forum 2005
Rooms: Diamant, Vignemale, Carlit, Canigou, Néouvielle orkshops W Gaborone Protocol is a document aiming at Chair: Dewald Roode (University of Cape advising governments in emerging countries on Town, South Africa) how to formulate and follow the best strategy for the use of ICT in order to achieve global ICT-equity. Recognizing the developmental opportunities offered by the digital technologies and the need Themes of the Workshops for developing countries and developed countries to collaborate to exploit such opportunities, the • Building the infrastructure Second World Information Technology Forum • Economic opportunity (WITFOR) will be organized by the International • Empowerment and participation Federation For Information Processing (IFIP) • Health under the auspices of UNESCO. The Government • Education of Botswana will host the forum, • Sustainability of Natural Resources 31 August – 2 September 2005 in Gaborone. • Agriculture The World IT Forum (WITFOR) focuses on the • Social and ethical aspects formation of the ICT-enabled development agenda and aims at assisting developing nations to implement sustainable strategies for the application of ICT by organizing state-of-the-art conferences on global trends in ICTs and relevant policy issues concerning developing countries. It also aims at initiating projects in different areas of the ICT spectrum. The aim of WITFOR is to examine different initiatives on effective, context sensitive development and use of ICT applications, access to quality relevant information, and the development of "fair use principles" in the Internet Age. In particular the WITFOR events are intended to: • Help put ICT-enabled development initiatives on the agenda of different organizations, governmental bodies, and groups currently involved in information and communications technologies. • Work with different groups to ensure that the issue of ICT diffusion and sustainable effective use is on the agenda of senior policy makers and political leaders. • Assist international organizations and donor agencies to build issues of the spread of ICTs and access to information into their loan and funding programmes with adequate financial and institutional allocations. • Develop a position paper on these issues and draft a Gaborone Protocol advising governments on strategies for the use of ICT.
66 Tut1 Friday 27 August 2004
Applications of Multi-Agent Systems Room: Marmier utorials T
Abstract persons that are interested to model and to implement different applications by using the Multi-agent systems (MAS) is a key technology Multi-Agent Systems technology. that enable the development of systems composed by a set of autonomous agents that Presenter are able to interact with one another. The agents share a common environment. They may have a Dr. Mihaela Oprea is a Full Professor in the global goal to solve together or they may have Department of Informatics, University of Ploiesti, their own goals to pursue. The main benefit of Romania, where she is teaching courses in MAS technology is the ability to cope with Artificial Intelligence since 1995. She received dynamics. her PhD degree in Computer Science from the The tutorial will provide answers to the following University of Ploiesti in 1996, and her MSc questions: degree in Computer Science from the Polytechnic • What is a MAS? University Bucharest in 1990. Her current • What are the MAS architectures? research interests include multi-agent systems, • What are the properties of a MAS (the machine learning, and expert systems. Dr. Oprea functional and the non-functional ones)? has published more than 50 scientific papers, • How a MAS can be designed? and as a single author five books, all in the area • What methodologies are available for the MAS of Artificial Intelligence. She is a member of the development? Romanian Society for Informatics and Automatics, • What is coordination and how it can be achieved? the Slovenian Artificial Intelligence Society, and • Which coordination techniques are appropriate the IASTED Technical Committee on Artificial for a MAS? Intelligence and Expert Systems. Also, she is • What is negotiation and how it can be achieved? actively involved as a project manager in several • What negotiation models can be used in a MAS? research projects, and she has visited as a • How learning can improve the performance of research visitor some universities and Artificial a MAS? Intelligence Research Institutes in UK, Spain, • What applications are appropriate for a MAS Austria and Sweden. implementation? • What public software products are available for MAS implementation? • What are the most known and successful MAS implementations? • What are the lessons learned from the developed MAS applications? • What are the future research directions in the area of MAS implementations? The tutorial will start with an introduction to multi-agent systems. The methodology of MAS development will be described and references to different methodologies will be given. As coordination and negotiation are important issues that need to be addressed when designing a MAS, we shall focus on them. A presentation of different types of applications will be made and some case studies will be described in detail (such as e-commerce and virtual enterprises). The tutorial is self-contained; it assumes only a basic knowledge of Artificial Intelligence concepts. The potential target audience includes students, researchers, teachers, and all the
67 Tut2 Sunday 22 August 2004
Discrete-event Simulation with Applications to Computer Communication Systems utorials
T Performance Room: Diamant
Abstract the tutorial will provide several examples covering applications like TCP/IP, IEEE 802.11, and As complexity in computer and communication client-server application. systems increases, it is becoming increasingly hard to analyze system analytically. Similarly The tutorial will help in understanding simulation measurement based tools for system beyond just setting parameters in templates of performance evaluation is becoming more simulation packages. expensive. In this tutorial, discrete event simulation as a model based technique will be Presenters introduced. It is widely used for the performance assessment of complex stochastic systems. Helena Szczerbicka,full Professor, holds the Importance of applying a systematic methodology Chair for Modelling and Simulation, in for building correct, problem dependent, and Department of Computer Science at University of credible simulation models will also be Hannover, Germany. She has a M.Sc. in Applied discussed. These will be made evident by Mathematics and Ph.D. in Computer Science relevant experiments for different real-life from Warsaw University of Technology, Poland. problems and interpreting their results. She has been on the faculties of Warsaw University, University of Karlsruhe, Germany and The tutorial will start providing motivation for University of Bremen, Germany. She spent her using simulation as a methodology for solving sabbaticals at University of California, Berkeley problems, different types of simulation (steady and University of Central Florida, Orlando. state vs. terminating simulation), pros and cons Currently she leads a research group of analytical versus simulative solution of a SIM-Simulation and Modelling. She works actively model. This will also include different classes of in Federation of European Simulation Societies simulation tools existing today. It will be followed (Eurosim), German Simulation Society (Asim) and by steps involved in input data modelling of a Society for Computer Simulation (SCS). She is simulation. Data collection, parameter estimation, associate member of the McLeods Institutes of goodness-of-fit test and random deviate Simulation Sciences, USA. She conducts the generation will be discussed. A detailed analysis FG4.5.3 Working Group Simulation and Artificial of discrete event simulation including steady Intelligence of the German Society of Computer state and terminating simulation will be Science (GI). She has authored/co-authored more presented. Use of data structures for realization than 90 papers and one book. Her research of simulation will be discussed. Analysis of output interests are in the field of modelling results involving statistical concepts like point performance and performability of large scale estimate, interval estimate, confidence interval discrete dynamic systems. She is currently and methods for generating it, will also be involved in establishing a Center for Integrated covered. Different approaches for deciding model Simulation at University of Hannover. validity will be described along with how model verification and validation relate to the model Kishor S. Trivedi holds the Hudson Chair in the development process. Also various validation Department of Electrical and Computer techniques will be defined. Engineering at Duke University, Durham, NC. His research interests are in reliability and The tutorial will also discuss some of the most performance assessment of computer and widely used simulation packages like OPNET, communication systems. He has published over ns-2 and CSIM. A broad and fair comparison of 300 articles, lectured extensively on these topics different packages will help one in deciding the and supervised 38 Ph.D. dissertations. He is the best package for a given application. Duke-Site Director of an NSF Industry-University Also different methods of speeding the simulation Cooperative Research Center between NC State like importance sampling, importance splitting University and Duke University. He is a and regenerative simulation will be taken. Finally co-designer of the HARP, SAVE, SHARPE, SPNP
68 and SREPT modeling packages which have been Pawan K. Choudhary received his bachelor’s widely circulated. He is the author of Probability degree in ECE from Indian Institute of Technology, and Statistics with Reliability, Queuing and India, in 2002.
Computer Science Applications, 2nd edition, He is currently pursuing Ph.D. at Duke University, utorials published by Wiley. He is a Fellow of the IEEE and Durham, North Carolina. His research interests T a Golden Core Member of IEEE Computer Society. are in simulative and analytic modeling of computer systems.
Tut3 Sunday 22 August 2004
Service-oriented Computing Room: Argos
Abstract technology, the talk shifts to the technological front-line and identifies current shortcomings. Service Oriented Computing (SOC) is a major trend in current information and communication The first of the two sessions introduces the technology. The wide scope of SOC includes conceptual foundation, standards and technology practical, applied and theoretical facets of as well as major trends of SOC. After placing computer science and has the potential to set off SOC in the E-Business Landscape, its conceptual a severe shift in computing paradigms. Thereby, basis is detailed using an extended multi layered SOC goes far beyond Webservices: it comprises a service-model that combines basic-, composite wide range of application-level concepts, most as well as managed services. In this context, an important in the e-business domain. This tutorial overview of standards from "acronym hell" is gives a comprehensive overview of concepts, given that locates major trends and limitations. technologies and ongoing research that is The second session focuses on research issues motivated from the application-level domain of in SOC. It gives an overview of the most electronic business. It will enable a broad important areas of research and presents their audience from industry and science to navigate state of the art. Among others, this will include through the diversified SOC landscape, classify service-formalisation, -composition, -semantics and rate individual developments and identify and -grids. fields of individual interest. Presenter The tutorial equally targets managers that want to get an overview of this trend, scientists that Christian Zirpins is a senior researcher and want to update to the state of research and technical project manager at the "Distributed practitioners that want to be informed about the Systems and Information Systems" unit in the latest technology. Generally, no specific Computer Science Dept. of Hamburg University knowledge from within the field is required to and also acts as a professional IT consultant. follow the talk. It will be held on a half day basis with two sessions and an intermediary coffee He played a major role in several research and break. Handouts of the tutorial-slides will be development projects explicitly devoted to the provided. area of system support for service-oriented computing. Currently, he is scientific coordinator The tutorial starts with an introduction of of the industrial research project FRESCO, service-oriented concepts as solutions for addressing the area of GRID-based service- application-level problems of electronic business. oriented computing. In addition, he is actively After being equipped with a solid conceptual involved in the formation of a European Network background, the audience will be confronted with of Excellence in Service-oriented Computing. and guided through the overwhelming variety of service-oriented technology. From the state of
69 Tut4 Sunday 22 August 2004
Test and Design-for-Test of Mixed-Signal Integrated Circuits utorials
T Room: Diamant
Abstract Presenters
This tutorial aims to introduce circuit designers Jose Luis Huertas received the Licenciado en into the problems of making integrated circuits Física degree and the Doctor en Ciencias Físicas more testable. An efficient test procedure for a degree in 1969 and 1973, respectively, both complex, mixed-signal Application Specific from the University of Sevilla, Spain. From 1970 Integrated Circuit (ASIC), must take several to 1971, he was with the Philips International factors into consideration: stimuli generation, Institute, Eindhoven, The Netherlands, as a sufficient access, single test output, simple postgraduate student. Since 1971, he has been measurement set and system-level with the Departamento de Electrónica y decomposition. Electromagnetismo, University of Sevilla, Spain, where he is a full professor. He is also the These factors worth attention for specific circuits Director of the Instituto de Microelectrónica de classes, since there is no universal method valid Sevilla, Seville, Spain. His current interests for any kind of analog and/or mixed-signal include the design and testing of analog/digital function. Attention will be paid to integrated filters integrated circuits, computer-aided IC analysis and integrated analog-to-digital and and design, fuzzy logic, nonlinear digital-to-analog converters, as they are today microelectronics, and neural networks. He has the main analog and mixed-signal cores found in co-authored several books, published more than state-of-the-art complex Systems-on-Chip 300 papers in international journals and (SoCs). In particular, the possibilities offered by conferences. Since 1993, Dr. Huertas has been techniques using small circuit modifications will serving as the general chair of several be specially focused, as the means to improve conferences and workshops. Dr. Huertas was an circuit testability, and thus the fault coverage, Associate Editor for IEEE Trans. on CAS, and is at while avoiding at most to degrade the the Editorial Board of the Journal of Analog ICs performance of the final electronic system. and Signal Processing. Practical silicon examples will be presented, trying to give a flavour on the pros and cons that Marcelo Lubaszewski received the Electrical design for test is offering nowadays to integrated Engineering and M.Sc. degrees from the circuit designers. Universidade Federal do Rio Grande do Sul (UFRGS), Porto Alegre, Brazil, in 1986 and 1990, To meet the goals stated above, the following respectively. In 1994, he received the Ph.D. topics are addressed in this tutorial: introduction degree from the Institut National Polytechnique to mixed-signal test (main test concepts, digital de Grenoble (INPG), France. He presently acts as vs. analog testing, test practice in integrated a Researcher at the Instituto de Microelectrónica circuit industry, design and test inter-relations), de Sevilla (IMSE), in the frame of the Programa testing approaches (fault-based, specification- Ramón y Cajal of the Ministry of Science and based, techniques for testing filters, techniques Technology of Spain. He is currently on leave for testing converters), and design-for-test from UFRGS, where he has been an Associate techniques (enhancing testability, built-in self-test Professor since 1990. His primary research and on-line test). interests include design and test of mixed-signal, This tutorial is intended to professionals microelectro-mechanical and core-based interested in analog and mixed-signal integrated systems, self-checking and fault-tolerant circuits in general: designers interested in how to architectures, and computer-aided testing. He consider test in early design phases, test has published over 100 papers on these topics. engineers interested in incorporating test within Dr. Lubaszewski has served as the general chair the design flow, and academics involved in or program chair of several conferences. He has research and education on test procedures and also served as a Guest Editor of the Journal of strategies. Electronic Testing: Theory and Applications and as an Associate Editor of the Design and Test of Computers Magazine.
70 Tut5 Sunday 22 August 2004
Software Rejuvenation - Modeling and Analysis utorials
Room: Argos T
Abstract Presenters
Software reliability is one of the weakest links in Kishor S. Trivedi holds the Hudson Chair in the system reliability even for applications that have Department of Electrical and Computer relatively less complex software. In this tutorial, Engineering at Duke University, Durham, NC. His we will first give an overview of software fault research interests are in reliability and classification and briefly discuss software performance assessment of computer and reliability in the testing/debugging and communication systems. He has published over operational phases. We will then describe the 300 articles, lectured extensively on these topics phenomenon of software aging that has been and supervised 38 Ph.D. dissertations. He is the reported in widely used software and also in Duke-Site Director of an NSF Industry-University high-availability and safety-critical systems. To Cooperative Research Center between NC State counteract this phenomenon, a proactive University and Duke University. He is a co- technique called “software rejuvenation” has designer of the HARP, SAVE, SHARPE, SPNP and been proposed. This essentially involves SREPT modeling packages which have been gracefully terminating an application or a system widely circulated. He is the author of Probability and restarting it in a clean internal state. and Statistics with Reliability, Queuing and Software rejuvenation has not only attracted a lot Computer Science Applications, 2nd edition, of interest from the academic community, but published by Wiley. He is a Fellow of the IEEE and also from the computer industry. a Golden Core Member of IEEE Computer Society. First, we will discuss methods of evaluating the Kalyan Vaidyanathan received his Ph.D. degree effectiveness of software rejuvenation in in Electrical and Computer Engineering from operational software systems and determining Duke University in 2002. He is currently a optimal times to perform rejuvenation. This is software engineer at Sun Microsystems CTO done by developing stochastic models which Labs, San Diego, CA. His interests include tradeoff the cost of unexpected failures due to proactive fault monitoring, software reliability and software aging with the overhead of proactive performance and dependability evaluation of fault management. Given a sample data of failure computer systems. times, statistical non-parametric algorithms based on the total time on test (TTT) transform will be described to obtain the optimal rejuvenation interval. We will also present a framework of adaptive estimation and rejuvenation of software systems in the presence of aging sources. We will then describe measurement-based models which are constructed using workload and resource usage data collected from the UNIX operating system over a period of time. The measurement-based models are the first steps towards predicting aging related failures, intended to help development of strategies for software rejuvenation triggered by actual measurements. Rejuvenation has also been extended to cluster systems, where our analyses show that it results in a significant increase in system availability. Finally, we discuss the implementation of a software rejuvenation agent in a major commercial server.
71 Tut6 Sunday 22 August 2004
Semantic Web Services : Requirements, Modeling and Discovery utorials
T Room: Ariane 2
Abstract Presenter
The vision of the Semantic Web is to make Web Mohand-Said Hacid data machine processable, and rests on the (http://www710.univ-lyon1.fr/~mshacid) premise that to do so we need to accommodate, is a Professor at the University Claude Bernard somehow, the semantics of these data. Many Lyon 1, France. He is leading the Database, technologies and methodologies are being Knowledge Representation and Reasoning group developed within Artificial Intelligence, Databases, (http://www710.univ-lyon1.fr/~dbkrr). His Software Engineering and Information Systems research interests include Semantic Web, that can contribute towards the realization of this Knowledge Representation and Reasoning, Data vision. Models and Query Languages for Database applications. He received his engineer degree in This tutorial focuses on: Computer Science from the University of Tizi- • Description languages for Semantic Web Ouzou (Algeria) in 1987 and his PhD in Computer Services: We will investigate formal languages Science from the National Institute of Applied with well defined semantics. Sciences of Lyon (France) in 1991. From 1991 to 2001 he was with IUT B in Lyon holding an • Automatic Web Services discovery and Associate Professor position. Since 2001, he has selection: This involves locating Web services been a Professor at the Computer Science that provide a particular service and that department, University Claude Bernard Lyon, adhere to requested properties. With semantic France. From April 1997 to January 1998 and markup of services, we can specify the June 1998 to September 1998 he was a visiting information necessary for Web service researcher at the Theoretical Computer Science discovery as computer-interpretable semantic Laboratory, Aachen University of Technology, markup at the service Web sites, and a service Germany. From May 2000 to March 2001 he registry search engine can automatically locate was a visiting associate Professor at the Indiana appropriate services. Center for Database Systems, Purdue University, USA. • Automatic Web service execution: it involves a computer program or agent automatically executing an identified Web service. Semantic markup of Web services provides a declarative, computer-interpretable API for executing services. The markup tells the agent what input is necessary, what information will be returned, and how to execute. • Automatic Web service composition and interoperation: this task involves the automatic selection, composition, and interoperation of appropriate Web services to perform some task, given a high-level description of the task’s objective. Currently, if some task requires a composition of Web services that must interoperate, then the user must select the Web services, manually specify the composition, ensure that any software for interoperation is custom-created, and provide the input at choice points. With semantic markup of Web services, the information necessary to select, compose, and respond to services is encoded at the service Web sites.
72 Tut7 Sunday 22 August 2004
Quality of Service in Information Networks Room: Guillaumet 1 utorials T
Abstract 8. The MPLS support of DiffServ networks 9. Support of real-time applications in IP The tutorial aims to introduce the problems networks concerned with the provision of end-to-end 10.The case of third generation wireless quality of service (QoS) in information networks, networks to describe the existing solutions for that 11. Current research issues. provision and to present the state-of-the art of the existing research. Presenter Information networks transport, in an integrated way, different types of traffic, from classical data Augusto Casaca graduated in Electrical traffic, which has flexible QoS requirements, to Engineering at the Instituto Superior Técnico, real-time interactive traffic, which requires QoS Lisboa, Portugal. He got the M.Sc. degree in guarantees. Most of the solutions for the Digital Electronics at UMIST, Manchester, UK and transport of information in this type of networks the Ph.D. in Computer Science at the University assume that the networks are based on IP, which of Manchester, Manchester, UK. Presently he is traditionally provides a best-effort service. Full Professor at the Instituto Superior Técnico To understand the new models for IP networks, and Leader of the Research Group on “Network capable of improving the best-effort delivery Architecture” at INESC - Lisboa. He has been mechanism, it is necessary to analyse in detail involved in many research, development and how data packets are processed in the network consulting activities in the area of routers and the complexity associated with the Communication Systems since 1985 and has different schemes implemented in the routers. participated in several RACE, ACTS and IST projects in the area of Broadband End-to-end network quality of service depends Communications and Networking. He has actively not only on the router capabilities but also on the participated on standardization activities at ITU-T general structure of the network. Two models and ETSI, has published several scientific papers have been defined to improve the quality of in journals and conferences, and has chaired and service of IP networks. They are known as the co-chaired five conferences on Broadband Integrated Services (IntServ) model and the Communications and Internetworking. He was Differentiated Services (DiffServ) model. Studies Chairman of IFIP Technical Committee 6 have also been done to join the two models in (Communication Systems) from 1998 to 2003. the so-called IntServ over DiffServ architecture. He is presently involved in the Euro-NGI Network In parallel with the development of the above of Excellence supported by the 6th Framework mentioned models, IETF has also worked in a Program, in which his research interests are new solution called Multi-Protocol Label linked to the provision of quality of service in Switching (MPLS). MPLS is a protocol which is information networks. appropriate for traffic engineering and is also the best solution to run IP over ATM networks. More recently, the problem of IP QoS provision was also highlighted in the architecture of third generation wireless networks, which aim to have IP to support the end-to-end transfer of information in the future. The tutorial has the following structure: 1. Quality of Service fundamentals 2. Resource allocation mechanisms in IP networks 3. The IP Integrated Services (IntServ) model 4. The IP Differentiated Services (DiffServ) model 5. IntServ operation over DiffServ networks 6. Multi-Protocol Label Switching (MPLS) 7. Traffic engineering with MPLS
73 Tut8 Sunday 22 August 2004
Safe and Secure Systems Development with UML: Methods and Tools utorials
T Room: Guillaumet 2
Abstract As example application domains, we focus on safety- and security-critical systems. The high quality development of critical systems (be it dependable, security- critical, real-time, or Presenter performance-critical systems) is difficult. Many critical systems are developed, deployed, and Jan Jurjens is researcher at TU Munich used that do not satisfy their criticality (Germany). He leads Competence Center for IT requirements, sometimes with spectacular Security at the Software & Systems Engineering failures. group. He authored “Secure Systems Part of the difficulty of critical systems Development with UML” (Springer-Verlag, development is that correctness is often in published May 2004). He has more than 30 conflict with cost. Where thorough methods of papers, several invited papers, 20 tutorials in system design pose high cost through personnel international refereed journals and conferences. training and use, they are all too often avoided. Jan Jurjens is initiator and current chair of working group on Formal Methods and Software UML offers an unprecedented opportunity for Engineering for Safety and Security (FoMSESS) high-quality critical systems development that is within German Computer Society (GI). He is feasible in an industrial context, because a large member of: number of developers is trained in UML, UML is - IFIP Working Group 1.7 “Theoretical relatively precisely defined, and a number of tools Foundations of Security Analysis and Design” are developed to assist its use. - executive board of Division of Safety and Security within GI The tutorial aims to give background knowledge - technical committee on Modeling of the GI on using UML for critical systems development - advisory board of Bavarian Competence Center and to contribute to overcoming some challenges for Safety and Security in this context including: - working group on e-Security of Bavarian • Adaptation to critical system application regional government domains. - previous academic stations: Univ. of Bremen, • Providing advanced tool-support for critical Univ. of Cambridge, Univ. of Edinburgh (LFCS), systems development with UML. It includes a Bell Labs / Lucent Technology (Palo Alto), Univ. demo of a tool supporting critical systems of Oxford. analysis with UML. The tutorial presents the current academic research and industrial best practice by addressing the following eight main subtopics: • UML basics, including extension mechanisms • Applications of UML to • dependable systems • security-critical systems • Extensions of UML (UMLsec, UMLsafe, ...) • Using UML as a formal design technique for the development of critical systems. • Critical systems development methods. • Modeling, synthesis, code generation, testing, validation, and verification of critical systems using UML, in particular: Using the standard model interchange formats (XMI) for tool integration and to connect to validation engines. Existing tools. • Case studies. • Interactive tool demo.
74 Tut9 Friday 27 August 2004
Interaction Design of Highly Automated Domain-Specific Systems utorials
Room: Latécoère T
Abstract Presenters
The main learning objectives are to introduce Guy Boy is President of the European Institute of practitioners and researchers to emerging Cognitive Sciences and Engineering (EURISCO changes in the way people interact with International). He received his Ph.D. in machines, and in particular to the shift from Automation and System Design from the Ecole direct manipulation to agent management in Nationale Supérieure de l'Aéronautique et de specific domains such as aviation, space l'Espace (ENSAE) in 1980, his “Habilitation à exploration, military, nuclear industry, automobile Diriger des Recherches” in 1992 (LAFORIA, Paris industry, telecommunications, and medicine. By VI), and his Full Professorship Qualification in the end of the tutorial, participants will be able to Computer Science and Psychology in 1994. He better understand and more effectively use was a Research Scientist at the Office National current concepts in interaction design of highly d'Etudes et de Recherches Aérospatiales automated domain-specific systems. (ONERA) from 1980 to 1988. He was a Principal Investigator and Group Leader (Advanced The major features of this tutorial are: an Interaction Media) at NASA Ames Research from introduction to similarities and differences 1989 to 1991. His research is in human- between human-centered and technology- centered design of safety-critical dynamic centered approaches to interaction design of systems. He is the author of three books in the highly automated domain-specific systems; a field of cognitive engineering: Intelligent Assistant development of the concept of cognitive function Systems (Academic Press, 1991), and Cognitive as a common entity that is useful for the Function Analysis (Ablex, 1998), and the representation of both human and software coordinator of the French Handbook of Cognitive agents (i.e., automation); a presentation of the Engineering (Hermes-Lavoisier, 2003). >From necessary cognitive science knowledge within the 1995 to 1999, he served as Executive Vice-Chair scope of the currently emerging industrial agent of the ACM-SIGCHI Executive Committee technology; a presentation of the tradeoffs (Association for Computing Machinery-Special between direct manipulation and agent Interest Group on Computer-Human Interaction). management; live and video demonstrations of He is a member of the French Academy of how agents can be used to facilitate the Aerospace. For more information: communication, cooperation and coordination http://www-eurisco.onecert.fr/team/index.html. between various activities that include training and operations. Jeffrey M. Bradshaw (PhD University of Washington) is a research scientist at the The lecturers will invite participants to interact as Institute for Human and Machine Cognition. much as possible providing to the overall group Previously, he led the intelligent agent technology their questions and problems from their own group at The Boeing Company, where he has domain and situation. Some exercises will be been responsible for the development of several devoted to solving some of these questions in a successful tools to simplify complex modeling very interactive way. In addition, the GEM pRoom tasks through a combination of mediating software will be used to carry out effective representations and analytic methods. He was participatory design of human-centered recently a Co-PI for a fourteen-member DARPA- automation. Depending on the number of funded international experiment on agents for attendees, the sessions may be differently Coalition Operations (CoAX), and leads a team for organized. The instructors will need to know the agent survivability and policy-based security approximate number of attendees a while in under the DARPA Ultra*Log program. Jeff has advance to organize the final setup of the course. served as chair of the RIACS Science Council for NASA Ames Research Center and as chair of ACM SIGART. In 1993-94, he was a Fulbright Senior Scholar at the European Institute for Cognitive Sciences and Engineering (EURISCO) in Toulouse, France. Among other publications, he
75 edited the books Knowledge Acquisition as a 1997), Software Agents for the Warfighter(in Modeling Activity (with Ken Ford, Wiley, 1993), press), and the forthcoming Handbook of Agent Software Agents (AAAI Press/The MIT Press, Technology (AAAI Press/The MIT Press). utorials T
Tut10 Sunday 22 August 2004
Developing Portable Software Room: Marmier
Abstract be presented, evolving from initial specifications to an implementation in several diverse Software portability is an attribute that is always environments. Issues in porting across real, cited as desirable, but rarely receives systematic current environments will be stressed. A set of attention in the software development process. notes and reprints of selected papers will be With the growing diversity of computing platforms distributed. and especially the rapid growth of pocket computing devices, it t is increasingly likely that Presenter software of all types may need to migrate to a variety of environments and platforms over its James D. Mooney has taught computer science lifetime. This tutorial is designed to show you at West Virginia University for 25 years. He has a how to design portability into your software, and long record of research, teaching, and how to port it when required. standardization activities related to software Well-known strategies for achieving portability portability. He chaired the working group that include use of standard languages, system developed IEEE Standard 855 for Microprocessor interface standards, portable libraries and Operating System Interfaces (MOSI), and he has compilers, etc. These tools are important, but performed studies of system interfaces as a they are not a substitute for a consistent researcher affiliated with the CTRON Committee, portability strategy during the development a part of Japan's TRON project. In addition, he process. The problems are compounded contributed to the ISO/IEC JTC-1 TSG-1 study on considerably by the more demanding application portability. He has published several requirements of much present-day software, papers on portability topics, including a survey including timing constraints, distribution, and article which has been cited prominently in sophisticated user interfaces. software engineering textbooks. Dr. Mooney was the Principal Investigator for a two-year study The portability problem is often affected by the funded by the National Science Foundation, “silver bullet” syndrome. Innovations such as entitled “Studies in Cost-Effective Software FORTRAN, POSIX, Ada, TRON, CORBA, Java, and Portability”. He has developed and teaches a the World Wide Web have all promised to provide course at West Virginia University entitled universal portability. All of these have helped, but “Developing Portable Software”, and he is none have provided a complete solution. We will developing a textbook with the same title.rs examine both the value and the limitations of Magazine. these technologies. The proposed tutorial will introduce a broad framework of portability issues, but concentrate on practical techniques for bringing portability considerations to the software development process. The presentation is addressed both to individual software designers and to those participating in an organized development process. A small but illustrative case study will
76 Tut11 Sunday 22 August 2004
Formal Reasoning about Systems, Software and Hardware Using Functionals, utorials
Predicates and Relations T Room: Servanty
Abstract Presenter
Formal reasoning in the sense of “letting the Raymond Boute holds M.Sc. degrees in EE/ME symbols do the work” was Leibniz's dream, but and in Electronics from Ghent University, and a making it possible and convenient for everyday PhD degree in EE from Stanford University. From practice irrespective of the availability of 1973-1981, he was with Bell Telephone, automated tools is due to the calculational Antwerp, working on advanced system concepts, approach that emerged from Computing Science. control structures and software for telecommunications systems, and participated in This tutorial provides an initiation in a formal the Intel VLSI processor project on language calculational approach that covers not only the design for systems programming. discrete world of software and digital hardware, From 1981-1994, he was a full professor at but also the “continuous” world of analog Nijmegen University, teaching computer systems and circuits. The formalism used is free architecture, operating systems, VLSI design, of the defects of traditional notation that hamper computer networks and satellite communications, formal calculation, yet, by the unified way in and initiating the research and education at which it captures the conventions from applied Nijmegen on functional programming and more mathematics, it is readily adoptable by engineers. declarative formalisms, especially for hybrid The fundamental part formalizes the equational systems. Since 1994, he continues these calculation style found so convenient ever since research interests as a full professor at Ghent the first exposure to high school algebra, followed University. Teaching includes mathematical by concepts supporting expression with variables foundations for computer science, formal (pointwise) and without (point-free). Calculation methods in systems modelling, and formal rules are derived for (i) proposition calculus, semantics. He has also taught courses at the including a few techniques for fast "head" University of Antwerp, at the Eindhoven University calculation; (ii) sets; (iii) functions, with a basic of Technology and, as a Visiting Professor, at the library of generic functionals that are useful EPFL in Lausanne (1982, 1993), at the ETH in throughout continuous and discrete mathematics; Zuerich (1986), and at the University of Leuven / (iv) predicate calculus, making formal calculation IMEC (1989). with quantifiers as “routine” as derivatives and integrals in engineering mathematics. Pointwise and point-free forms are covered. Uniform principles for designing convenient operators in diverse areas of discourse are presented. Mathematical induction is formalized in a way that avoids the common errors observed in informal use. Illustrative examples are provided throughout. The applications part shows how to use the formalism in areas of computing, including data type definition, systems specification, imperative and functional programming, formal semantics, deriving theories of programming, and also in other areas such as signal processing (analog and digital), control and telecommunications (formal calculation with Fourier and Laplace transforms) and, as time permits, other topics that may be decided on the spot depending on preferences of the audience.
77 Tut12 Sunday 22 August 2004
GeneSyS - an Approach to Distributed Systems Supervision utorials
T Room: Mermoz
Abstract Presenters
This tutorial is intended to give an overview of the Jean-Eric Bohdanowicz (EADS SPACE distributed systems supervision question through Transportation) graduated in computing science, a comprehensive state-of-the-art of the existing electronics, network and telecoms fields. He solutions for this kind of supervision. It will also managed several studies on networking present, as a case study in this field, a new supervision for EADS in both fields of R&D and generic, innovative and comprehensive solution industrial applications and in an international encompassing in a seamless way not only the context. He is the GeneSyS project manager. well known network and computing infrastructures but also the application level Stefan Wesner (HLRS - Stuttgart University) is supervision. This new supervision middleware, head of the Software Technology Group at called GeneSyS (for Generic Systems “HLRS”. He is co-ordinating the GRID-computing Supervision), is issued from the European activities and the research in emerging Community project IST-34162. technologies such as WEB-Services and Component based software architectures. He is Through didactic presentations and also giving lectures in the area of Software demonstrations, this tutorial will give key Engineering and Java Programming. He is information about the distributed systems co-author of an MPEG-4/RTP IETF Internet-Draft supervision in general illustrated by our case study. and was involved in the ISO/MPEG-4 standard. The attendees will : Hendrik Heimer (NAVUS GmbH) has nearly • Understand the problematic of the distributed 20 years of experience in different management systems supervision and have an overview of positions in industry. In 1995, he founded the existing supervision frameworks through a NAVUS, focussing on software solutions for comprehensive state-of-the-art presentation, scientific and military projects. Beside of software • Understand the concepts and architecture technology, he is developing business strategies issues of an implemented new and innovative for exploitation of NAVUS projects and especially solution, GeneSyS, as well as practical of GeneSyS. questions (how to develop my own components by re-using the code of the existing ones, how Laszlo Kovacs (MTA SZTAKI), technical doctor in to set-up my own supervision framework on computer science, is the founder and head of the my proprietary information system). Department of Distributed Systems (DSD) at MTA SZTAKI (Research Institute in Hungary). He was Several demonstrations will be shown to the involved in different projects in the areas of attendees during the tutorial, illustrating the computer network protocol design, specification, benefits of having a generic, open and verification and implementation. He is the comprehensive supervision solution. Among member of the Advisory Committee of W3C. He is others : leading the dissemination and standardisation • How to write a new agent with the provided activities of GeneSyS. templates and to inter-operate with the existing supervision frameworks, • How to set-up a complete supervision configuration with a running example coming from the industrial validation scenarios testbeds in various contexts (space and web servers domains). • Presentations of several existing components features. Special attention will be given to the open-source approach in this field and to the benefits of this strategy.
78 Exhibition
79 Social Events
Welcome to Toulouse! Welcome to France! Four evenings to be spent in a very different atmosphere each time. Share l’Esprit de Toulouse with us!
■ Sunday 22 August, 19h30
Welcome reception La Médiathèque Where? In the heart of the town, at the top of the monumental arch of the Toulouse municipal Media Library that houses some 150,000 documents. The modern building combines wood and fired clay, which is so very typical of the “Pink Town”. At the top a panoramic viewpoint straddles the two pillars of the arch. From the terrace you can enjoy a view ■ of the whole town in the much-appreciated mild Monday 23 August, 18h30 evening air. City reception What? Le Capitole For this get-together you have the opportunity to Where? taste champagne and wine over a cocktail-dinner. A The Capitole building is one of Toulouse’s most foretaste of the variety and subtlety of French famous sights. The Capitole is the seat of the gastronomy. municipal authorities and has been so for over eight A check-in desk is being set up at the Media centuries. The present Capitole building is a mix of Library where folders and name badges can be styles dating from the 16th to the 19th centuries. picked up. The magnificent neo-classical façade is the best- known part of the Capitole. What? The City of Toulouse, delighted and proud to welcome WCC 2004, has brought together considerable assistance for organising the event. To thank the participants for coming, the Mayor is offering a reception at the Capitole.
■ Tuesday 24 August, 19h30
Ballet La Halle aux Grains Where? The Halle aux Grains, litteraly “Grain Market”, is a high point of culture in Toulouse. The Capitole National Orchestra and National Ballet Company perform here. The old covered market was built in 1861 for trading in cereals transported along the
80 Canal du Midi. In 1974, Michel Plasson, leader of the Capitole National Orchestra discovered the original appearance and the acoustic virtues of this hexagonal structure in the town centre. The Halle aux Grains is now the orchestra's formal residence. What? The dance tradition at Toulouse dates back over nearly three centuries. Today led by Nanette Glushak, who previously danced with the New York City Ballet and the American Ballet Theatre, the Ballet du Capitole is one of the best classical and neo-classical companies in France. A private programme has been prepared for you by the solists of the Ballet du Capitole with choreography by Georges Balanchine, music by Stravinsky and Gershwin.
What? In the setting of the Château Park, a French style banquet, a real celebration for the senses in the most pure tradition bringing together gastronomy and festival! On the programme for the evening: an introduction to the decor, a courteous Renaissance welcome, attractive appetizers, a dinner with show as well as some discoveries.
■ Wednesday 25 August, 20h
Gala dinner Château de Pibrac Where? Built in the pink brick of Toulouse in the 16th century for Guy du Faur de Pibrac, a judge and a moralist poet, the Château de Pibrac is a gorgeous Renaissance building still lived in by the de Pibrac family. Special buses will take you to the Château from several pick-up points in Toulouse and take you back later.
81 Technical Visits
A number of technical visits are proposed during the Congress, both industrial sites and academic laboratories. In any case, you will have to show your passport on site.
■ Airbus Tuesday 22 August, 9h - 11h Airbus : assembly line of the world famous European airline manufacturer.
■ Thales Avionics Tuesday 22 August, 14h - 16h Thales Avionics: the Number one European supplier of avionics and cabin electronics for both airplanes and helicopters, and among the three world-wide; it is a major player in the global aviation industry, delivering solutions for civil and military aircraft, today and for the years to come. ONERA: the Office National d'Etudes et de Recherches Aérospatiales is the French Organisation for Aerospace Research, with activities ■ LAAS-CNRS, ONERA in fluid mechanics and energetics, in materials and Wednesday 25 August, 9h30 – 11h30 structures, in physics, in information processing and systems. LAAS-CNRS: the Laboratory for Analysis and Architecture of Systems is the largest laboratory of LAAS-CNRS, ONERA and IRIT (The CNRS (French National Research Organisation). Its Institute for Research in Informatics of Toulouse) activities span Computer Science and Engineering, have founded FéRIA, the Federation of Research in Automatic Control, Micro- and Nano-Electronics. Informatics and Automatic Control.
82 ■ CNES Wednesday 25 August, 14h30 – 17h CNES: the Centre National d'Etudes Spatiales is the French Agency for Space.
■ Intespace Thursday 26 August, 9h30 – 11h30 Intespace: Space equipment testing since 1962. Today's test facilities enable to test articles of all sizes, from single equipment items to complete systems, in strict compliance with recognized civil, military and space standards.
■ Astrium Thursday 26 August, 9h30 – 11h30 Astrium: a world leader in the design and manufactureof satellite systems, with business activities covering civil and military telecommunications and Earth observation, science and navigation, space equipment and associated ground infrastructure.
■ Alcatel-Space Thursday 26 August, 14h – 17h Alcatel-Space: the leading European industrial specialist and supplier of satellite electronics and informatics, and the European leader in telecommunications satellite payloads.
83 Tourist Visits and Tours
Half a day visits chapels in contrasting colours of brick and stone are typical of Romanesque art in the South of France. Inside, Saint-Sernin hosts remarkable ■ Monday 23 August 14h-17h30 frescoes and relics.
Walk in Toulouse’s historic heart and The Jacobins Dominican church and cloister Bemberg Foundation
The Capitole Created in the 19th century, the Place du Capitole is the largest square of the city and the focal point for many public events in Toulouse. Cafés and restaurants line three sides of the square. The magnificent Capitole, whose neo-classical façade dates back to the middle of the 18th century, occupies the fourth side.
The Dominican order was founded in Toulouse in 1215. Construction of the church and monastery, which included the first University in Toulouse, started in 1230. Only the doorway of the Western façade remains of this first Romanesque building. Completed around 1340, the church is a masterpiece of Southern Gothic. Entering the church, the visitor is struck by the boldness of the 7 columns that spread into ribs comparable to the leaves of a palm tree. The cloister is a haven of The present building, which houses the City Hall peace right in the city centre. and a theatre in Italian style is a mix of styles dating from the 16th century to the 19th century. The Hôtel de Bernuy
The Basilique Saint-Sernin There are many hôtels particuliers (private town houses) in Toulouse, that date back to Toulouse’s As a city with an Golden Age, during which the cultivation and important medieval exploitation of woad brought richness and allowed history, Toulouse has a tradesmen to build luxurious houses in the new number of religious Renaissance style. Jean de Bernuy made his fortune architectural gems that trading woad and built his hotel, which is a pure should not be missed. expression of the Toulouse Renaissance style, Among them, the Saint- influenced by Italy and the Loire châteaux. The high Sernin basilica, started hexagonal tower indicates the level of his power in 1080 and finally and recognition in the city. completed in the 14th century is a great The Hôtel d’Assézat and the Bemberg romanesque church on foundation the pilgrims’ way to Built in the mid-16th century for another woad Santiago de merchant, Pierre d’Assézat, the Hôtel d’Assézat is Compostela. From one of the great Toulouse hôtels, whose proportions, outside, the five semi- courtyard and perfect façades make it a chef- circular, Byzantine- d’œuvre of the Toulouse Renaissance style. It influenced radiating
84 houses a rich collection, ■ Wednesday 25 August 14h-17h30 open to the public, of paintings belonging to The Cité de l’Espace the Bemberg Penetrate the secrets Foundation. The visitor and mysteries of space, can discover a major explore the stars, find group of works from the out how to recognise Renaissance and the the planets of the solar 17th and 18th system, pilot a Soyuz centuries, where the capsule or travel among main European schools the stars in the are represented, and a planetarium. Sitting very inspired collection comfortably in your of paintings from the seat, you will plunge modern French schools, into the heart of the Monet, Degas, Dufy and starry dome and leave numerous Bonnard. for the third dimension. Wander among a variety of exhibits about ■ Tuesday 24 August 14h-17h30 the human adventure in space and visit the Walk in Toulouse’s historic heart and launch pad of the Bemberg Foundation Ariane rocket!
■ Thursday 26 August 10h-12h30
Victor Hugo market The Victor Hugo market is the main covered market of the centre of Toulouse. It houses about 100 booths. Wine merchants, pork butchers, goose and duck producers, cheese makers and green grocers are open even on Sunday. On the first floor, small restaurants serve meals cooked with products from the market. Xavier takes care of about 10 000 cheeses that ripen in his cellars. After the visit of the market, you will have the opportunity to taste in Xavier’s cellars some of his production that he This walk proposes the same itinerary as that on serves in the reputed restaurants in the region. Monday 23, with a commented tour of the Augustins Museum, instead of the Bemberg Foundation. This municipal fine arts museum is housed in a former Augustinian monastery begun in 1309. The museum is best known for its outstanding collection of Romanesque sculpture, taken from the cloisters and chapter-houses destroyed during the last century. The first floor of the museum is dedicated to painting from the 17th to the 19th centuries, including works from Delacroix, Ingres and Toulouse-Lautrec.
85 Tourist Visits and Tours
One day tours ■ Friday 27 August 8h-18h45 Albi and Cordes-sur-Ciel Albi ■ Sunday 22 August 8h-19h30 Built in pink brick on Pic du Midi and Lourdes the Tarn river, Albi is the birthplace of the artist Toulouse-Lautrec (1864-1901). A museum is dedicated to this painter in the Bishop’s Palace (13- 18C) and contains more than two hundred of his works. A visit to the city’s Cathedrale Sainte-Cécile is a must because of the contrast between its imposing fortress-like architecture and the decorative interior.
Pic du Midi Adventure and discovery begin in the cable car that transports visitors from La Mongie (alt. 1800m.), via Le Taoulet (alt. 2341m) to the summit of the Pic (alt. 2877m) within 15 minutes. The landscape is unique and grandiose. A 360° panorama offers visitors views of the Pyrenees mountains and the Great South plains. The Pic du Midi has been dedicated to exploring the universe since 1880 and continues to be an observation and research centre.
Lourdes In 1858, Virgin Mary appeared to Bernadette Soubirous in the Grotto of Massabielle. Today, 6 Cordes sur Ciel million visitors come to Lourdes each year for Founded in 1222 by the Count of Toulouse, Cordes pilgrimages or cures, among which hundreds have is the first and most important bastide, a new town been considered as miraculous by the Catholic built to welcome the homeless after the war. Two Church. fortification lines closed by powerful fortified gates encircled the town. Today Cordes is renowned for its luxurious residences and small town palaces built by prosperous merchants and noble families between 1280 and 1350. Gothic decorations can be found in the architecture and some façades are decorated with high relief sculptures.
86 ■ Friday 27 August 9h-18h45 Two days, one night tours Carcassonne and Limoux ■ Carcassonne 21 August 8h - 22 August 18h Declared a Unesco world heritage site in 1998, the Conques and the Millau viaduct Cité de Carcassonne is a medieval walled town (5th Conques -13th centuries) that played a decisive role in the history of Languedoc. The Count's Castle rises up in In the beautiful village of the centre of the city. It is a veritable fortress in the Conques, Saint Foy heart of the fortress, around which the houses and abbey-church is a streets huddle surrounded by a first wall fortified perfect example of the with ramparts. churches of pilgrimage roads to Santiago de Compostela, built in order to welcome the pilgrims. In 1987, Pierre Soulages, a French abstract painter born in 1919 in Rodez, whose childhood memories have been impregnated by this place, began to work enthusiastically over a plan for creating stained-glass windows for the church. In 1994, he completed the achievement of 95 windows and 9 loopholes that respect and magnify the romanesque austerity and its symbols, and beckon light to enter the church.
Limoux France's oldest sparkling wine has a light, fruity flavor, which has been compared to green apples and cider, and a pleasing bouquet. Blanquette de Limoux must contain at least 80 percent of its primary grape, Mauzac. Other grapes included in the blend are Clairette, Chenin Blanc, and The Millau viaduct Chardonnay. The visit includes a guided tour of wine storehouses and tasting of Blanquette. 242,000 tonnes in total, of which 36,000 tonnes are steel, 343 metres: the height of the higher pillar, 2,460 metres: the total length of the deck. The search for an aesthetic construction led to the adoption of a multi-stayed viaduct, consisting of slender soaring pillars and a very light deck, just touching the valley at only seven points. Once put into service in January 2005, the Millau Viaduct, the most direct route between Paris and the Mediterranean sea, will be the highest bridge in the world.
87 Tourist Visits and Tours
Roquefort discovered in the Nile delta in 1799. Figeac is The cellars of Roquefort form an underground an excellent base from maze, created by the collapse of Mount Combalou. which to explore the In the huge vaulted cellars, naturally ventilated delightful Lot valley with through fissures in the rock, row upon row of its vineyards and truckles of cheese lie slowly maturating between charming villages, such the months of January and July, tended with loving as Saint-Cirq-Lapopie. care by the “Maître-Affineur”.
■ 27 August 8h - 28 August 18h Bordeaux and its vineyards
■ 27 August 8h - 28 August 19h Saint-Emilion The Lot countryside Unesco classified the winegrowing region of Saint- Rocamadour Emilion as a world heritage site. Combining beautiful architecture and landscape, the site is indeed exceptional. Initiatory trip in the universe of Bordeaux wines and visit of a Grand Cru Classé, a famous Saint-Emilion chateau, with a wine tasting session.
Bordeaux and Roquetaillade castle Situated at the mouth of the Garonne river, First Capital of the Dukedom of Aquitaine, Bordeaux became an English harbour from the mid-12th Rocamadour is built into the southern cliff-face of a century until the 14th century. There begins the 120m-deep canyon, at the bottom of which runs story of Bordeaux wines. The town prospered in the the river Alzou. The site was one of the most 18th century thanks to trade in sugar cane and important pilgrimage centres of the Middle Ages, slaves with the French West Indies. After a tour of where many pilgrims, including kings and powerful the town, visit of the Château de Roquetaillade leaders, came to pay penance. Taste a goat’s milk (12th century) and tasting of wine from the cheese in a Rocamadour farm.
Figeac and the Lot Valley The rich medieval past of Figeac is evident in the town’s fine architecture and narrow alleyways. The Musée Champollion is dedicated to the work of the egyptologist, who was born in Figeac in 1790 and who first deciphered hieroglyphs on a basalt slab
88