The Information Society is taking shape around us. Already, information society technologies (IST) affect every aspect of how we live, work and play, and they seem set to have an even greater impact in the future. To realise the full potential of the Information Society, however, its benefits should be accessible to all. The Information Society Technologies Programme, part of the EU's Fifth Framework Programme for research and technological development, is working towards a vision of the future that puts the user at the centre of IST development. In this vision, the technology is almost invisible as it blends into our everday environment. People are able to access IST applications and services wherever they are, whenever they want, and in the form that is most natural for them. This book presents a snapshot of the IST Programme at the present time, describing technical challenges and policy issues addressed by the work programme and highlighting some of the on-going RTD projects. It focuses on the use of IST within three key settings: by individuals and in personal spaces; by enterprises and in the workplace; and by public services and society at large. Enabling technologies which underpin future applications and services across these scenarios are also described. Covering IST development from many different perspectives, the book shows how the Programme is contributing to an Information Society where technology serves the needs of people.

This book constitutes the refereed proceedings of the 2nd European Workshop on Software Architecture, EWSA 2004, held in Pisa, Italy in June 2005. The 12 revised full research papers, one revised case study, and four revised position papers presented together with one invited presentation on ongoing European projects on software architectures were carefully reviewed and selected from 41 submissions. All current aspects of software architectures are addressed ranging from foundational and methodological issues to application issues of practical relevance.

This book constitutes the refereed proceedings of the 16th International Symposium on Algorithms and Computation, ISAAC 2005, held in Sanya, Hainan, China in December 2005. The 112 revised full papers presented were carefully reviewed and selected from 549 submissions. The papers are organized in topical sections on computational geometry, computational optimization, graph drawing and graph algorithms, computational complexity, approximation algorithms, internet algorithms, quantum computing and cryptography, data structure, computational biology, experimental algorithm mehodologies and online algorithms, randomized algorithms, parallel and distributed algorithms, graph drawing and graph algorithms, computational complexity, combinatorial optimization, computational biology, computational complexity, computational optimization, computational geometry, approximation algorithms, graph drawing and graph algorithms, computational geometry, approximation algorithms, graph drawing and graph algorithms, and data structure.

In recent years, IT application scenarios have evolved in very innovative ways. Highly distributed networks have now become a common platform for large-scale distributed programming, high bandwidth communications are inexpensive and widespread, and most of our work tools are equipped with processors enabling us to perform a multitude of tasks. In addition, mobile computing (referring specifically to wireless devices and, more broadly, to dynamically configured systems) has made it possible to exploit interaction in novel ways. To harness the flexibility and power of these rapidly evolving, interactive systems, there is need of radically new foundational ideas and principles; there is need to develop the theoretical foundations required to design these systems and to cope with the many complex issues involved in their construction; and there is need to develop effective principles for building and analyzing such systems. Reflecting the diverse and wide spectrum of topics and interests within the theoretical computer science community, Exploring New Frontiers of Theoretical Informatics, is presented in two distinct but interrelated tracks: -Algorithms, Complexity and Models of Computation, -Logic, Semantics, Specification and Verification. Exploring New Frontiers of Theoretical Informatics contains 46 original and significant contributions addressing these foundational questions, as well as 4 papers by outstanding invited speakers. These papers were presented at the 3rd IFIP International Conference on Theoretical Computer Science (TCS 2004), which was held in conjunction with the 18th World Computer Congress in Toulouse, France in August 2004 and sponsored by the International Federation for Information Processing (IFIP).

This book constitutes the refereed proceedings of the First European Workshop on Software Architecture, EWSA 2004, held in St Andrews, Scotland, UK in May 2004 in conjunction with ICSE 2004. The 9 revised full research papers, 4 revised full experience papers, and 6 revised position papers presented together with 5 invited presentations on ongoing European projects on software architectures were carefully reviewed and selected from 48 submissions. All current aspects of software architectures are addressed ranging from foundational and methodological issues to application issues of practical relevance.

It is a pleasure to offer you this book containing papers about ICT and education from the World Computer Congress 2006 (WCC 2006), held in Santiago, Chile and sponsored by the International Federation for Information Processing (IFIP). A lot of people worked very hard to make this event happen and to produce this book. The programme committee with IFIP members from around the world issued a call for papers inspiring almost 80 people to submit papers, posters, demonstrations, and workshops to the IFIP TC3 (Technical Committee on Education) sub-conference of WCC 2006. The submitted papers were reviewed by a large group of referees to select the papers to be presented at the conference. What is really amazing is that all these people freely contributed their time and effort to do all this work. The TC3 sub-conference of WCC 2006 has two themes: Informatics Curricula, TEaching Methods and best practice (ICTEM II), and Teaching and Learning with ICT: Theory, Policy and Practice. These themes represent many of the broad range of interests of the Working Groups of IFIP TC3. Two kinds of papers are included in this book: full papers and short papers. Full papers are standard papers that are appropriate for an international conference on ICT and informatics education. Of the 64 full paper submissions, 28 (44%) were accepted. A short paper represents work in progress, opinion, a proposal, work with untested results, or an experience report.