ETAPS 2009 was the 12th instance of the European Joint Conferences on T- ory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conf- ences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 22 satellite workshops (ACCAT, ARSPA-WITS, Bytecode, COCV, COMPASS, FESCA, FInCo, FORMED, GaLoP, GT-VMT, HFL, LDTA, MBT, MLQA, OpenCert, PLACES, QAPL, RC, SafeCert, TAASN, TERMGRAPH, andWING), four tutorials, andseveninvitedlectures (excludingthose thatwere speci?c to the satellite events). The ?ve...

ETAPS 2009 was the 12th instance of the European Joint Conferences on T- ory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conf- ences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 22 satellite workshops (ACCAT, ARSPA-WITS, Bytecode, COCV, COMPASS, FESCA, FInCo, FORMED, GaLoP, GT-VMT, HFL, LDTA, MBT, MLQA, OpenCert, PLACES, QAPL, RC, SafeCert, TAASN, TERMGRAPH, andWING), four tutorials, andseveninvitedlectures (excludingthose thatwere speci?c to the satellite events). The ?ve...

This volume contains the proceedings of the fourth edition of the International Symposium on Trustworthy Global Computing (TGC 2008) that was held in Barcelona, Spain, November 3-4, 2008. The Symposium on Trustworthy Global Computing is an international annual venue dedicated to safe and reliable c- putation in global computers. It focuses on providing frameworks, tools, and protocolsfor constructing well-behavedapplications and onreasoningrigorously about their behavior and properties. The related models of computation inc- porate code and data mobility over distributed networks with highly...

Constitutes the refereed joint post-workshop proceedings of seven international events, held in Las Palma de Gran Canaria, Spain, in August 2008 within the scope of Euro-Par 2008, the 14th International Conference on Parallel Computing.

These proceedings contain all the papers that were presented at the Third - ternational Conference on Language and Automata Theory and Applications (LATA 2009), held in Tarragona, Spain, during April 2-8, 2009. The scope of LATA is rather broad, including: algebraic language theory; algorithms on automata and words; automata and logic; automata for s- tem analysis and program veri?cation; automata, concurrency and Petri nets; biomolecular nanotechnology; cellular automata; circuits and networks; c- binatorics on words; computability; computational, descriptional, communi- tion and...

Metaheuristics have been shown to be e?ective for di?cult combinatorial op- mization problems appearing in a wide variety of industrial, economic, and sci- ti?c domains. Prominent examples of metaheuristics are evolutionary algorithms, tabu search, simulated annealing, scatter search, memetic algorithms, variable neighborhood search, iterated local search, greedy randomized adaptive search procedures, ant colony optimization, and estimation of distribution algorithms. Problems solved successfully include scheduling, timetabling, network design, transportation and distribution, vehicle...

Multi-criterionoptimizationreferstooptimizationproblemswithtwoormore- jectives expressing con?icting goals that are formulated within a mathematical programming framework. The problems addressed may involve linear or nonl- ear objective functions and/or constraints, continuous or discrete variables, and may or may not be a?ected by uncertainty in the data. This branch of multiple criteria decision making (MCDM) ?nds application in numerous domains: en- neering design, health, transportation, telecommunications, bioinformatics, etc. The concept of a unique optimal solution does not apply as...

This book constitutes the refereed proceedings of the 7th European Conference on Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, EvoBIO 2009, held in Tubingen, Germany, in April 2009 colocated with the Evo* 2009 events. The 17 revised full papers were carefully reviewed and selected from 44 submissions. EvoBio is the premiere European event for experts in computer science meeting with experts in bioinformatics and the biological sciences, all interested in the interface between evolutionary computation, machine learning, data mining, bioinformatics, and...

The 12th European Conference on Genetic Programming, EuroGP 2009, took place in Tu ]bingen, Germany during April 15-17 at one of the oldest univer- ties in Germany, the Eberhard Karls Universitat ] Tubing ] en. This volume c- tains manuscripts of the 21 oral presentations held during the day, and the nine posters that were presented during a dedicated evening session and reception. The topics covered in this volume re?ectthecurrentstateoftheartofgenetic programming, including representations, theory, operators and analysis, feature selection, generalization, coevolution, and numerous...

The year 2009 celebrates the bicentenary of Darwin's birth and the 150th - niversary of the publication of his seminal work, On the Origin of Species.If this makes 2009 a special year for the research community working in biology and evolution, the ?eld of evolutionary computation (EC) also shares the same excitement. EC techniques are e?cient, nature-inspired planning and optimi- tion methods based on the principles of natural evolution and genetics. Due to their e?ciency and simple underlying principles, these methods can be used in the context of problem solving, optimization, and machine...