This volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1 4 November 2005, Manchester, UK. Formal engineering methods are changing the way that systems are dev- oped. With language and tool support, these methods are being used for se- automatic code generation, and for the automatic abstraction and checking of implementations. In the future, they will be used at every stage of development: requirements, speci?cation, design, implementation, testing, anddocumentation. The aim of ICFEM 2005 was to bring together those interested in...

Constitutes the proceedings of the 7th International Symposium on Self-Stabilizing Systems, held in Barcelona, Spain, in October 2005. The 15 papers presented in this title address topics of self-stabilization, extensions to the field, such as snap-stabilization, code stabilization, self-stabilization, or applications of self-stabilization.

Constitutes the proceedings of the ACM/IFIP/USENIX International Conference on Distributed Systems Platforms, Middleware 2005, held in November/December 2005. The papers are organized in topical sections on security and privacy, peer-to-peer computing, XML and service discovery, distribution and real time processing, and other sections.

The International Symposium on Smart Graphics 2006 was held during July 23 25, 2006, at the University of British Columbia in Vancouver, Canada. It was the seventh event in a series which originally started in 2000 as an AAAI Spring Symposium. In response to the overwhelming success of the 2000 symposium, its or- nizers decided to turn it into a self-contained event. With the support of IBM, the ?rst two International Symposia on Smart Graphics were held at the T. J. Watson Research Center in Hawthorne, New York, in 2001 and 2002. The 2003 symposium moved to the European Media Lab in...

PRIMA is a series of workshops on agent computing and multi-agent systems, integrating the activities in Asia and Pacific Rim countries. Agent computing and multi-agent systems are computational systems in which several autonomous or se- autonomous agents interact with each other or work together to perform some set of tasks or satisfy some set of goals. These systems may involve computational agents that are homogeneous or heterogeneous, they may involve activities on the part of agents having common or distinct goals, and they may involve participation on the part of humans and intelligent...

The Turkish Artificial Intelligence and Neural Network Symposium (TAINN) is an annual meeting where scientists present their new ideas and algorithms on artificial intelligence and neural networks with either oral or poster presentation. The TAINN- Turkish Conference on AI and NN Series started in 1992 at Bilkent University in Ankara, envisioned by various researchers in AI and NN then at the Bilkent, Middle East Technical, Bo azici and Ege universities as a forum for local researchers to get together and communicate. Since then, TAINN has been held annually around early summer. This year the...

For 20 years, the IFIP WG 11. 3 Working Conference on Data and Appli- tions Security (DBSEC) has been a major forum for presenting originalresearch results, practical experiences, and innovative ideas in data and applications - curity. Looking back, it is di?cult not to appreciatethe full extent of the change that has occurred in our ?eld. Once considered afterthoughts in systems and application design, data protection, privacy and trust have become the key problems of our day. This central role of security in the information society has however brought increased responsibilities to the...

This book constitutes the refereed proceedings of the 5th International Conference on Mathematical Knowledge Management, MKM 2006, held in Wokingham, UK, August 2006. The book presents 22 revised full papers. Coverage extends to the mathematical knowledge management at the intersection of mathematics, computer science, library science, and scientific publishing. The papers are organized in topical sections on proof representations, proof processing, knowledge extraction, knowledge representation, as well as systems and tools.

This book constitutes the refereed proceedings of the 5th International Conference on Natural Language Processing, FinTAL 2006, held in Turku, Finland in August 2006. The book presents 72 revised full papers together with 1 invited talk and the extended abstracts of 2 invited keynote addresses. The papers address all current issues in computational linguistics and monolingual and multilingual intelligent language processing - theory, methods and applications.

The origin of the Intelligent Virtual Agents conference dates from a successful workshop on Intelligent Virtual Environments held in Brighton, UK at the 13th European Conference on Arti?cial Intelligence (ECAI'98). This workshop was followed by a second one held in Salford in Manchester, UK in 1999.Subsequent events took place in Madrid, Spain in 2001, Isree, Germany in 2003 and Kos, Greece in 2005. Starting in 2006, Intelligent Virtual Agents moved from being a biennial to an annual event and became a full ?edged international conference, hosted in California. This volume contains the...