This study investigates the idea and practice of liveness in modern music.. The book argues that liveness itself emerges from dynamic tensions inherent in mediated musical contexts--tensions between music as an acoustic human utterance, and musical sound as something produced or altered by machines.

In Liveness Philip Auslander addresses what may be the single most important question facing all kinds of performance today: What is the status of live performance in a culture dominated by mass media? By looking at specific instances of live performance such as theatre, rock music, sport and courtroom testimony, Liveness offers penetrating insights into media culture. This provocative book tackles some of the enduring 'sacred truths' surrounding the high cultural status of the live event.

Theatre is traditionally considered a live medium but its ‘liveness’ can no longer simply be taken for granted in view of the increasing mediatisation of the stage. Drawing on theories of intermediality, Liveness on Stage explores how performances that incorporate film or video self-reflexively stage and challenge their own liveness by contrasting or approximating live and mediatised action. To illustrate this, the monograph investigates key aspects such as ‘ephemerality’, ‘co-presence’, ‘unpredictability’, ‘interaction’ and ‘realistic representation’ and highlights their significance for re-evaluating received notions of liveness. The analysis is based on productions by Gob Squad, Forkbeard Fantasy, Station House Opera, Proto-type Theater, Tim Etchells and Mary Oliver. In their playful approaches these practitioners predominantly present such media combination as a means of cross-fertilisation rather than as an antagonism between liveness and mediatisation. Combining an original theoretical approach with an in-depth analysis of the selected productions, this study will appeal to scholars and practitioners of theatre and performance as well as to those researching intermedial phenomena.

This volume brings together dynamic perspectives on the concept of liveness in the performing arts, engaging with the live through the particular analytical focus of audiences and experience. The status and significance of the live in performance has become contested: perceived as variously as a marker of ontological difference, a promotional slogan, or a mystical evocation of cultural value. Moving beyond debates about the relationship between the live and the mediated, this collection considers what we can know and say about liveness in terms of processes of experiencing and processes of making. Drawing together contributions from theatre, music, dance, and performance art, it takes an interdisciplinary approach in asking not what liveness is, but how it matters and to whom. The book invites readers to consider how liveness is produced through processes of audiencing - as spectators bring qualities of (a)liveness into being through the nature of their attention - and how it becomes materialized in acts of performance, acts of making, acts of archiving, and acts of remembering. Theoretical chapters and practice-based reflections explore liveness, eventness and nowness as key concepts in a range of topics such as affect, documentation, embodiment, fandom, and temporality, showing how the relationship between audience and event is rarely singular and more often malleable and multiple. With its focus on experiencing liveness, this collection will be of interest to disciplines including performance, audience and cultural studies, visual arts, cinema, and sound technologies.

This volume brings together dynamic perspectives on the concept of liveness in the performing arts, engaging with the live through the particular analytical focus of audiences and experience. The status and significance of the live in performance has become contested: perceived as variously as a marker of ontological difference, a promotional slogan, or a mystical evocation of cultural value. Moving beyond debates about the relationship between the live and the mediated, this collection considers what we can know and say about liveness in terms of processes of experiencing and processes of making. Drawing together contributions from theatre, music, dance, and performance art, it takes an interdisciplinary approach in asking not what liveness is, but how it matters and to whom. The book invites readers to consider how liveness is produced through processes of audiencing - as spectators bring qualities of (a)liveness into being through the nature of their attention - and how it becomes materialized in acts of performance, acts of making, acts of archiving, and acts of remembering. Theoretical chapters and practice-based reflections explore liveness, eventness and nowness as key concepts in a range of topics such as affect, documentation, embodiment, fandom, and temporality, showing how the relationship between audience and event is rarely singular and more often malleable and multiple. With its focus on experiencing liveness, this collection will be of interest to disciplines including performance, audience and cultural studies, visual arts, cinema, and sound technologies.

Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. Here, the author provides a well written and basic introduction to the new technique. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms. The second part explains how to write rich and structured temporal logic specifications in practice, while the third part surveys some of the major model checkers available.

The diverse essays collected here constitute an exploration of the emerging interdisciplinary field of visual culture, and examine why modern and postmodern culture place such a premium on rendering experience in visual form.

This book constitutes the refereed proceedings of the 18th International Workshop on Computer Science Logic, CSL 2004, held as the 13th Annual Conference of the EACSL in Karpacz, Poland, in September 2004. The 33 revised full papers presented together with 5 invited contributions were carefully reviewed and selected from 88 papers submitted. All current aspects of logic in computer science are addressed ranging from mathematical logic and logical foundations to methodological issues and applications of logics in various computing contexts.

This book constitutes the refereed proceedings of the 15th European Conference on Object-Oriented Programming, ECOOP 2001, held in Budapest, Hungary, in June 2001. The 18 revised full papers presented together with one invited paper were carefully reviewed and selected from 108 submissions. The book is organized in topical sections on sharing and encapsulation, type inference and static analysis, language design, implementation techniques, reflection and concurrency, and testing and design.

Bringing together an exciting group of knowledge workers, scholars and activists from across fields, this book revisits a foundational question of the Enlightenment: what is “the last or furthest end of knowledge”? It is a book about why we do what we do, and how we might know when we are done. In the reorganization of knowledge that characterized the Enlightenment, disciplines were conceived as having particular “ends,” both in terms of purposes and end-points. As we experience an ongoing shift to the knowledge economy of the Information Age, this collection asks whether we still conceptualize knowledge in this way. Does an individual discipline have both an inherent purpose and a natural endpoint? What do an experiment on a fruit fly, a reading of a poem, and the writing of a line of code have in common? Focusing on areas as diverse as AI; biology; Black studies; literary studies; physics; political activism; and the concept of disciplinarity itself, contributors uncover a life after disciplinarity for subjects that face immediate threats to the structure if not the substance of their contributions. These essays – whether reflective, historical, eulogistic, or polemical – chart a vital and necessary course towards the reorganization of knowledge production as a whole.