The 20th InternationalWorkshop on CombinatorialAlgorithms was held during June 28 - July 2, 2009 in the picturesque castle of Hradec nad Moravic ?, located in the north-east corner of the Czech Republic. IWOCA - the workshopthat originated19 yearsagoas AWOCA- madea big step towards globalization this year. After 19 conferences held in Australia, Indonesia, Korea, and Japan, the 20th anniversarywas celebrated by taking the conference outside the Australasian region for the ?rst time. Another novelty this year was that the proceedings are being published by Springer in the LNCS series. Our Call...

This book constitutes the refereed proceedings of the 5th International Symposium on Stochastic Algorithms, Foundations and Applications, SAGA 2009, held in Sapporo, Japan, in October 2009. The 15 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on learning, graphs, testing, optimization and caching, as well as stochastic algorithms in bioinformatics.

The ICANNGA series of conferences has been organized since 1993 and has a long history of promoting the principles and understanding of computational intelligence paradigms within the scienti?c community. Originally ICANNGA stood for "International Conference on Arti?cial Neural Networks and Genetic Algorithms," but in 2005 the conference was renamed to "International C- ference on Adaptive and Natural Computing Algorithms," while keeping the acronymICANNGA.The?rstICANNGAconferencewasheldinInnsbruckA- tria (1993), then Al es in France (1995), Norwich in the UK (1997), Portoroz in Slovenia...

The International Workshop on Hybrid Metaheuristics was established with the aim of providing researchers and scholars with a forum for discussing new ideas and research on metaheuristics and their integration with techniques typical of other ?elds. The papers accepted for the sixth workshop con?rm that such a combination is indeed e?ective and that several research areas can be put together.Slowlybut surely, thisprocesshasbeen promotingproductivedialogue amongresearcherswithdi?erentexpertiseanderodingbarriersbetweenresearch areas. The papers in this volume give a representativesample of...

This volume contains the proceedings of TFM2009, the Second International FME Conference on Teaching Formal Methods, organized by the Subgroup of Education of the Formal Methods Europe (FME) association. The conference took place as part of the ?rst Formal Methods Week (FMWeek), held in Ei- hoven, The Netherlands, in November 2009. TFM2009 was a one-day forum in which to explore the successes and fa- ures of formal method (FM) education, and to promote cooperative projects to further educationand training in FMs. The organizersgatheredlecturers, tea- ers, andindustrialpartnersto discusstheir...

VolumesofLNCS 5821andCCIS51aretheproceedingsofthe 4thInternational Symposium on Intelligence Computation and Applications (ISICA 2009) held in Huangshi, China, October 23-25, 2009. These two volumes are in memory of Prof. Lishan Kang, the ISICA 2009 Honorary General Chair, who was a leading ?gurein the ?elds of domain decomposition methods and computational intelligence. ISICA 2009 successfully attracted over 300 submissions. Through rigorous reviews, 58 high-quality papers were included in LNCS 5821, while the other 54 papers were collected in CCIS 51. ISICA conferencesare one of the ?rst...

LION 3, the Third International Conference on Learning and Intelligent Op- mizatioN, was held during January 14-18 in Trento, Italy. The LION series of conferences provides a platform for researchers who are interested in the int- section of e?cient optimization techniques and learning. It is aimed at exploring the boundaries and uncharted territories between machine learning, arti?cial intelligence, mathematical programming and algorithms for hard optimization problems. The considerable interest in the topics covered by LION was re?ected by the overwhelming number of 86 submissions, which...

This book constitutes the refereed proceedings of the 5th International Conference on High Performance Embedded Architectures and Compilers, HiPEAC 2010, held in Pisa, Italy, in January 2010. The 23 revised full papers presented together with the abstracts of 2 invited keynote addresses were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections on architectural support for concurrency; compilation and runtime systems; reconfigurable and customized architectures; multicore efficiency, reliability, and power; memory organization and optimization; and...

Why would you read this preface? As we start thinking what to write here, we wonder who is going to read these words. Fromourperspective-thatofwritersaddressinganaudienceofreaders-you are most likely Willem-Paul de Roever. Willem: our main motivation in putting together this Festschrift is to honor you on the occasion of your retirement. In terms of scienti?c ancestry, you are a father to two of us, and a grandfather to 1 the third, and you have had a profound impact on our formation as computer scientists.Atthepersonallevel, weknowyouasakind-hearted, generousperson. We are grateful to know...