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.

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.

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.