[CEUR Workshop Proceedings] Vol-854

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 logo] 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


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

  2. Logic and Reasoning

  3. Completeness Proof Strategies for Euler Diagram Logics 2-16
    Jim Burton, Gem Stapleton, John Howse

  4. On the Cognitive Efficacy of Euler Diagrams in Syllogistic Reasoning: A Relational Perspective 17-31
    Yuri Sato, Koji Mineshima, Ryo Takemura, Mitsuhiro Okada

  5. Visualizing Syllogisms: Category Pattern Diagrams versus Venn Diagrams 32-46
    Peter C.-H. Cheng

  6. Understanding and Predicting the Affordances of Visual Logics 47-61
    Jim Burton, Peter Coppin

  7. Abstractions, Aesthetics, and Constructions

  8. The Online Abstraction Problem for Euler Diagrams 62-76
    Gennaro Cordasco, Rosario De Chiara, Andrew Fish

  9. Aesthetic and Practical Concerns in the Drawing of Euler and Venn Diagrams: Case Studies using SVG 77-91
    David Dailey

  10. Introducing 3D Venn and Euler Diagrams 92-106
    Peter Rodgers, Jean Flower, Gem Stapleton

  11. Application

  12. FunEuler: an Euler Diagram based Interface Enhanced with Region-based Functionalities 107-121
    Gennaro Cordasco, Rosario De Chiara, Andrew Fish, Vittorio Scarano

  13. 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