As a dominant voice in our society, Western Christianity (including fundamentalism) is dying despite the growing tendency of people to identify as spiritual but not religious. In the face of this reality, churches continue to preach the same message of sin, judgment, guilt, in order to be saved, or in the case of more progressive churches, feel-good messages. No wonder Western Christianity is failing. If it is ever to regain its viability, Christianity must rethink its total devotion to Ch...

The official behind-the-scenes art book for four-time Academy Award–nominated animation studio Cartoon Saloon’s and their co-producer Melusine’s stunning new animated fantasy adventure, WolfWalkersCartoon Saloon, the Irish animation studio behind the Academy Award–nominated films The Secret of Kells (2009), Song of the Sea (2014), and The Breadwinner (2017), and their co-producer Melusine Productions, returns in 2020 with their l...

This Festschrift, dedicated to Cliff Jones, contains papers written by many of his closest collaborators. Cliff has an exceptional international standing for his groundbreaking research and leadership within the practice of formal methods, his career encompasses significant contributions to academia, industry, policy, and service.Cliff is a Fellow of the Royal Academy of Engineering, ACM, BCS, and IET, and in 2015 he was the inaugural Fellow of the Formal Methods Europe association...

This Festschrift, dedicated to Cliff Jones, contains papers written by many of his closest collaborators. Cliff has an exceptional international standing for his groundbreaking research and leadership within the practice of formal methods, his career encompasses significant contributions to academia, industry, policy, and service.Cliff is a Fellow of the Royal Academy of Engineering, ACM, BCS, and IET, and in 2015 he was the inaugural Fellow of the Formal Methods Europe association...

Samuel Beckett’s Legacies in American Fiction provides an overdue investigation into Beckett’s rich influences over American writing. Through in-depth readings of postmodern authors such as Robert Coover, Donald Barthelme, Thomas Pynchon, Don DeLillo, Paul Auster and Lydia Davis, this book situates Beckett’s post-war writing of exhaustion and generation in relation to the emergence of an explosive American avant-garde. In turn, this study provides a valuable insight into the pract...

When Samuel Beckett’s work first appeared, it was routinely described, by Adorno amongst others, as a clear example of European high culture. However, this judgement ignored an aspect of Beckett’s work and its reception that is, arguably, not yet fully understood; the intimate relation between his work and popular culture. Beckett used popular cultural forms; but popular culture has also found a place both for the work and for the man. This collection of essays examines how popular cultura...

Peter Flannery's adaptation of his own iconic BAFTA award winning TV series - with a brand new final episode by award-winning writer Adam Usden'A stunning state-of-the-nation social commentary' The TelegraphFirst broadcast in 1996, Our Friends in the North was one of the most highly acclaimed TV shows of the 1990s. It launched the careers of Daniel Craig, Christopher Eccleston, Gina McKee and Mark Strong, won nume...

This open access book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 36 papers presented in this volume were carefully reviewed and selected from 114 submissions. The papers are organized in topical sections named: language design; probabilistic programming; types and effects; concurrency; se...

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections:Part I: AI verification; blockchain and Security; Concurrency; hardwa...

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyb...

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical application...

This book is Open Access under a CC BY licence.The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The total of 42 full and 8 short tool demo papers presented in these volumes was carefully...