Accepted Submissions

The program is now available. The list of accepted submissions given here is subject to change.

Accepted papers, abstacts and posters will be presented as part of the main technical program which will occupy 19th June to 21st June 2018. Tutorials, the co-located workshop, and the graduate syposium will take place on 18th June and 22nd June (subject to confirmation).

Accepted Long Papers

The Effect of Graphical Format and Instruction on the Interpretation of Three-Variable Bar and Line Graphs Nadia Ali and David Peebles
Mathematical Pictures Axel Barceló
The Classificatory Function of Diagrams: Two Examples from Mathematics Christophe Eckes and Valeria Giardino
Syllogistic with Jigsaw Puzzle Diagrams José Martín Castro-Manzano
Impact and Prevalence of Diagrammatic Supports in Mathematics Classrooms Bryan Matlen, Lindsey Richland, Ellen Klostermann Wallace and Emily Lyons
Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams Ryo Takemura
Assertive and Existential Graphs: A Comparison Ahti-Veikko Pietarinen and Daniele Chiffi
A Weakening of Existential Graphs: Quasi-Boolean Algebras Minghui Ma and Ahti-Veikko Pietarinen
Variational Pictures Martin Erwig and Karl Smeltzer
Using Diagrams to Reason about Biological Mechanisms William Bechtel, Adele Abrahamsen and Benjamin Sheredos
Rediscovering Isotype from a Cognitive Perspective Guenther Schreder, Nicole Hynek, Florian Windhager and Eva Mayr
Read It This Way: Scaffolding Comprehension for Unconventional Statistical Graphs Amy Fox and James Hollan
Metro Map Colour-Coding: The Effect on Usability in Route Tracing Peter Lloyd, Peter Rodgers and Maxwell Roberts
Operations on Single Feature Indicator System Atsushi Shimojima and Dave Barker-Plummer
A Typology of Mathematical Diagrams Mikkel Willum Johansen, Morten Misfeldt and Josefine Lomholt Pallavicini
Peirce and Proof: A View From the Trees Dave Beisecker
A Survey and Evaluation of Diagrams for Navya-Nyaya Jim Burton, Lopamudra Choudhury and Mihir Chakraborty
Aristotelian and Duality Relations Beyond the Square of Opposition Lorenz Demey and Hans Smessaert
Euler Diagrams Through the Looking Glass: From Extent to Intent Gem Stapleton, Amirouche Moktefi, John Howse and Jim Burton
The Observational Advantages of Euler Diagrams with Existential Import Gem Stapleton, Atsushi Shimojima and Mateja Jamnik
Accessible Reasoning with Diagrams: from Cognition to Automation Zohreh Shams, Yuri Sato, Mateja Jamnik and Gem Stapleton
Picturing Science: Design Patterns in Graphical Abstracts Jessica Hullman and Benjamin Bach
Visual Algebraic Proofs for Unknot Detection Andrew Fish, Alexei Lisitsa and Alexei Vernitski
Iconic Logic and Ideal Diagrams: The Wittgensteinian Approach Timm Lampert
Generating Effective Euler Diagrams Almas Baimagambetov, John Howse, Gem Stapleton and Aidan Delaney
Perceptual Processing and the Comprehension of Relational Information in Dynamic Diagrams Richard Lowe, Jean-Michel Boucheix Boucheix and Marilyne Menant

Accepted Abstracts with Long Talks

Pictures, Proofs and Mathematical Structure Janet Folina
Concentric Circles Maps: Data and Implications Elizabeth Newton and Maxwell Roberts
The Role of Diagrams in Contemporary Mathematics: Tools for Discovery? Jessica Carter
Can Spontaneous Diagram Use be Promoted in Math Word Problem Solving? Hiroaki Ayabe and Emmanuel Manalo
Strategic and Inferential Processing in Text, Diagrams, and Text+Diagram Representations Jennifer Cromley
Unveiling Darwin’s Theory of Evolution through the Epistemological Study of his Diagram Fabien Ferri
Abstraction in Diagrams and Explanation Daniel Burnston
Can a Picture Prove a Theorem? Using Empirical Methods to Investigate Diagrammatic Proofs in Mathematics Josephine Relaford-Doyle and Rafael Nunez
Drawing to Learn: Who Benefits? Jennifer Cromley, Nora Newcombe and Julie Booth
Spatially Aligning Diagrams Facilitates Visual Comparison Bryan Matlen, Dedre Gentner and Steve Franconeri
Cognitive Control as an Underpinning of Relational Reasoning from Diagrams Leonidas Doumas, Lindsey Richland and Robert Morrison
Otto Neurath’s Isotype and C. K. Ogden’s Basic English James McElvenny
Diagrammatic Approaches in Computational Musicology: Some Theoretical and Philosophical Aspects Moreno Andreatta, Carlos Agon, Alexandre Popoff and Andrée Ehresmann
Fruitful Over-Determination in Knot Diagrams Silvia De Toffoli
The Epistemology of Mathematical Necessity Catherine Legg
The Central Role of Diagrams in Algebraic Topology Emily Grosholz

Accepted Short Papers

‘Diagrams’: A Hybrid Visual Information Representation and Reasoning Paradigm Towards Video Analysis Chayanika Deka Nath and Shyamanta M. Hazarika
Depicting the redundancy of fourth figure using Venn-Peirce framework Sumanta S. Sharma
Observational Advantages: A Philosophical Discussion Francesco Bellucci
Comparing and Contrasting within Diagrams: An Effective Study Strategy Jennifer Cromley and Kyle Mara
Rigor and the Context-Dependence of Diagrams: The Case of Euler Diagrams David Waszek
On the Transformation Rules of Erasure and Insertion in the Beta Part of Peirce’s Existential Graphs Shigeyuki Atarashi
Existential Graphs as a Basis for Structural Reasoning Javier Legris
Visualizing Conversational Structure: Effects of Conversation-Analytical Knowledge and Social Media Experience Leonie Bosveld-De Smet and Anne-Roos Bakker
The Role of Top-Down Knowledge in Spatial Cueing Using Hierarchical Diagrams Takeshi Sugio
Multiple Readings of Existential Graphs Takashi Sasaki
Generation of Floor-designs based on Contextual Array P Systems Ibrahim Venkat, Thamburaj Robinson, Kg Subramanian and Philippe De Wilde
Sequent Calculus for Euler Diagrams Sven Linker
Diagrammatic Definitions of Causal Claims Dean McHugh
Towards a Typology of Diagrams in Linguistics Hans Smessaert and Lorenz Demey
On Diagrams and General Model-Checkers Sheila Veloso, Paulo Veloso, Mario Benevides and Isaque Lima
Visualising Latent Semantic Spaces for Sense-Making of Natural Language Text Ana Šemrov, Advait Sarkar and Alan Blackwell
Edge Label Placement in Layered Graph Drawing Christoph Daniel Schulze, Nis Wechselberg and Reinhard Von Hanxleden
How Users Transform Node-Link Diagrams to Matrices and Vice Versa Simone Kriglstein, Margit Pohl and Johanna Doppler Haider
Investigating Diagrammatic Reasoning with Deep Neural Networks Duo Wang, Mateja Jamnik and Pietro Lio
What sort of information-processing machinery could ancient geometers have used? Aaron Sloman
Arcform Benjamin B. Allsopp
Diagrammatic Maps of the New York City Subway: An Historical Perspective Peter Lloyd
Diagramatically Formalising Constraints of a Privacy Ontology Aidan Delaney and Shan Chen
Exploring the Relationship Between Visual Context and Affect in Diagram Interpretation Matthew Wood and Susan Stocklmayer
Interpreting Diagrammatic Reasoning in Mathematics – Between Empiricism and Realism Michal Sochanski
Sonifying Napoleon’s March by identifying Sonic Correlates of the Graphic-Linguistic Distinction Peter Coppin and Richard Windeyer
A Framework for Analysing and Designing Diagrams and Graphics Yuri Engelhardt and Clive Richards
A Classification of Infographics Helen Purchase, Katherine Isaacs, Thomas Bueti, Ben Hastings, Aadam Kassam, Allen Kim and Steffan van Hoesen

Accepted Abstract with Short Talk

Pickup of Causal Language and Inference During and After Reading Illustrated Text Jennifer Cromley, Shufeng Ma, Martin Van Boekel and Aygul Dane

Accepted Posters
NB: the poster sessions will also include posters from the Graduate Symposium that are not listed here.

Scanning the Invisible. Framing Diagrammatic Cognition in Experimental Particle Physics Javier Anta
Teaching Argument Diagrams to a Student who is Blind Marc Champagne
Wrapping Layered Graphs Ulf Rüegg and Reinhard Von Hanxleden
Towards Executable Representations of Social Machines Dave Murray-Rust, Alan Davoust, Petros Papapanagiotou, Max Van Kleek, Areti Manataki, Nigel Shadbolt and David Robertson
Calculus CL as Ontology Editor and Inference Engine Jens Lemanski
Moded Diagrams for Moded Syllogisms José Martín Castro-Manzano and José Roberto Pacheco-Montes
A Review of Murner’s Cards for Syllogistic Jorge Medina-Delgadillo, Juan Manuel Campos-Benítez and José Martín Castro-Manzano
How Cross-Representational Signaling Affects Learning From Texts and Pictures: An Eye-Tracking Study Juliette Désiron, Mireille Betrancourt and Erica de Vries
Transforming Design Thinking Storyboards into Diagrammatic Models Elena-Teodora Miron, Christian Muck, David Götzinger and Dimitris Karagiannis
Venn Diagram and Evaluation of Syllogisms with Negative Terms: A New Algorithm Mehdi Mirzapour and Christian Retoré
Intersemiotic Translation: Transcreation and Diagrams Leticia Vitral and João Queiroz
Towards Diagram-based Editing of Ontologies Peter Chapman and William Roberts
Effect of Handedness on Mental Rotation Gunta Krumina, Jurgis Skilters, Annija Gulbe and Vsevolod Liakhovetskii
Diagrams Including Pictograms Increase Stock-and-Flow Performance Friederike Brockhaus and Peter Sedlmeier
Euler Box Diagrams to Represent Independent and Non-Independent Events James Corter
Making Sense of Schopenhauer’s Diagram of Good and Evil Jens Lemanski and Amirouche Moktefi
Logical Reasoning with Object Diagrams in a UML and OCL Tool Khanh-Hoang Doan and Martin Gogolla
A Symmetry Metric for Graphs and Line Diagrams Roman Klapaukh, Stuart Marshall and David Pearce
Diagrams, Musical Notation, and the Semiotics of Musical Composition Vinicius de Aguiar
A Simple Decision Method for Syllogistic Frank Thomas Sautter and Gisele Dalva Secco
Wallis´s Use of Innovative diagrams Erika Rita Ortiz