First screened at the 2004 Cannes Film Festival, Pedro Almodóvar's powerful and passionate semi-autobiographical melodrama follows the intertwining stories of two boys, Enrique (Fele Martínez) and Ignacio (Gael García Bernal), who fall in love at an abusive Catholic school and are parted by a jealous paedophile priest. Sixteen years later, Enrique, now a successful filmmaker, is casting about for an idea for a new film when a young cross-dressing actor, claiming to be Ignacio but known as 'Angel', approaches him with a short story based on their schooldays together. Enrique decides to use the story, and casts Angel in the film's lead role, despite his discovery that Angel is not in fact Ignacio, who died three years earlier shortly after completing the story, but his younger brother. Enrique's film also includes scenes in which the grown-up Ignacio tracks down the Catholic priest who abused them as boys, and these scenes soon become mirrored by real-life events. Almodóvar moves away from his trademark quirky comedy with this dark and brooding drama, using a complex 'film-within-a-film' structure to create a noir-like sense of mystery and blurred identity, and to explore the relationship between fantasy and reality.

The volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated with the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019. The 13 full papers presented together with 7 short papers in this volume were carefully reviewed and selected from a total of 45 submissions. They stem from the following workshops: CoSim-CPS 2019 - 3rd International Workshop on Formal Co-Simulation of Cyber-Physical Systems; ASYDE 2019 -- 1st International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications; and FOCLASA 2019 -- 17th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems .

This book constitutes the refereed proceedings of the tracks and workshops which complemented the 14th European Conference on Software Architecture, ECSA 2020, held in L'Aquila, Italy*, in September 2020. The 30 full papers and 9 short papers presented in this volume were carefully reviewed and selected from 72 submissions. Papers presented were accepted into the following tracks and workshops: ECSA 2020 Doctoral Symposium track; ECSA 2020 Tool Demos track; ECSA 2020 Gender Diversity in Software Architecture &Software Engineering track; CASA - 3rd International Workshop on Context-aware, Autonomous and Smart Architecture; CSE/QUDOS - Joint Workshop on Continuous Software Engineering and Quality-Aware DevOps; DETECT - 3rd International Workshop on Modeling, Verication and Testing of Dependable Critical Systems; FAACS-MDE4SA - Joint Workshop on Formal Approaches for Advanced Computing Systems and Model-Driven Engineering for Software Architecture; IoT-ASAP - 4th International Workshop on Engineering IoT Systems: Architectures, Services, Applications, and Platforms; SASI4 - 2nd Workshop on Systems, Architectures, and Solutions for Industry 4.0; WASA - 6th International Workshop on Automotive System/Software Architecture. *The conference was held virtually due to the COVID-19 pandemic.

Complete series of the original television drama written by Paolo Sorrentino. The Archbishop of New York, Lenny Belardo (Jude Law), has been elected to the papacy as Pope Pius XIII, the first American pope in history. He brings an unorthodox approach to the heart of Catholocism. A revolution may be at hand.

The increasing complexity of systems and the growing uncertainty in their operational environments have created a critical need to develop systems able to improve their operation, adapt to change, and recover from failures autonomously. This situation has led to recent advances in self-adaptive systems able to reconfigure their structure and modify their behavior at run-time to adapt to environmental changes. Despite these advances, one key aspect of self-adaptive systems that remains to be tackled in depth is "assurances": the provision of evidence that the system satisfies its stated functional and non-functional requirements during its operation in the presence of self-adaptation. This book is one of the outcomes of the ESEC/FSE 2011 Workshop on Assurances for Self-Adaptive Systems (ASAS), held in Szeged, Hungary, in September 2011. It contains extended versions of some of the papers presented during the workshop, as well as invited papers from recognized experts. The 12 refereed papers were thoroughly reviewed and selected. The book consists of four parts: formal verification, models and middleware, failure prediction, and assurance techniques.