| Vol-854 urn:nbn:de:0074-854-7 Copyright © 2012 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

# Euler Diagrams 2012

### Proceedings of the 3rd International Workshop on Euler Diagrams

### Canterbury, UK, July 2, 2012.

Held in conjunction with the
7th International Conference on the Theory and Application of Diagrams (Diagrams 2012)
Edited by

### Peter Chapman *
Luana Micallef +

* School of Computing, Engineering and Mathematics, University of Brighton, Brighton, UK
+ School of Computing, University of Kent, Canterbury, UK

Complete Proceedings (143 pages)

## Table of Contents

- Preface
- Organization

### Keynote

1. Developing a Visual Code-dependency Analysis Tool for the Visual Studio IDE:
   Research Meets Practice in Showing Containment in an Interactive Diagramming Tool 1
   Tim Dwyer

### Logic and Reasoning

2. Completeness Proof Strategies for Euler Diagram Logics 2-16
   Jim Burton, Gem Stapleton, John Howse
3. On the Cognitive Efficacy of Euler Diagrams in Syllogistic Reasoning: A Relational Perspective 17-31
   Yuri Sato, Koji Mineshima, Ryo Takemura, Mitsuhiro Okada
4. Visualizing Syllogisms: Category Pattern Diagrams versus Venn Diagrams 32-46
   Peter C.-H. Cheng
5. Understanding and Predicting the Affordances of Visual Logics 47-61
   Jim Burton, Peter Coppin

### Abstractions, Aesthetics, and Constructions

6. The Online Abstraction Problem for Euler Diagrams 62-76
   Gennaro Cordasco, Rosario De Chiara, Andrew Fish
7. Aesthetic and Practical Concerns in the Drawing of Euler and Venn Diagrams: Case Studies using SVG 77-91
   David Dailey
8. Introducing 3D Venn and Euler Diagrams 92-106
   Peter Rodgers, Jean Flower, Gem Stapleton

### Application

9. FunEuler: an Euler Diagram based Interface Enhanced with Region-based Functionalities 107-121
   Gennaro Cordasco, Rosario De Chiara, Andrew Fish, Vittorio Scarano
10. Multi-Attribute Glyphs on Venn Diagrams to Represent Quantities and Aid Visual Decoding 122-129
    Richard Brath

17-Jun-2012: submitted by Peter Chapman, Luana Micallef
18-Jun-2012: published on CEUR-WS.org