Mathematical theory of computation

This book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2008, held in Xi'an, China, in June 2008.

This book constitutes the thoroughly refereed post-proceedings of the Third International Service Availability Symposium, ISAS 2006, held in Helsinki, Finland, in May 2006.

This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the concluding conference of the Types project, held in Cividale del Friuli, Italy, in May 2007.

"e;The true sign of intelligence is not knowledge but imagination.

This book constitutes the thoroughly refereed post-conference proceedings of the 4th Asia Information Retrieval Symposium, AIRS 2008, held in Harbin, China, in May 2008.

This volume contains the papers presented at the inaugural workshop on Data Mining and Bioinformatics at the 32nd International Conference on Very Large Data Bases (VLDB).

This volume was prepared to share with a larger audience the exciting ideas and work presented at an ICML 2006 workshop of the same title.

These proceedings contain papers from the 27th FORTE conference.

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

This book constitutes the refereed proceedings of the 15th International Symposium on Static Analysis, SAS 2008, held in Valencia, Spain in July 2008 - co-located with LOPSTR 2008, the International Symposium on Logic-based Program Synthesis and Transformation, PPDP 2008, the International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, and PLID 2008, the International Workshop on Programming Language Interference and Dependence.

We present in this volume the collection of finally accepted papers for the ninth e- tion of the IWANN conference ("e;International Work-Conference on Artificial Neural Networks"e;).

This book constitutes the refereed proceedings of the First International Conference on Cryptology hosted in Africa, held in Casablanca, Morocco, in June 2008.

Thisvolumecontainstheproceedingsofthe?

Although everyone recognizes communication as a central concept in mul- agents, many no longer see agent communication as a research topic.

This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008.

This volume contains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis?

Software validation is one of the most cost-intensive tasks in modern software production processes.

This book constitutes the thoroughly refereed proceedings of the 21st International Conference on Computer Processing of Oriental Languages, ICCPOL 2006, held in Singapore in December 2006, colocated with ISCSLP 2006, the 5th International Symposium on Chinese Spoken Language Processing.

Model-driven architecture, and model-driven approaches in general, holds the promise of moving software development towards a higher level of abstraction.

RISE 2006 constituted an international forum for researchers and practitioners interestedintheadvancementandrapidapplicationofnovel,integrated,orpr- ticalsoftwareengineeringapproaches,beingpartofamethodologicalframework, that apply to the development of either new or evolving applications and s- tems.

The 14th International Smalltalk Conference took place in the ?

The Australian Joint Conference on Artificial Intelligence series is steered by the Australian Computer Society's (ACS) National Committee on Artificial Intelligence and Expert Systems.

This year, for the tenth time, the European Conference on Object-Oriented Programming (ECOOP) series, in cooperation with Springer, is glad to o?

The 19th Workshop on Languages and Compilers for Parallel Computing was heldinNovember2006inNewOrleans,LouisianaUSA.

This symposium has been the main forum for presentation of research results in the area of self-* for 17 years.

Artificial Intelligence embraces heuristic methods of solving complex problems for which exact algorithmic solutions are not known.

This volume contains the proceedings of the 4th Asian Symposium on Progr- mingLanguagesandSystems(APLAS2006),whichtookplaceinSydney,Japan, November 8-10, 2006.

Software architectures that contain many dynamically interacting components, each with their own thread of control, and engaging in complex coordination protocols, are difficult to correctly and efficiently engineer.

Swarm robotics is the study of how large numbers of relatively simple physically embodied agentscanbe designedsuchthat a desiredcollectivebehavioremerges from the local interactions among agents and between the agents and the en- ronment.

th This volume presents the proceedings of the 17 IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM 2006), which was held rd th in Dublin, Ireland during October 23 to 25 , 2006.