SPEAKER: Joseph Goguen
UC San Diego (CSE)
We lack scientific theories that can support the design of graphical user interfaces, let alone more exotic possibilities. Semiotics would seem a natural choice, but it (1) lacks mathematical precision, (2) considers single signs (e.g. a novel or a film), not systems of related signs, and (3) doesn't address interaction, or (4) social issues, such as arise in collaboration. Algebraic semiotics defines sign systems and representations, and provides notion of representation quality and a calculus of representation. We will discuss case studies on scientific visualization, browsable proof displays, natural language metaphor, blending, and humor.