This volume contains the revised lecture notes corresponding to the lectures given at the 6th International School on Advanced Functional Programming, AFP 2008, held in Heijen, a little village in the woodlands near the city of Nijmegen, The Netherlands, May 19-24, 2008. AFP 2008 was co-located with TFP 2008, the 9th Symposium on Trends in Functional Programming [see P. Achten,P.Koopman,M.Marazan ' : Trends in Functional Programming volume 9, ISBN 978-1-84150-277-9,Intellect]. The school attracted 62 participants from 19 countries, a record, including the lecturers and organizers. This event was precededby?veearlierinstancesinB? astad,Sweden(1995,LNCS925),Olympia, WA, USA (1996, LNCS 1129), Braga,Portugal(1998, LNCS 1608), Oxford, UK (2002, LNCS 2638) and Tartu, Estonia, (2004, LNCS 3622). The goals of the series of Advanced Functional Programming schools are: - Bringing computer scientists, in particular young researchers and progr- mers, up to date with the latest functional programming techniques. - Showinghowtouseadvancedfunctionalprogrammingtechniquesin"progr- ming in the real world". - Bridgingtheeducationalgapbetweenresultspresentedatconferencesonthe one side and material as presented in introductory textbooks on the other side.

ThisvolumecontainstheproceedingsofMPC2008, the9thInternationalConf- enceontheMathematicsofProgramConstruction.Thisseriesofconferencesaims to promote the development of mathematical principles and techniques that are demonstrably useful in the process of constructing computer programs, whether implemented in hardware or software. The focus is on techniques that combine precision with conciseness, enabling programs to be constructed by formal c- culation.Within this theme, the scopeofthe seriesisverydiverse, including p- grammingmethodology, programspeci?cationandtransformation, programming paradigms, programmingcalculi, andprogramminglanguagesemantics. The quality of the papers submitted to the conference was in general very high, and the number of submissions was comparable to that for the previous conference. Each paper was refereed by at least four, and often more, committee members. This volume contains 18 papers selected for presentation by the Program Committee from 41 submissions, 1 invited paper which was reviewed as well, and the abstracts for two invited talks. The conference took place in Marseille-Luminy, France. The previous eight conferences were held in 1989 in Twente, The Netherlands; in 1992 in Oxford, UK; in 1995 in Kloster Irsee, Germany; in 1998 in Marstrand near Got ] eborg, Sweden; in 2000 in Ponte de Lima, Portugal; in 2002 in Dagstuhl, Germany; in 2004, in Stirling, UK; and in 2006 in Kuressaare, Estonia. The proceedings of these conferences were published as LNCS 375, 669, 947, 1422, 1837, 2386, 3125 and 4014, respectively. We aregratefulto the members ofthe ProgramCommittee andtheir referees for their care and diligence in reviewing the submitted pa

The 13th International Conference on Implementation and Application of - tomata (CIAA 2008) was held at San Francisco State University, San Francisco, July 21-24, 2008. This volume of Lecture Notes in Computer Science contains the papers that were presented at CIAA 2008, as well as the abstracts of the poster papers that were displayed during the conference. The volume also includes the - per/extended abstract of the four invited talks presented by Markus Holzer, Kai Salomaa, Mihalis Yannakakis, and Hsu-Chun Yen. The 24 regular papers were selected from 40 submissions covering various topics in the theory, implementation, and applications of automata and related structures. Each submitted paper was reviewed by at least three ProgramC- mittee members, with the assistance of external referees. The authors of the papers and posters presented in this volume come from the following co- tries: Australia, Belgium, Canada, China, Columbia, Czech Republic, France, Germany, Hungary, Italy, Japan, The Netherlands, Poland, Portugal, Romania, Russia, Spain, Sweden, Taiwan, United Arab Emerates, and USA. We wish to thank all who made this conference possible: the authors for s- mittingpapers, theProgramCommitteemembersandexternalreferees(listedin the proceedings) for their excellent work, and the four invited speakers. Finally, we wish to express our sincere appreciation to the sponsors, local organizers, and the editors of the Lecture Notes in Computer Science seriesand Springer, in particular Alfred Hofmann, for their help in publishing this volume in a timely manner

In the fast moving world of information technology, Java is now the number 1 programming language. Programmers and developers everywhere need to know Java to keep pace with traditional and web-based application development. COBOL Programmers Swing with Java provides COBOL programmers a clear, easy transition to Java programming by drawing on the numerous similarities between COBOL and Java. The authors introduce the COBOL programmer to the history of Java and object-oriented programming and then dive into the details of the Java syntax, always contrasting them with their parallels in COBOL. A running case study gives the reader an overall view of application development with Java, with increased functionality as new material is presented. This new edition features the development of graphical user interfaces (GUI's) using the latest in Java Swing components. The clear writing style and excellent examples make the book suitable for anyone wanting to learn Java and OO programming, whether they have a background in COBOL or not.

This book constitutes the refereed proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2009, held in Budapest, Hungary, September 2009.

The 18 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 40 submissions. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in the modelling and analysis of timed systems.Typical topics include (but are not limited to): Foundations and Semantics. Theoretical foundations of timed systems and languages; comparison between different models (timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models), methods and Tools. Techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints (scheduling, worst-case execution time analysis, optimization, model checking, testing, constraint solving, etc.), applications. Adaptation and specialization of timing technology in application domains in which timing plays an important role (real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunication).

The 6th InternationalConference on Cooperative Design, Visualization and - gineering CDVE 2009 was held in central Europe - Luxembourg. Participants from ?ve continents came together to celebrate this annual event. Thepaperspublishedintheconferenceinthisvolumere?ectthenewprogress in the following aspect. Research in developing cooperative applications is currently focusing on two directions. One is the cooperation in the software development process and the other is the variety of the targeted cooperative software products. Many papers address how to facilitate cooperation in the software engineering process p- ticularly global software engineering. The importance of sharing information in cooperation is emphasized by the authors. For example, papers that addressed the developmentof sharing mental models, tools for easilyshared projects,sh- ing links for cross-media information spaces, sharing resources and transfer of knowledge among team members etc. have attracted special attention. Many papers presented in this volume are the research results of tackling problems in developing a great variety of cooperative software products. The targeted systems are cooperative support for music creation, cooperative process m- agement systems, cooperative visualization systems for geographic information, cooperative cultural information sharing platforms, cooperative reasoning s- tems, cooperative sensor networks for environment monitoring, remote coop- ative video vehicle monitoring systems etc. Another aspect of the papers in this volume is dealing with the problems in ?ner phases in the cooperative product production life cycle. The topics addressed range from partner selection for - operation at the beginning, requirement gathering, requirement negotiation, to cooperativedesign, production to cooperative testing, and ?nally to cooperative system operation.

You've long been enamored with the Python language, and have mastered its many nuances. Yet something seems to be missinga productivity boost that you know is possible but you're not sure how to go about it. This was the sentiment of so many developers before discovering Agile programming paradigm, which embraces concepts such as automation, effective code management, and testdriven development.

Foundations of Agile Python Development is the first book to apply these soughtafter principles to Python developers, introducing both the tools and techniques built and supported by the Python community. Authored by Jeff Younker, a wellknown member of Python's agile community who is perhaps best known for his creation of a popular Python testing framework, this book is sure to be a hit among readers who may have reached their limits of knowledge regarding the Python language, yet are seeking to improve their understanding of how sound processes can boost productivity to unparalleled heights. What you'll learn Understand why the Agile movement is increasing productivity and decreasing programmer stress the world aroundUse Eclipse and Subversion to add a whole new level of efficiency to your daily programming activitiesChange your perspective on testing from a necessary evil to a compelling and crucial part of your development processAutomate your build process, eliminating much of the tedium surrounding testing and deployment tasks Who this book is for

Python developers seeking to take advantage of efficient developer tools and techniques to boost productivity.

The book provides a description of the Standard ML (SML) Basis Library, the standard library for the SML Language. For programmers using SML, it provides a complete description of the modules, types and functions composing the library, which is supported by all conforming implementations of the language. The book serves as a programmer's reference, providing manual pages with concise descriptions. In addition, it presents the principles and rationales used in designing the library, and relates these to idioms and examples for using the library. A particular emphasis of the library is to encourage the use of SML in serious system programming. Major features of the library include I/O, a large collection of primitive types, support for internationalization, and a portable operating system interface. This manual will be an indispensable reference for students, professional programmers, and language designers.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this volume constitutes a selection of papers presented at the Internatonal Conference on Infinity in Logic and Computation, ILC 2007, held in Cape Town, South Africa, in November 2007.

The 7 revised papers presented together with 2 invited talks were carefully selected from 27 initial submissions during two rounds of reviewing and improvement. The papers address all aspects of infinity in automata theory, logic, computability and verification and focus on topics such as automata on infinite objects; combinatorics, cryptography and complexity; computability and complexity on the real numbers; infinite games and their connections to logic; logic, computability, and complexity in finitely presentable infinite structures; randomness and computability; transfinite computation; and verification of infinite state systems.

Facelets is a templating language developed from the ground up with JavaServer Faces in mind. Created in response to the many concerns involving JavaServer Pages (JSP)when building JavaServer Faces (JSF)views, Facelets steps outside of the JSP specification and provides a highly performant, JSFcentric view technology. Facelets' top properties, templating, reuse, and ease of development, allow it to help making JSF a technology suitable for largescale projects. One of the first things a developer using Facelets finds is that it immediately leads to a reduction inuser interfacecode.

Facelets Essentials, the first book on Facelets, introduces you to its importance, architecture, and relationship to JSF and the Apache MyFaces web framework. Learn to create your first application using the power and flexibility Facelets offers. Then, master and apply its basic and advanced features including Unified Expression Language, templating and reuse, custom tag development, and more. What you'll learn See why you should use Facelets and the Facelets architecture Create your first application with Facelets Use the Facelets Unified Expression Language Explore Facelets templating and reuse, as well as the tag reference and custom tag development Create composition components Extend the ViewHandler Who this book is for

This book is for Java web developers who are using or experienced with JavaServer Faces and perhaps learning to use the MyFaces web framework. Table of Contents Why Use Facelets Creating an Application with Facelets Creating an Application with Facelets Tag Libraries The jsfc Attribute Facelets Templating and Template Clients Facelets Tag Reference Creating Composition Components Extending Facelets Extending the ViewHandler

Artificial Intelligence (AI) is a rapidly growing inter-disciplinary field with a long and distinguished history that involves many countries and considerably pre-dates the development of computers. It can be traced back at least as far as Ancient Greece and has evolved over time to become a major subfield of computer science in general.

This state-of-the-art survey not only serves as a "position paper" on the field from the viewpoint of expert members of the IFIP Technical Committee 12, its Working Groups and their colleagues, but also presents overviews of current work in different countries.

The chapters describe important relatively new or emerging areas of work in which the authors are personally involved, including text and hypertext categorization; autonomous systems; affective intelligence; AI in electronic healthcare systems; artifact-mediated society and social intelligence design; multilingual knowledge management; agents, intelligence and tools; intelligent user profiling; and supply chain business intelligence. They provide an interesting international perspective on where this significant field is going at the end of the first decade of the twenty-first century.

This volume contains the papers presented at CP 2009: The 15th International Conference on Principles and Practice of Constraint Programming. It was held from September 20-24, 2009 at the Rectory of the New University of Lisbon, Portugal. Everyone involved with the conference thanks our sponsors for their support. There were 128 submissions to the research track, of which 53 were accepted for a rate of 41.4%. Each submission was reviewed by three reviewers, with a small number of additional reviews obtained in exceptional cases. Each review waseitherbyaProgrammeCommitteemember,orbyacolleagueinvitedtohelp by a committee member thanks to their particular expertise. Papers submitted as long papers were accepted at full length or not at all. It is important to note that papers submitted as short papers were held to the same high standards of qualityas long papers. There is thus no distinction in these proceedings between long and short papers, except of course the number of pages they occupy. As it happens, the acceptancerates of short and long papers wereverysimilar indeed. Therewere13submissionstotheapplicationtrack,ofwhich8wereaccepted, fora rateof61.5%.Papersunderwentthe samereviewprocessasregularpapers, and there was not a separate committee for reviewing application track papers. However, papers in the application track were not required to be original or novel research, but to be original and novel as an application of constraints.

Based on the bestselling first edition, Beginning Ruby: From Novice to Professional, Second Edition is the leading guide for every type of reader who wants to learn Ruby from the ground up.

The new edition of this book provides the same excellent introduction to Ruby as the first edition plus updates for the newest version of Ruby, including the addition of the Sinatra and Ramaze web application frameworks and a chapter on GUI development so developers can take advantage of these new trends.

Beginning Ruby starts by explaining the principles behind object-oriented programming and within a few chapters builds toward creating a full Ruby application. By the end of the book, in addition to in-depth knowledge of Ruby, you'll also have basic understanding of many ancillary technologies such as SQL, XML, web frameworks, and networking.Introduces readers to the Ruby programming language Takes readers from basic programming skills to web development with topics like Ruby-based frameworks and GUI programming Covers many ancillary technologies in order to provide a broader picture (e.g., databases, XML, network daemons) What you'll learn Understand the basics of Ruby and object-oriented building blocks. Work with Ruby libraries, gems, and documentation. Work with files and databases. Write and deploy Ruby applications. Explore Ruby web frameworks and aspects of network programming with Ruby. Develop desktop and GUI applications with Ruby. Who this book is for

Beginning programmers, programmers new to Ruby, and web developers interested in knowing the foundations of the language. Table of Contents Let's Get It Started: Installing RubyProgramming == Joy: A Whistle-Stop Tour of Ruby and Object OrientationRuby's Building Blocks: Data, Expressions, and Flow ControlDeveloping Your First Ruby ApplicationThe Ruby EcosystemClasses, Objects, and ModulesProjects and LibrariesDocumentation, Error Handling, Debugging, and TestingFiles and DatabasesDeploying Ruby Applications and LibrariesAdvanced Ruby FeaturesTying It Together: Developing a Larger Ruby ApplicationWeb Application Frameworks: Rails, Sinatra, and RamazeRuby and the InternetNetworking, Sockets, and DaemonsGUI-Based Desktop Application DevelopmentUseful Ruby Libraries and Gems

The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops are intended to bring together scientists and practitioners who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. These workshopsalso striveto promoteresearchand developmentfor the improvement of formal methods and tools for industrial applications. The topics for which contributions to FMICS 2008 were solicited included, but were not restricted to, the following: - Design, speci?cation, code generation and testing based on formal methods - Veri?cation and validation of complex, distributed, real-time systems and embedded systems - Veri?cation and validation methods that address shortcomings of existing methods with respect to their industrial applicability (e. g. , scalability and usability issues) - Tools for the development of formal design descriptions - Case studies and experience reports on industrial applications of formal methods, focusing on lessons learned or identi?cation of new research - rections - Impact of the adoption of formal methods on the development process and associated costs - Application of formal methods in standardization and industrial forums The workshop included six sessions of regular contributions in the areas of model checking, testing, software veri?cation, real-time performance, and ind- trial case studies. There were also three invited presentations, given by Steven Miller,Rance Cleaveland,and Werner Damm, coveringthe applicationof formal methods in the avionics and automotive industries.

PeterMosses, renownedresearcherofSemanticsofProgrammingLanguagesand Algebraic Speci?cation Frameworks, turned 60 years old on November 3, 2008. To honor this event, many of Peter's coauthors, collaborators, close colleagues, and former students gathered in Udine, Italy on September 10, 2009 for a s- posium in his honor. The presentations were on subjects related to Peter's many technicalcontributionsand they were a tribute to his lasting impact onthe ?eld. Here is the program of the symposium: - Opening: Jens Palsberg - Session 1: (Chair: Jos e Luiz Fiadeiro) David Watt, Action Semantics in Retrospect H el eneKirchner, Component-BasedSecurityPolicyDesignwithColored Petri Nets Jos e Meseguer, Order-Sorted Parameterization and Induction - Session 2: (Chair: Andrzej Tarlecki) Martin Musicante, An implementation of Object-Oriented Action Semantics in Maude ChristianoBraga, AConstructiveSemanticsforBasicAspectConstructs Bartek Klin, Structural Operational Semantics for Weighted Transition Systems - Session 3: Fernando Orejas, On the Speci?cation and Veri?cation of Model Tra- formations Olivier Danvy, Towards Compatible and Interderivable Semantic Spe- ?cations for the Scheme Programming Language Mark van den Brand, Type Checking Evolving Languages with MSOS Edward Hermann Haeusler, Action Algebras and Model Algebrasin - notational Semantics - Closing: Peter Mosses ManythankstoMarinaLenisafromthe UniversityofUdine whocoordinated the local arrangements. We also thank the Amga spa and the Net spa of Udine, the Municipality of Udine, the International Centre for Mechanical Sciences of Udine, and the Fondazione Crup for their ?nancial support. The 17 invited chapters of this Festschrift represent the proceedings of the symposium. Somecontributorswereunabletoattendthe event."

Computing Projects In Visual Basic. NET is ideal for AS/A level Computing, 'A' level ICT and Advanced VCE ICT students. The text assumes no starting knowledge of programming and covers everything needed to write a large program, which makes this a great text for Students on other courses, such as BTEC National, and first year HND and degree courses, as well as personal and professional readers. For AS/A level Computing - depending on the Examining Board computing students may need to produce a small project or write a number of programs for the 'AS' part of the course. For 'A' level a substantial piece of programming may be needed. The theory part of the course covers a number of important programming concepts, which are far better learned through practical programming than only through the pages of a textbook. Visual Basic is an excellent, modern language through which to learn these concepts. For AVCE students - an optional unit on programming using an event-driven language such as Visual Basic is offered by all the Boards. One of the Boards offers two units. Although the amount of programming is not expected to be as much as an A level student of Computing would do, it is still substantial. The object oriented approach to programming is explained and used where applicable.

All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the development methodologies has switched in the last two decades from functional to structural issues. Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires a greater emphasis on specification, modeling, and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java.

This state-of-the-art survey presents the outcome of the 7th Symposium on Formal Methods for Components and Objects, held in Sophia Antipolis, France, in October 2008. The volume contains 14 revised contributions submitted after the symposium by speakers from each of the following European IST projects: the IST-FP7 project COMPAS on compliance-driven models, languages, and architectures for services; the IST-FP6 project CREDO on modelling and analysis of evolutionary structures for distributed services; the IST-FP7 DEPLOY on industrial deployment of advanced system engineering methods for high productivity and dependability; the IST-FP6 project GridComp on grid programming with components; and the IST-FP6 project MOBIUS aiming at developing the technology for establishing trust and security for the next generation of global computers, using the proof carrying code paradigm.

This book constitutes the refereed proceedings of the 8th International Conference on Case-Based Reasoning, ICCBR 2009, held in Seattle, WA, USA, in July 2009. The 17 revised full papers and 17 revised poster papers presented together with 2 invited talks were carefully reviewed and selected from 55 submissions. Covering a wide range of CBR topics of interest both to practitioners and researchers, the papers are devoted to theoretical/methodological as well as to applicative aspects of current CBR analysis.

This volume contains the proceedings of the 25th International Conference on Logic Programming (ICLP 2009). The conference took place in Pasadena, Ca- fornia during July 14-17, 2009. The ICLP series of conferences is aimed at p- viding a technical forum for presenting and disseminating innovative research results in the ?eld of logic programming. Theconference,whichwasco-locatedwiththeInternationalJointConference on Arti?cial Intelligence (IJCAI), featured technical presentations, tutorials, - vited talks, and a number of special events, including: - The 5th ICLP Doctoral Student Consortium - The Second Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) - The 6th International Workshop on Constraint Handling Rules (CHR) - The 9th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS) - The 4th International Workshop on (Constraint) Logic Programming and Software Engineering (CLPSE) - The First Workshop on Commercial Users of Logic Programming (CULP) - Workshop on ISO Prolog - WG17 - The 19th Workshopon Logic-basedmethods in ProgrammingEnvironments (WLPE) Since the ?rst conference held in Marseilles in 1982, ICLP has been the p- miere international conference for disseminating research results in logic p- gramming. The present edition of the conference received 69 submissions in three categories:application, system and tool, and technical papers. From these, the ProgramCommittee selected 29 papers for presentation and inclusion in the proceedings. In addition, the committee selected nine short papers describing on-going research work, PhD theses and research project overviews for poster presentations and inclusion in the proceedings.

Although the self-adaptability of systems has been studied in a wide range of disciplines, from biology to robotics, only recently has the software engineering community recognized its key role in enabling the development of future software systems that are able to self-adapt to changes that may occur in the system, its requirements, or the environment in which it is deployed.

The 12 carefully reviewed papers included in this state-of-the-art survey originate from the International Seminar on Software Engineering for Self-Adaptive Systems, held in Dagstuhl Castle, Germany, in January 2008. They examine the current state-of-the-art in the field, describing a wide range of approaches coming from different strands of software engineering, and present future challenges facing this ever-resurgent and challenging field of research. Also included in this book is an invited roadmap paper on the research challenges facing self-adaptive systems within the area of software engineering, based on discussions at the Dagstuhl Seminar and put together by several of its participants. The papers have been divided into topical sections on architecture-based self-adaptation, context-aware and model-driven self-adaptation, and self-healing. These are preceded by three research roadmap papers.

Models have become essential for supporting the development, analysis and e- lution of large-scale and complex IT systems. Models allow di?erent views, p- spectives and elements of a system to be captured rigorously and precisely, thus allowing automated tools to manipulate and manage the models. In a full-?edged model-driven engineering (MDE) process, the transformations developed and - pressed between models are also key. Model transformations allow the de?nition and implementation of the operations on models, and also provide a chain that enables the automated development of a system from its corresponding m- els. Model transformations are already an integral part of any model-driven approach, and there are a number of available model transformation languages, tools, and supporting environments; some of these approaches are now approa- ing maturity. Nevertheless, much work remains: the research community and industry need to better understand the foundations and implications of model transformations, such as the key concepts and operators supporting transfor- tion languages, their semantics, and their structuring mechanisms and properties (e. g. , modularity, composability and parametrization). The e?ect of using model transformations on organizations and development processes - particularly when applied to ultra-large scale systems, or in distributed enterprises - is still not clear. These issues, and others related to the speci?cation, design, implemen- tion, analysis and experimentation with model transformation, are the focus of these proceedings. The Second International Conference on Model Transformation (ICMT 2009) was held in late June 2009 in Zurich, Switzerland.

ThesearetheproceedingsoftheInternationalWorkshoponProgrammingMulti- Agent Systems (ProMAS 2008), the sixth of a series of workshops that is aimed at discussing and providing an overview of current state-of-the-art technology for programming multi-agent systems. The aim of the ProMAS workshop series is to promote research on progr- ming technologies and tools that can e?ectively contribute to the development and deployment of multi-agent systems. In particular, the workshop promotes the discussion and exchange of ideas concerning the techniques, concepts, - quirements, and principles that are important for establishing multi-agent p- gramming platforms that are useful in practice and have a theoretically sound basis. Topics addressed include but are not limited to the theory and app- cations of agent programming languages, the veri?cation and analysis of agent systems, aswellastheimplementationofsocialstructureinagent-basedsystems (e. g., roleswithin organizations, coordinationandcommunicationin multi-agent systems). In its previous editions, ProMAS constituted an invaluable occasion bringing together leading researchers from both academia and industry to discuss issues on the design of programming languages and tools for multi-agent systems. We were very pleased to be able to again present a range of high-quality papers at ProMAS 2008. After ?ve successful editions of the ProMAS workshop series, which took place during AAMAS 2003 (Melbourne, Australia), AAMAS 2004 (New York, USA), AAMAS 2005 (Utrecht, The Netherlands), AAMAS 2006 (Hakodate, Japan), and AAMAS 2007 (Honolulu, Hawai'i), the sixth edition took place on May 13 in Estoril, Portugal, in conjunction with AAMAS 2008, the main international conference on autonomous agents and MAS.

This volume contains the papers accepted for presentation at the 15th Wo- ing Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2009), held in Amsterdam during June 8-9, 2009. Since 1994, when the ?rstREFSQ tookplace, requirementsengineering (RE) has never ceasedto be a dominantfactor in?uencing the quality of software, s- tems and services. Initially started as a workshop, the REFSQ working conf- ence series has now established itself as one of the leading international forums for discussing RE in its many relations to quality. It seeks reports on novel ideas and techniques that enhance the quality of RE products and processes, as well as re?ections on current research and industrial RE practices. One of the most appreciated characteristics of REFSQ is that of being a highly interactive and structured event. Each session is organized in order to provokediscussion among the presenters of papers, discussants and all the other participants.Typically, after a paper is presented, it is immediately discussed by one or two pre-assigned discussants, then subject to a free discussion involving all participants. At the end of each session, an open discussion of all the papers presented in the session takes place. REFSQ 2009 maintained this tradit

There is no royal road to science, and only those who do not dread the fatiguing climb of its steep paths have a chance of gaining its luminous summits. Karl Marx A Universial Genius of the 19th Century Many scientists from all over the world during the past two years since the MLDM 2007 have come along on the stony way to the sunny summit of science and have worked hard on new ideas and applications in the area of data mining in pattern r- ognition. Our thanks go to all those who took part in this year's MLDM. We appre- ate their submissions and the ideas shared with the Program Committee. We received over 205 submissions from all over the world to the International Conference on - chine Learning and Data Mining, MLDM 2009. The Program Committee carefully selected the best papers for this year's program and gave detailed comments on each submitted paper. There were 63 papers selected for oral presentation and 17 papers for poster presentation. The topics range from theoretical topics for classification, clustering, association rule and pattern mining to specific data-mining methods for the different multimedia data types such as image mining, text mining, video mining and Web mining. Among these topics this year were special contributions to subtopics such as attribute discre- zation and data preparation, novelty and outlier detection, and distances and simila- ties.

This volume contains the proceedings of the 22nd International Conference on Automated Deduction (CADE-22). The conference was hosted by the School of Computer Science at McGill University, Montreal, Canada, during August 2-7, 2009. CADE is the major forum for the presentation of research in all aspects of automated deduction. Within this general topic the conference is devoted to foundations, applications, implementations and practical experiences. CADE was founded in 1974 when it was held in Argonne, USA. Since then CADE has been organized ?rst on a bi-annual basis mostly and since 1996 on an annual basis, in 2001, 2004, 2004, 2006 and 2008 as a constituent of IJCAR. This year the Program Committee selected 32 technical contributions out of 77 initial submissions. Of the selected papers 27 were regular papers and 5 were system papers. Each paper was refereed by at least three reviewers on its sign- icance, technical quality, originality, quality of presentation and relevance to the conference. The refereeing process and the Program Committee meeting were conducted electronically via the Internet using the EasyChair conference m- agement system. The program included three invited lectures by distinguished experts in the area: Instantiation-Based Automated Reasoning: From Theory to Practice by Konstantin Korovin(The Universityof Manchester, UK), Integrated Reasoning and Proof Choice Point Selection in the Jahob System: Mechanisms for Program Survival by Martin Rinard (Massachusetts Institute of Technology, USA), and Building Theorem Provers byMarkStickel(SRIInternational, U