Advances in the engineering of sensing and acting capabilities, distributed in a wide range of specialized devices nowadays, provide an opportunity for the fundamental advances in computer science made in the past few decades to impact our daily lives. Sensors/actuators deployed in a physical space – a house, an office, a classroom, a car, a street – facilitate a link between an automated decision-making system and a technologically-enriched space. The Intelligent Environment, a digital environment that supports people in their daily lives, is a very active area of research which is attracting an increasing number of professionals (both in academia and industry) worldwide. The prestigious 10th International Conference on Intelligent Environments (IE’14) is focused on the development of advanced Intelligent Environments and stimulates the discussion on several specific topics that are crucial to the future of the area. This volume is the combined proceedings of the workshops co-located with IE’14: 9th Workshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI’14); 2nd International Workshop on Applications of Affective Computing in Intelligent Environments (ACIE’14); 3rd edition of the Workshop on Future Intelligent Educational Environments (WOFIEE’14); 2nd Workshop on Cloud-of-Things 2014 (CoT’14); 3rd International Workshop on the Reliability of Intelligent Environments (WoRIE 2014); 4th Workshop on Creative Science 2014 (CS’14); and 1st Workshop on Hyperrealistic Intelligent Environments 2014 (HyperRealitIE’14). This book offers an overview of the latest developments in key areas of the development of Intelligent Environments.

Annotation. This book constitutes the thoroughly refereed post-proceedings of the InternationalSymposium on Trustworthy Global Computing, TGC 2005, held in Edinburgh, UK, in April 2005, and colocated with the events of ETAPS 2005. The 11 revised full papers presented together with 8 papers contributed by the invited speakers were carefully selected during 2 rounds of reviewing and improvement from numerous submissions. Topical issues covered by the workshop are resource usage, language-based security, theories of trust and authentication, privacy, reliability and business integrity access control and mechanisms for enforcing them, models of interaction and dynamic components management, language concepts and abstraction mechanisms, test generators, symbolic interpreters, type checkers, finite state model checkers, theorem provers, software principles to support debugging and verification.

Advances in the engineering of sensing and acting capabilities, distributed in a wide range of specialized devices nowadays, provide an opportunity for the fundamental advances in computer science made in the past few decades to impact our daily lives. Sensors/actuators deployed in a physical space – a house, an office, a classroom, a car, a street – facilitate a link between an automated decision-making system and a technologically-enriched space. The Intelligent Environment, a digital environment that supports people in their daily lives, is a very active area of research which is attracting an increasing number of professionals (both in academia and industry) worldwide. The prestigious 10th International Conference on Intelligent Environments (IE’14) is focused on the development of advanced Intelligent Environments and stimulates the discussion on several specific topics that are crucial to the future of the area. This volume is the combined proceedings of the workshops co-located with IE’14: 9th Workshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI’14); 2nd International Workshop on Applications of Affective Computing in Intelligent Environments (ACIE’14); 3rd edition of the Workshop on Future Intelligent Educational Environments (WOFIEE’14); 2nd Workshop on Cloud-of-Things 2014 (CoT’14); 3rd International Workshop on the Reliability of Intelligent Environments (WoRIE 2014); 4th Workshop on Creative Science 2014 (CS’14); and 1st Workshop on Hyperrealistic Intelligent Environments 2014 (HyperRealitIE’14). This book offers an overview of the latest developments in key areas of the development of Intelligent Environments.

This book constitutes the revised papers of the ten international workshops that were held at BPM 2016, the 14th International Conference on Business Process Management, held in Rio de Janeiro, Brazil, in September 2016. The 36 papers included in this volume were carefully reviewed and selected from a total of 64 submissions. They are from the following workshops: BPI 2016 – 12th International Workshop on Business Process Intelligence; BPMO 2016 – 1st Workshop on Workshop on Business Process Management and Ontologies; BPMS2 2016 – 9th Workshop on Social and Human Aspects of Business Process Management; DeMiMoP 2016 – 4th International Workshop on Decision Mining & Modeling for Business Processes; IWPE 2016 – 2nd International Workshop on Process Engineering; PQ 2016 – 1st International Workshop on Process Querying; ReMa 2016 – 1st Workshop on Resource Management in Business Processes; PRAISE 2016 – 1st International Workshop on Runtime Analysis of Process-Aware Information Systems; SABPM 2016 – 1st International Workshop on Sustainability-Aware Business Process Management; TAProViz 2016 – 5th International Workshop on Theory and Application of Visualizations and Human-centric Aspects in Processes.

This book constitutes the thoroughly refereed post-workshop proceedings of nine international workshops held in Hoboken, NJ, USA, in conjunction with the 8th International Conference on Business Process Management, BPM 2010, in September 2010. The nine workshops focused on Reuse in Business Process Management (rBPM 2010), Business Process Management and Sustainability (SusBPM 2010), Business Process Design (BPD 2010), Business Process Intelligence (BPI 2010), Cross-Enterprise Collaboration, People, and Work (CEC-PAW 2010), Process in the Large (IW-PL 2010), Business Process Management and Social Software (BPMS2 2010), Event-Driven Business Process Management (edBPM 2010), and Traceability and Compliance of Semi-Structured Processes (TC4SP 2010). In addition, three papers from the special track on Advances in Business Process Education are also included in this volume. The overall 66 revised full papers presented were carefully reviewed and selected from 143 submissions.

This volume celebrates the twentieth anniversary of CLEF - the Cross-Language Evaluation Forum for the first ten years, and the Conference and Labs of the Evaluation Forum since – and traces its evolution over these first two decades. CLEF’s main mission is to promote research, innovation and development of information retrieval (IR) systems by anticipating trends in information management in order to stimulate advances in the field of IR system experimentation and evaluation. The book is divided into six parts. Parts I and II provide background and context, with the first part explaining what is meant by experimental evaluation and the underlying theory, and describing how this has been interpreted in CLEF and in other internationally recognized evaluation initiatives. Part II presents research architectures and infrastructures that have been developed to manage experimental data and to provide evaluation services in CLEF and elsewhere. Parts III, IV and V represent the core of the book, presenting some of the most significant evaluation activities in CLEF, ranging from the early multilingual text processing exercises to the later, more sophisticated experiments on multimodal collections in diverse genres and media. In all cases, the focus is not only on describing “what has been achieved”, but above all on “what has been learnt”. The final part examines the impact CLEF has had on the research world and discusses current and future challenges, both academic and industrial, including the relevance of IR benchmarking in industrial settings. Mainly intended for researchers in academia and industry, it also offers useful insights and tips for practitioners in industry working on the evaluation and performance issues of IR tools, and graduate students specializing in information retrieval.