Mathematical theory of computation

Welcome to the proceedings of the 14th WoLLIC meeting, which was held in Rio de Janeiro, Brazil, July 2 - 5, 2007.

The papers in this volume were presented at the 10th Workshop on Algorithms and Data Structures (WADS 2005).

This volume contains the papers presented at AI 2007: The 20th Australian Joint Conference on Arti?

We are currently witnessing a proliferation in parallel and distributed processing technologies and applications.

The 12th International Conference on Human-Computer Interaction, HCI Inter- tional 2007, was held in Beijing, P.

The 12th International Conference on Human-Computer Interaction, HCI Inter- tional 2007, was held in Beijing, P.

A leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated - the so-called genericity of the paradigm.

The book constitutes the refereed proceedings of the Third International Conference on Distributed Computing in Sensor Systems, DCOSS 2007, held in Sante Fe, NM, USA in June 2007.

This book constitutes the refereed proceedings of the 7th IFIP WG 6.

The 3rd Asian Internet Engineering Conference (AINTEC) followed the ?

Parallel and distributed computing in the 1980s and 1990s had great in?

This book constitutes the refereed proceedings of the 6th International Workshop on Experimental and Efficient Algorithms, WEA 2007, held in Rome, Italy, in June 2007.

This book constitutes the refereed proceedings of the 4th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2007, held in Brussels, Belgium in May 2007.

Ubiquitous computing is already with us and is changing our lifestyle, way of thinking and quality of life.