The 2nd International Conference on Product Focused Software Process - provement(PROFES2000)continuedthesuccessofthePROFES'99conference. It was organized in Oulu, Finland, June 20-22, 2000. The PROFES conference has its roots in the PROFES Esprit project (http: //www.ele.vtt.?/profes/), but by 1999 it had already evolved into a full-?edged general purpose conference gaining wide-spread international popularity. ThemainthemeofPROFES2000wasprofessionalsoftwareprocessimpro- ment (SPI) motivated by product and service quality needs. SPI is facilitated by softwareprocessassessment, softwaremeasurement, processmodeling, andte- nology transfer and has become a practical tool for quality software engineering and management. The conference addresses both the solutions found in practice aswellasrelevantresearchresultsfromacademia.Thepurposeoftheconference is to bring into the light the most recent ?ndings and results of the area and to stimulate discussion between the researchers, experienced professionals, and technology providers for SPI. WiththetremendousgrowthofInternetandtelecommunicationapplications, it is ever more important to emphasize the quality in softwareproducts and p- cesses.With plenty of new people andnew software-basedapplications emerging at a very fast pace, it is easy to forget the importance of product and process improvement, and to repeat the same mistakesalreadymade in moretraditional software development. The PROFES conference has addressed this issue by - plicitly enhancing the conferencetopicstowardsInternetandtelecommunication applications. Another important addition is the Learning Software Organizations (LSO2000) workshop, which was organized in conjunction with PROFES 2000. TheLSOworkshopseriesisacommunicationforumthataddressesthe questions of organizational learning from a software point of view and builds upon exi- ing work on knowledge management and organizational learning. LSO comp- mented the PROFES program encouraging fruitful discussions and information exchange between the participants of PROFES 2000 and LSO 2000.

The aim of this book is to bring together approaches from different subfields of Artificial Intelligence as well as adjoint disciplines in order to characterize a "computational model" of conflicts. The different views on computational conflicts are motivated as follows: Conflicts can occur in organizations among human agents, as well as in computational systems such as knowledge-based systems, or multi-agent systems. They can appear during problem solving or during communication. Their nature or processing can also be specific for some tasks (such as concurrent engineering and design). They can be formalized and techniques can be offered for detecting, managing or avoiding them.

Lessons in System Safety contains the full set of invited papers presented at the Eighth Annual Safety-critical Systems Symposium, held in Southampton, February 2000. The safety-critical systems domain is rapidly expanding, and its industrial problems are always candidates for academic research. It embraces almost all industry sectors, and lessons learned in one are commonly appropriate to others. The Safety-critical Systems Symposium provides an annual forum for discussing such problems, and the papers in this volume, being from both industrial and academic institutions, all offer lessons in system safety.

System Development: A Strategic Framework looks at one of the key issues in the design and development of IT systems: the fact that the bulk of system development projects undertaken will fail to meet originally defined objectives. Using a number of case studies, it analyses the reasons for this poor performance and provides the reader with a pattern of well-defined failure mechanisms which are especially relevant to large, long-term projects. With these established, the book then generates a set of planning procedures and corporate guidelines which will substantially reduce the impact and probability of financial and performance disasters in future projects.Accessible to the professional and non-technical reader, this book will prove invaluable to project managers, development managers, IT controllers, project engineers, and systems analysts as well as MSc and MBA students studying computer system development.

This monograph-like state-of-the-art survey presents the history, the key ideas, the success stories, and future challenges of performance evaluation and demonstrates the impact of performance evaluation on a variety of different areas through case studies in a coherent and comprehensive way. Leading researchers in the field have contributed 19 cross-reviewed topical chapters competently covering the whole range of performance evaluation, from theoretical and methodological issues to applications in numerous other fields. Additionally, the book contains one contribution on the role of performance evaluation in industry and personal accounts of four pioneering researchers describing the genesis of breakthrough results.The book will become a valuable source of reference and indispensable reading for anybody active or interested in performance evaluation.

These post-proceedings contain the revised versions of the accepted papers of the international workshop \Transactions and Database Dynamics," which was the eighth workshop in a series focusing on foundations of models and languages for data and objects (FoMLaDO). Seven long papers and three short papers were accepted for inclusion in the proceedings. The papers address various issues of transactions and database dynamics: { criteria and protocols for global snapshot isolation in federated transaction management, { uni ed theory of concurrency control and replication control, { speci cation of evolving information systems, { inheritance mechanisms for deductive object databases with updates, { speci cation of active rules for maintaining database consistency, { integrity checking in subtransactions, { open nested transactions for multi-tier architectures, { declarative speci cation of transactions with static and dynamic integrity constraints, { logic-based speci cation of update queries as open nested transactions, and { execution guarantees and transactional processes in electronic commerce payments. In addition to the regular papers, there are papers resulting from two working groups. The rst working group paper discusses the basis for transactional c- putation. In particular, it addresses the speci cation of transactional software. The second working group paper focuses on transactions in electronic commerce applications. Among others, Internet transactions, payment protocols, and c- currency control and persistence mechanisms are discussed. Moreover, there is an invited paper by Jari Veijalainen which discusses tr- sactional aspects in mobile electronic commerce.

This book constitutes the refereed proceedings of the 7th European Workshop on Software Process Technology, EWSPT 2000, held in Kaprun, Austria in February 2000 in conjunction with a meeting of the European ESPRIT IV Project for Process Instance Evolution (PIE).The 21 revised papers presented were carefully reviewed and selected from 44 submissions. The book is organized in sections on methods, applications, process instance evolution, distributed processes and process modeling languages, and industrial experience.

The 13th European Conference on Object-Oriented Programming (ECOOP'99) brought some 500 participants to Lisbon from June 14th to June 18th, 1999. As usual, the workshops took place during the rst two days of the conference and gave authors and participants an opportunity to present and discuss the most topicalandinnovativeideasinobject-oriented technology.Theimportanceofthe workshopswithinthecontext ofECOOPisbecomingincreasinglyrecognised; for the rs t time inthe history of the conference, the number of workshopproposals for ECOOP'99 actually exceeded the slots availableand some had to be refused. In addition to the usual conference proceedings, Springer-Verlag has also undertaken, forthe pasttwo years, the publicationof a WorkshopReader, which bringstogether the results of the workshops, panels, and posters held during the conference. This book, the 4th ECOOP WorkshopReader, di ers from previous editions in two signi cant ways. Firstly, instead of simply reproducing the position - pers, it presents an overview of the main points made by the authors as well as a summary of the discussions that took place. Secondly, to make the text more uniformandreadable, allchapters havebeen written ina commonformat(using LaTeX lncs style les). This book was only possible thanks to the eo rt of each workshop organiser in particular, and each workshop, poster, and panel participant in general. The innovations introduced in this book implied additional work for the workshop organisers in terms of recording and summarising the discussions as well as adapting the written presentations to a common format. This extra e ort will certainly be appreciated by the readers.

This book constitutes the refereed proceedings of the First International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2000, held in Burg, Germany, in February 2000.The 14 revised full papers and four short papers were carefully reviewed and selected from a total of 45 submissions. Among the topics addressed are logical foundations and semantics of datamodels, dependency theory, integrity and security, temporal aspects, foundations of information systems design including Web-based information services, and query languages and optimization.

First of all, I would like to congratulate Gabriella Pasi and Gloria Bordogna for the work they accomplished in preparing this new book in the series "Study in Fuzziness and Soft Computing." "Recent Issues on the Management of Fuzziness in Databases" is undoubtedly a token of their long-lasting and active involvement in the area of Fuzzy Information Retrieval and Fuzzy Database Systems. This book is really welcome in the area of fuzzy databases where they are not numerous although the first works at the crossroads of fuzzy sets and databases were initiated about twenty years ago by L. Zadeh. Only five books have been published since 1995, when the first volume dedicated to fuzzy databases published in the series "Study in Fuzziness and Soft Computing" edited by J. Kacprzyk and myself appeared. Going beyond books strictly speaking, let us also mention the existence of review papers that are part of a couple of handbooks related to fuzzy sets published since 1998. The area known as fuzzy databases covers a bunch of topics among which: -flexible queries addressed to regular databases, -the extension of the notion of a functional dependency, -data mining and fuzzy summarization, -querying databases containing imperfect attribute values represented thanks to possibility distributions.

Knowledge discovery is an area of computer science that attempts to uncover interesting and useful patterns in data that permit a computer to perform a task autonomously or assist a human in performing a task more efficiently. Soft Computing for Knowledge Discovery provides a self-contained and systematic exposition of the key theory and algorithms that form the core of knowledge discovery from a soft computing perspective. It focuses on knowledge representation, machine learning, and the key methodologies that make up the fabric of soft computing - fuzzy set theory, fuzzy logic, evolutionary computing, and various theories of probability (e.g. naive Bayes and Bayesian networks, Dempster-Shafer theory, mass assignment theory, and others). In addition to describing many state-of-the-art soft computing approaches to knowledge discovery, the author introduces Cartesian granule features and their corresponding learning algorithms as an intuitive approach to knowledge discovery. This new approach embraces the synergistic spirit of soft computing and exploits uncertainty in order to achieve tractability, transparency and generalization. Parallels are drawn between this approach and other well known approaches (such as naive Bayes and decision trees) leading to equivalences under certain conditions. The approaches presented are further illustrated in a battery of both artificial and real-world problems. Knowledge discovery in real-world problems, such as object recognition in outdoor scenes, medical diagnosis and control, is described in detail. These case studies provide further examples of how to apply the presented concepts and algorithms to practical problems. The author provides web page access to an online bibliography, datasets, source codes for several algorithms described in the book, and other information. Soft Computing for Knowledge Discovery is for advanced undergraduates, professionals and researchers in computer science, engineering and business information systems who work or have an interest in the dynamic fields of knowledge discovery and soft computing.

Human Error and System Design and Management contains a collection of contributions presented at an international workshop with the same name held from March 24-26, 1999 at the Technical University of Clausthal, Germany. The purpose of this workshop was to discuss the results of a research project investigating the "Influences of Human-Machine-Interfaces on the Error-proneness of Operator Interaction with Technical Systems" in a broad context. Therefore experts from academia and industry were invited to participate so that practical as well as theoretical aspects of the subject matter were covered. Topics included recent considerations concerning multimedia and ecological interfaces as well as situation awareness.
This book contains the current thinking on this discussion and can be regarded as a supplement to engineers and researchers who are active in the area of human machine interfaces.

would like to express our appreciation to the authors and participants of ISD 99, who made the meeting a memorable one, and these proceedings a valuable contribution to the relevant literature. October 1999 Peggy Agouris and Anthony Stefanidis $FNQRZOHGJPHQWV This workshop was partially supported by the National Science Foundation (NSF), Directorate for Computer and Information Sciences and Engineering, Division of Information and Intelligent Systems (IIS), through CAREER grant number 9702233, and by the National Center for Geographic Information and Analysis (NCGIA). VII Preface: RUNVKRS 2UJDQL]DWLRQ: RUNVKRS &KDLU Peggy Agouris, University of Maine 3URJUDP &RPPLWWHH &KDLU Anthony Stefanidis, University of Maine 3URJUDP &RPPLWWHH Kate Beard, University of Maine Panos Chrysanthis, University of Pittsburgh Max Egenhofer, University of Maine Wolfgang Foerstner, University of Bonn, Germany Andrew Frank, Technical University of Vienna, Austria Dieter Fritsch, University of Stuttgart, Germany Mike Goodchild, University of California - Santa Barbara Armin Gruen, Swiss Federal Institute of Technology, Switzerland Thanasis Hadzilacos, Computer Technology Institute, Greece Marinos Kavouras, National Technical University of Athens, Greece David Mark, State University of New York at Buffalo Dave McKeown, Carnegie Mellon University Martien Molenaar, ITC, The Netherlands Dimitris Papadias, University of Science and Technology, Hong Kong, China Hanan Samet, University of Maryland - College Park Tapani Sarjakoski, Finnish Geodetic Institute, Finland Timos Sellis, National Technical University of Athens, Greece Shashi Shekhar, University of Minnesota Nektaria Tryfona, Aalborg University, Denmark Vassilis Tsotras, University of California - Riverside Marc van Kreveld, Utrecht University, The Netherlands /RFDO $UUDQJHPHQWV Blane Shaw, University of Maine 2UJDQL]LQJ &RPPLWWHH"

The terms groupware and CSCW (Computer-Supported Cooperative Work) have received significant attention in computer science and related disciplines for quite some time now. This book has two main objectives: first, to outline the meaning of both terms, and second, to point out both the numerous opportunities for users of CSCW systems and the risks of applying them. The book introduces in detail an interdisciplinary application area of distributed systems, namely the computer support of individuals trying to solve a problem in cooperation with each other but not necessarily having identical work places or working times. CSCW can be viewed as a synergism between the areas of distributed systems and (multimedia) communications on the one hand and those of information science and socio-organizational theory on the other hand. Thus, the book is addressed to students of all these disciplines, as well as to users and developers of systems with group communication and cooperation as top priorities.

This volume of the Lecture Notes in Computer Science series contains all papers accepted for presentation at the 10th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM'99), which took place at the ETH Zurich in Switzerland and was hosted by the Computer Engineering and Networking Laboratory, TIK. DSOM'99 is the tenth workshop in a series of annual workshops, and Zurich is proud to host this 10th anniversary of the IEEE/IFIP workshop. DSOM'99 follows highly successful meetings, the most recent of which took place in Delaware, U.S.A. (DSOM'98), Sydney, Australia (DSOM'97), and L'Aquila, Italy (DSOM'96). DSOM workshops attempt to bring together researchers from the area of network and service management in both industry and academia to discuss recent advancements and to foster further growth in this ?eld. In contrast to the larger management symposia IM (In- grated Network Management) and NOMS (Network Operations and Management S- posium), DSOM workshops follow a single-track program, in order to stimulate interaction and active participation. The speci?c focus of DSOM'99 is "Active Technologies for Network and Service Management," re?ecting the current developments in the ?eld of active and program- ble networks, and about half of the papers in this workshop fall within this category.

CHARME'99 is the tenth in a series of working conferences devoted to the dev- opment and use of leading-edge formal techniques and tools for the design and veri?cation of hardware and systems. Previous conferences have been held in Darmstadt (1984), Edinburgh (1985), Grenoble (1986), Glasgow (1988), Leuven (1989), Torino (1991), Arles (1993), Frankfurt (1995) and Montreal (1997). This workshop and conference series has been organized in cooperation with IFIP WG 10. 5. It is now the biannual counterpart of FMCAD, which takes place every even-numbered year in the USA. The 1999 event took place in Bad Her- nalb, a resort village located in the Black Forest close to the city of Karlsruhe. The validation of functional and timing behavior is a major bottleneck in current VLSI design systems. A predominantly academic area of study until a few years ago, formal design and veri?cation techniques are now migrating into industrial use. The aim of CHARME'99 is to bring together researchers and users from academia and industry working in this active area of research. Two invited talks illustrate major current trends: the presentation by Gerard Berry (Ecole des Mines de Paris, Sophia-Antipolis, France) is concerned with the use of synchronous languages in circuit design, and the talk given by Peter Jansen (BMW, Munich, Germany) demonstrates an application of formal methods in an industrial environment. The program also includes 20 regular presentations and 12 short presentations/poster exhibitions that have been selected from the 48 submitted papers."

The NCITS Accredited Standards Committee H7 Object Information Management, now part of NCITS T3 Open Distributed Processing, and the Object Management Group BUsiness Object Domain Task Force (BODTF) jointly sponsored the Fifth Annual OOPSLA Workshop on Business Object Component Design and Implementation. The focus of the workshop was on design and implementation of business object component frameworks and architectures. Key aspects discussed included: * What is a comprehensive definition of a business object component'? * Are the four layers (user, workspace, enterprise, resource) presented at the OOPSLA'98 workshop the right way to layer a..bysiness object component. system? * How is a business object component implemented across these layers? What are the associated artefacts? Are there different object models representing the same business object component in different layers? * What are the dependencies between business object components? How can they be plug and play given these dependencies? How can they be flexible and adaptive? How do they participate in workflow systems? * How will the em~rgence of a web-based distributed object-computing infrastructure based on XML, influence business object component architectures? In particular, is the W3C WebBroker proposal appropriate for distributed business object component computing? The aim of the workshop was to: * Enhance the pattern literature on the specification, design, and implementation of interoperable, plug and play, distributed business object components.

The primary objective of this book is to teach the architectures, design principles, and troubleshooting techniques of a LAN. This will be imparted through the presentation of a broad scope of data and computer communication standards, real-world inter-networking techniques, architectures, hardware, software, protocols, technologies and services as they relate to the design, implementation and troubleshooting of a LAN. The logical and physical design of hardware and software is not the only process involved in the design and implementation of a LAN. The latter also encompasses many other aspects including making the business case, compiling the requirements, choosing the technology, planning for capacity, selecting the vendor, and weighing all the issues before the actual design begins.

Crypto '99, the Nineteenth Annual Crypto Conference, was sponsored by the International Association for Cryptologic Research (IACR), in cooperation with the IEEE Computer Society Technical Committee on Security and Privacy and the Computer Science Department, University of California, Santa Barbara (UCSB). The General Chair, Donald Beaver, was responsible for local organization and registration. The Program Committee considered 167 papers and selected 38 for presentation. This year's conference program also included two invited lectures. I was pleased to include in the program UeliM aurer's presentation "Information Theoretic Cryptography" and Martin Hellman's presentation "The Evolution of Public Key Cryptography." The program also incorporated the traditional Rump Session for informal short presentations of new results, run by Stuart Haber. These proceedings include the revised versions of the 38 papers accepted by the Program Committee. These papers were selected from all the submissions to the conference based on originality, quality, and relevance to the field of cryptology. Revisions were not checked, and the authors bear full responsibility for the contents of their papers.

The idea of creating the European Dependable Computing Conference (EDCC) was born at the moment when the Iron Curtain fell. A group of enthusiasts, who were pre viously involved in research and teaching in the ?eld of fault tolerant computing in different European countries, agreed that there is no longer any point in keeping pre viously independent activities apart and created a steering committee which took the responsibility for preparing the EDCC calendar and appointing the chairs for the in dividual conferences. There is no single European or global professional organization that took over the responsibility for this conference, but there are three national in terest groups that sent delegates to the steering committee and support its activities, especially by promoting the conference materials. As can be seen from these materi als, they are the SEE Working Group "Dependable Computing" (which is a successor organizationof AFCET)in France, theGI/ITG/GMATechnicalCommitteeonDepend ability and Fault Tolerance in Germany, and the AICA Working Group "Dependability of Computer Systems" in Italy. In addition, committees of several global professional organizations, such as IEEE and IFIP, support this conference. Prague has been selected as a conference venue for several reasons. It is an easily accessible location that may attract many visitors by its beauty and that has a tradition in organizing international events of this kind (one of the last FTSD conferences took place here).

This workshop series is now over ten years old, which is a pretty long time for a very focussed topic: Configuration Management. The first conference took place in 1988 (Grassau, Germany) and the topics were focussed on version control and rebuilding. Many people consider that SCM is one of the few areas of software engineering that can be considered to be really successful. Products, that more or less fulfill their p- pose, exist, and everybody agrees that they are now mandatory for a successful so- ware project. Indeed, during the second half of the nineties, SCM has entered a maturation phase, in which good commercial products have been incorporating many of the features - signed and discussed at previous conferences of this workshop. With the generali- tion of commercial products, the question now is: What are the objectives of a sci- tific workshop on this topic? Is there any more research to be done in SCM today? This ninth volume in the series reflects pretty well the current state and mood in the CM community. There are an unprecedented number of papers discussing the current state of the art and trying to identify research directions (session 6). On some core topics, like versioning (session 3), and following SCM8 tracks, papers present work on unified models. Versioning models, after years of raging discussions, now seem to have found a consensus.

Before use, standard ERP systems such as SAP R/3 need to be customized to meet the concrete requirements of the individual enterprise. This book provides an overview of the process models, methods, and tools offered by SAP and its partners to support this complex and time-consuming process. It begins by characterizing the foundations of the latest ERP systems from both a conceptual and technical viewpoint, whereby the most important components and functions of SAP R/3 are described. The main part of the book then goes on to present the current methods and tools for the R/3 implementation based on newer process models (roadmaps).

There is an increasing demand for dynamic systems to become safer, more reliable and more economical in operation. This requirement extends beyond the normally accepted safety-critical systems e.g., nuclear reactors, aircraft and many chemical processes, to systems such as autonomous vehicles and some process control systems where the system availability is vital. The field of fault diagnosis for dynamic systems (including fault detection and isolation) has become an important topic of research. Many applications of qualitative and quantitative modelling, statistical processing and neural networks are now being planned and developed in complex engineering systems. Issues of Fault Diagnosis for Dynamic Systems has been prepared by experts in fault detection and isolation (FDI) and fault diagnosis with wide ranging experience.Subjects featured include: - Real plant application studies; - Non-linear observer methods; - Robust approaches to FDI; - The use of parity equations; - Statistical process monitoring; - Qualitative modelling for diagnosis; - Parameter estimation approaches to FDI; - Fault diagnosis for descriptor systems; - FDI in inertial navigation; - Stuctured approaches to FDI; - Change detection methods; - Bio-medical studies. Researchers and industrial experts will appreciate the combination of practical issues and mathematical theory with many examples. Control engineers will profit from the application studies.

This book constitutes the refereed proceedings of the Second International Symposium on High-Performance Computing, ISHPC'99, held in Kyoto, Japan in May 1999.
The 23 revised full papers presented were carefully selected from a total of 61 submissions. Also included are the abstracts of several invited talks and 12 reviewed short papers corresponding to the poster presentations given at the symposium. The papers address many current issues in high-performance computing and communication, regarding hardware and network architectures as well as regarding software and theoretical foundations; also advanced applications are studied in a variety of fields including modeling, visualisation, and computational science.

TheaimoftheARTS 99workshopistobringtogetherresearchersandpr- titioners interested in the design of real-time and probabilistic systems. It is intendedtocoverthewholespectrumofdevelopmentandapplicationofspec- cation, veri cation, analysisandconstructiontechniquesforreal-timeandpro- bilisticsystems. BeingaworkshopundertheumbrellaoftheAMASTmovement (AlgebraicMethodologyAndSoftwareTechnology), ARTSisintendedtoprovide aforumforthepresentationofapproachesthatarebasedonaclearmathema- calbasis. Aspectsofreal-timeandprobabilisticsystemsfortheworkshopinclude (butarenotlimitedto): compositionalconstructionandveri cationtechniques, automaticandmachine-supportedveri cation, casestudies, formalmethodsfor performanceanalysis, semantics, algorithmsandtools, andhybridsystems. ARTS 99wasorganisedbytheLehrstuhlfur ] Informatik7attheUniversity ofErlangen-Nurn ] bergandtookplaceattheSt]adtlicheVolkshochschuleinB- berg(Oberfranken), GermanyfromMay26{28,1999. PreviouseditionsofARTS workshopswereorganizedbytheUniversityofIowa, USA(1993), Universityof Bordeaux, France(1995), BrighamYoungUniversity, USA(1996), andGeneral SystemsDevelopment, Mallorca, Spain(1997). Previousproceedingsappeared asLNCS1231orasbooksintheAMASTSeriesofComputing. TheProgramCommitteeselected17papersfromatotalof33submissions. Each submitted paper was sent to three Program Committee members, who wereoftenassistedbysub-referees. Duringaone-weekdiscussionviae-mail, the ProgramCommitteehasmadetheselectionofthepapersonthebasisofthe reviews. Thisvolumecontainsthe17selectedpapersplus3invitedpapers(in eitherfullorabstractform). IwouldliketothanktheProgramCommitteemembersandthesub-referees fortheire orts. Ialsoliketothanktheinvitedspeakersforgivingatalkatthe workshopandfortheircontributiontotheproceedings. SpecialthankstoUlrich Herzog, ChrisMoog, TeodorRus, DiegoLatellaandRuthAbraham(Springer- Verlag)fortheirsupport. Withouttheirhelp, thiseventwouldnothavebeen possible. March1999 Joost-PieterKatoen ProgramChair ARTS 99 Invited Speakers Bengt Jonsson (Uppsala University, Sweden) Frits W. Vaandrager(University of Nijmegen, The Netherlands) Moshe Y. Vardi (Rice University, USA) Steering Committee Manfred Broy (Technical University of Munich, Germany) Edmund Clarke (Carnegie Mellon University, USA) Ulrich Herzog (University of Erlangen-Nu ]rnberg, Germany) Zohar Manna (Stanford University, USA) Maurice Nivat (University of Paris 6, France) Amir Pnueli (Weizmann Institute of Science, Israel) Teodor Rus (Chair, University of Iowa, USA) ProgramCommittee Rajeev Alur (University of Pennsylvania, USA) Jos Baeten (Eindhoven University of Technology, The Netherlands) Christel Baier (University of Mannheim, Germany) Miquel Bertran (University of Ramon Llull, Spain) Antonio Cerone (University of South Australia, Australia) Rance Cleaveland (SUNY at Stony Brook, USA) Jim Davies (Oxford University, UK) Colin Fidge (University of Queensland, Australia) David de Frutos (University of Madrid, Spain) Hubert Garavel (INRIA Rhone-Alpes, France) Constance Heitmeyer (Naval Research Laboratory, USA) Tom Henzinger (University of Berkeley, USA) Jane Hillston (University of Edinburgh, UK) Joost-Pieter Katoen (University of Erlangen-Nu ]rnberg, Germany, Chair) Rom Langerak (University of Twente, The Netherla