Lothar Thiele - Böcker

The 2nd International Conference on Evolutionary Multi-Criterion Optimi- tion (EMO 2003) was held on April 8-11, 2003, at the University of the Algarve in Faro, Portugal. This was the second international conference dedicated en- rely to this important topic, following the very successful EMO 2001 conference, whichwasheldinZuric .. h,Switzerland,inMarch2001.EMO2003wasco-located with the IFAC International Conference on Intelligent Control Systems and S- nal Processing (ICONS 2003), exposing EMO to a wider audience of scientists and engineers. The EMO 2003 scienti?c program included two keynote addresses, one given byDavidScha?eronoptimizationandmachinelearninginindustry,andanother delivered by Pekka Korhonen on multiple-criteria decision making. In addition, three tutorials were presented, one on multicriterion decision analysis by - lerie Belton, another on multiobjective evolutionary algorithms by Kalyanmoy Deb, and a third on multiple objective metaheuristics by Andrzej Jaszkiewicz. The President of the Portuguese Innovation Agency, Prof. Jo" ao Silveira Lobo, and the President of the Portuguese Foundation for Science and Technology, Prof.Fernando Ramoa Ribeiro, attended the opening ceremony and the closing ceremony, respectively. In response to the call for papers, 100 full-length papers were submitted from 27 countries. Fifty-six papers were accepted for presentation at the conference after thorough reviewing by members of the program committee and they are contained in this volume. April 2003 Carlos M. Fonseca, Peter J. Fleming, Eckart Zitzler, Kalyanmoy Deb, and Lothar Thiele Organization EMO 2003 was organized by CSI (Centre for Intelligent Systems, University of the Algarve, Portugal) with the support of EvoNet (European Network of Excellence in Evolutionary Computing).

This volume contains the proceedings of the 8th Workshop on Hybrid S- tems: Computation and Control(HSCC2005)heldinZurich,Switzerlandduring March 9-11, 2005. The annual workshop on hybrid systems attracts researchers from academia and industry interested in modeling, analysis, and implemen- tion of dynamic and reactive systems involving both discrete and continuous - haviors. The previous workshops in the HSCC series were held in Berkeley, USA (1998),Nijmegen,TheNetherlands(1999),Pittsburgh,USA(2000),Rome,Italy (2001), Palo Alto, USA (2002), Prague, Czech Republic (2003), and Philad- phia, USA (2004). This year's HSCC was technically co-sponsored by the IEEE Control Systems Society. The program consisted of 3 invited talks and 40 regular papers selected from 91 regular submissions. The program covered topics such as tools for analysis and veri?cation, control and optimization, modeling, engineering applications, and emerging directions in programming language support and implementation. We would like to thank the Program Committee members and reviewers for anexcellentjobofevaluatingthesubmissionsandparticipatingintheonlineP- gram Committee discussions.Special thanks go to Markus P. J. Fromherz (Palo Alto Research Center, USA), Edward A. Lee (University of California, Berkeley, USA), and Pablo A. Parrilo (Massachusetts Institute of Technology, USA) for their participation as invited speakers. We are also grateful to the Steering C- mitteeforhelpfulguidanceandsupport. Manyotherpeopleworkedhardtomake the HSCC 2005 a success. We would like to thank Frank J. Christophersen and Ernesto Wandeler, the Publicity Chairs (with the help of Urban M.. ader); M- tine D'Emma and Monica Fricker for local arrangements; and Frank J. Chris- phersen for putting together the proceedings.

This book constitutes the refereed proceedings of the First International Conference on Multi-Criterion Optimization, EMO 2001, held in Zurich, Switzerland in March 2001.The 45 revised full papers presented were carefully reviewed and selected from a total of 87 submissions. Also included are two tutorial surveys and two invited papers. The book is organized in topical sections on algorithm improvements, performance assessment and comparison, constraint handling and problem decomposition, uncertainty and noise, hybrid and alternative methods, scheduling, and applications of multi-objective optimization in a variety of fields.

This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Abstract State Machines, ASM 2000, held in Monte Verita, Switzerland in March 2000. The 12 revised full papers presented were carefully reviewed and selected from 30 submissions. Also included are an introductory overview, two reports on industrial ASM applications, as well as six contributions based on invited talks. All in all, the volume competently presents the state of the art in research and applications of abstract state machines.