Gamification has been widely accepted in the HCI community in the last few years. However, the current debate is focused on its short-term consequences, such as effectiveness and usefulness, while its side-effects, long-term criticalities and systemic impacts are rarely raised. This workshop explores the gamification design space from a critical perspective, by using design fictions to help res...

Abstract We argue that some fictional truths are fictionally true by default. also these subject to being undermined. propose the context within which we evaluate what is changes when a possibility was previously ignorable brought attention. cases support model of truth makes conversational dynamics determining in fiction structurally akin knowledge-ascription, as this understood David Lewis’s ...

Architectonic embodiment postulates a bidirectional link between bodily awareness and the architectural environment. The standard size and features of the human body, for instance, are thought to influence the structure of interiors and buildings, as well as their perception and appreciation. Whereas architectural practice and theory, the visual arts and more recently the cognitive sciences hav...

Separation logic formalizes the idea of local reasoning for heap-manipulating programs via the frame rule and the separating conjunction P ∗ Q, which describes states that can be split into separate parts, with one satisfying P and the other satisfying Q. In standard separation logic, separation means physical separation. In this paper, we introduce fictional separation logic, which includes mo...