This volume considers existing contexts as an opportunity to use the potential of place, as well as the creativity of inhabitants and users and the power of the social and urban fabric, to respond to needs and urgent topics. It outlines eleven actions, compelling examples from different places and design practices worldwide, which in turn are related to an array of architects, design professionals, and other specialists working in art, biology, ecology, fashion, pop culture, and philosophy. As such, it generates a broader framework of thought in order to demonstrate how makers with diverse design attitudes are responding to today?s spatial, social, environmental, and aesthetic challenges.

This book constitutes the refereed proceedings of the 8th International Workshop on Rewriting Logic and its Applications, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, in March 2010. The 13 revised full papers presented were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on termination and narrowing; tools; the K framework; applications and semantics; maude model checking and debugging; and rewrite engines.

Critiques the legacy and ongoing influence of Deleuze on the discipline and practice of architecture. This collection looks critically at how Deleuze challenges architecture as a discipline, how architecture contributes to philosophy and how we can come to understand the complex politics of space of our increasingly networked world. Since the 1980s, Deleuze's philosophy has fuelled a generation of architectural thinking, and can be seen in the design of a global range of contemporary built environments. His work has also alerted architecture to crucial ecological, political and social problems that the discipline needs to reconcile.

This Festschrift is dedicated to Jan Willem Klop on the occasion of his 60th birthday. The volume comprises a total of 23 scientific papers by close friends and colleagues, written specifically for this book. The papers are different in nature: some report on new research, others have the character of a survey, and again others are mainly expository. Every contribution has been thoroughly refereed at least twice. In many cases the first round of referee reports led to significant revision of the original paper, which was again reviewed. The articles especially focus upon the lambda calculus, term rewriting and process algebra, the fields to which Jan Willem Klop has made fundamental contributions.

In recent years, extensions of rewriting techniques that go beyond the traditional untyped algebraic rewriting framework have been investigated and developed. Among these extensions, conditional and typed systems are particularly important, as are higher-order systems, graph rewriting systems, etc. The international CTRS (Conditional and Typed Rewriting Systems) workshops are intended to offer a forum for researchers on such extensions of rewriting techniques. This volume presents the proceedings of the second CTRS workshop, which contributed to discussion and evaluation of new directions of research. (The proceedings of the first CTRS workshop are in Lecture Notes in Computer Science, Vol. 308.) Several important directions for extensions of rewriting techniques were stressed, which are reflected in the organization of the chapters in this volume: - Theory of conditional and Horn clause systems, - Infinite terms, non-terminating systems, and termination, - Extension of Knuth-Bendix completion, - Combined systems, combined languages and modularity, - Architecture, compilers and parallel computation, - Basic frameworks for typed and order-sorted systems, - Extension of unification and narrowing techniques.

In Expositions, Philippe Hamon leads us on an engaging intellectual stroll through the spaces and representations of the nineteenth-century French metropolis. Inspired by the cultural histories of Walter Benjamin and Wolfgang Schivelbusch, Expositions explores the spatial and cultural logic of Haussmann's sweeping Paris boulevards, classic novels by Balzac and Zola, the Bon March� department store, and the poetry of Baudelaire.

Essays at the intersection of philosophy and architecture explore how we understand and inhabit space. To be outside allows one a fresh perspective on the inside. In these essays, philosopher Elizabeth Grosz explores the ways in which two disciplines that are fundamentally outside each another—architecture and philosophy—can meet in a third space to interact free of their internal constraints. "Outside" also refers to those whose voices are not usually heard in architectural discourse but who inhabit its space—the destitute, the homeless, the sick, and the dying, as well as women and minorities. Grosz asks how we can understand space differently in order to structure and inhabit our living arrangements accordingly. Two themes run throughout the book: temporal flow and sexual specificity. Grosz argues that time, change, and emergence, traditionally viewed as outside the concerns of space, must become more integral to the processes of design and construction. She also argues against architecture's historical indifference to sexual specificity, asking what the existence of (at least) two sexes has to do with how we understand and experience space. Drawing on the work of such philosophers as Henri Bergson, Roger Caillois, Gilles Deleuze, Jacques Derrida, Luce Irigaray, and Jacques Lacan, Grosz raises abstract but nonformalistic questions about space, inhabitation, and building. All of the essays propose philosophical experiments to render space and building more mobile and dynamic.