ED@Diagrams 2012: Canterbury, UK

Keynote

Logic and Reasoning

Abstractions, Aesthetics, and Constructions

Application

a service of Schloss Dagstuhl - Leibniz Center for Informatics