Computer programming / software engineering

This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19- 21, 2005, at the Nara-Ken New Public Hall in the center of the Nara National Park in Nara, Japan.

Visual notations and languages continue to play a pivotal role in the design of complex software systems.

Nowadays, developers have to face the proliferation of hardware and software environments, the increasing demands of the users, the growing number of p- grams and the sharing of information, competences and services thanks to the generalization ofdatabasesandcommunication networks.

This book contains the proceedings of the 2nd EuroPKI Workshop - EuroPKI 2005, held at the University of Kent in the city of Canterbury, UK, 30 June-1 July 2005.

The 15th Workshop on Languages and Compilers for Parallel Computing was held in July 2002 at the University of Maryland, College Park.

Welcome to the proceedings of the 5th International Conference on Scale-Space and PDE Methods in Computer Vision.

Asia Information Retrieval Symposium (AIRS) was established in 2004 by the Asian information retrieval community after the successful series of Information Retrieval with Asian Languages (IRAL) workshops held in six different locations in Asia, starting from 1996.

This volume contains papers presented at the 3rd International Workshop on Mathematical Methods, Models and Architectures for Computer Network - curity (MMM-ACNS 2005) held in St.

In this volume we present the contributions for the 18th European Conference on Genetic Programming (EuroGP 2005).

As software systems become ubiquitous, the issues of dependability become more and more crucial.

This volume contains the proceedings of the Third International Conference on Service-Oriented Computing (ICSOC 2005), that took place in Amsterdam, The Netherlands, December 12-15, 2005.

This book constitutes the refereed proceedings of the 5th International Conference on Audio- and Video-Based Biometric Person Authentication, AVBPA 2005, held in Hilton Rye Town, NY, USA, in July 2005.

Started on the inspired initiative of Prof.

ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software.

The LNCS Journal on Data Semantics is devoted to the presentation of notable work that, in one way or another, addresses research and development on issues related to data semantics.

The Automated Technology for Veri?

As Chairmen of HiPEAC 2005, we have the pleasure of welcoming you to the proceedings of the ?

Researchers in the ?

It is with great pleasure that I welcome you to Lake Tahoe for the 2005 Int- national Symposium on Visual Computing (ISVC).

The 1st International Conference on Virtual Storytelling took place on September 27-28, 2001, in Avignon (France) in the prestigious Popes' Palace.

The aim of the CEEMAS conference series is to provide a biennial forum for the presentation of multi-agent research and development results.

Human-Computer Interaction (HCI) lies at the crossroads of many scienti?

The book constitutes the refereed proceedings of the First International Conference on Distributed Computing in Sensor Systems, DCOSS 2005, held in Marina del Rey, California, USA in June/July 2005.

The 32nd International Colloquium on Automata, Languages and Programming (ICALP 2005) was held in Lisbon, Portugal from July 11 to July 15, 2005.

RuleML 2005 was the ?

ThesearetheproceedingsoftheRoboCup2004Symposium,heldattheInstituto Superior T' ecnico, in Lisbon, Portugal in conjunction with the RoboCup c- petition.

It was our great pleasure to host the 4th International Conference on Image and Video Retrieval (CIVR) at the National University of Singapore on 20-22 July 2005.

This volume contains the Proceedings of ICFCA 2005, the 3rd International Conference on Formal Concept Analysis.