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 19^{th} June to 21^{st} June 2018. Tutorials, the co-located workshop, and the graduate syposium will take place on 18^{th} June and 22^{nd} 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

**Axel Barceló**

*Mathematical Pictures***Christophe Eckes and Valeria Giardino**

*The Classificatory Function of Diagrams: Two Examples from Mathematics***José Martín Castro-Manzano**

*Syllogistic with Jigsaw Puzzle Diagrams***Bryan Matlen, Lindsey Richland, Ellen Klostermann Wallace and Emily Lyons**

*Impact and Prevalence of Diagrammatic Supports in Mathematics Classrooms***Ryo Takemura**

*Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams***Ahti-Veikko Pietarinen and Daniele Chiffi**

*Assertive and Existential Graphs: A Comparison***Minghui Ma and Ahti-Veikko Pietarinen**

*A Weakening of Existential Graphs: Quasi-Boolean Algebras***Martin Erwig and Karl Smeltzer**

*Variational Pictures***William Bechtel, Adele Abrahamsen and Benjamin Sheredos**

*Using Diagrams to Reason about Biological Mechanisms***Guenther Schreder, Nicole Hynek, Florian Windhager and Eva Mayr**

*Rediscovering Isotype from a Cognitive Perspective***Amy Fox and James Hollan**

*Read It This Way: Scaffolding Comprehension for Unconventional Statistical Graphs***Peter Lloyd, Peter Rodgers and Maxwell Roberts**

*Metro Map Colour-Coding: The Effect on Usability in Route Tracing***Atsushi Shimojima and Dave Barker-Plummer**

*Operations on Single Feature Indicator System***Mikkel Willum Johansen, Morten Misfeldt and Josefine Lomholt Pallavicini**

*A Typology of Mathematical Diagrams***Dave Beisecker**

*Peirce and Proof: A View From the Trees***Jim Burton, Lopamudra Choudhury and Mihir Chakraborty**

*A Survey and Evaluation of Diagrams for Navya-Nyaya***Lorenz Demey and Hans Smessaert**

*Aristotelian and Duality Relations Beyond the Square of Opposition***Gem Stapleton, Amirouche Moktefi, John Howse and Jim Burton**

*Euler Diagrams Through the Looking Glass: From Extent to Intent***Gem Stapleton, Atsushi Shimojima and Mateja Jamnik**

*The Observational Advantages of Euler Diagrams with Existential Import***Zohreh Shams, Yuri Sato, Mateja Jamnik and Gem Stapleton**

*Accessible Reasoning with Diagrams: from Cognition to Automation***Jessica Hullman and Benjamin Bach**

*Picturing Science: Design Patterns in Graphical Abstracts***Andrew Fish, Alexei Lisitsa and Alexei Vernitski**

*Visual Algebraic Proofs for Unknot Detection***Timm Lampert**

*Iconic Logic and Ideal Diagrams: The Wittgensteinian Approach***Almas Baimagambetov, John Howse, Gem Stapleton and Aidan Delaney**

*Generating Effective Euler Diagrams***Richard Lowe, Jean-Michel Boucheix Boucheix and Marilyne Menant**

*Perceptual Processing and the Comprehension of Relational Information in Dynamic Diagrams***Accepted Abstracts with Long Talks**

** Pictures, Proofs and Mathematical Structure** Janet Folina

**C**Elizabeth Newton and Maxwell Roberts

*oncentric Circles Maps: Data and Implications***Jessica Carter**

*The Role of Diagrams in Contemporary Mathematics: Tools for Discovery?***Hiroaki Ayabe and Emmanuel Manalo**

*Can Spontaneous Diagram Use be Promoted in Math Word Problem Solving?***Jennifer Cromley**

*Strategic and Inferential Processing in Text, Diagrams, and Text+Diagram Representations***Fabien Ferri**

*Unveiling Darwin’s Theory of Evolution through the Epistemological Study of his Diagram***Daniel Burnston**

*Abstraction in Diagrams and Explanation***Josephine Relaford-Doyle and Rafael Nunez**

*Can a Picture Prove a Theorem? Using Empirical Methods to Investigate Diagrammatic Proofs in Mathematics***Jennifer Cromley, Nora Newcombe and Julie Booth**

*Drawing to Learn: Who Benefits?***Bryan Matlen, Dedre Gentner and Steve Franconeri**

*Spatially Aligning Diagrams Facilitates Visual Comparison***Leonidas Doumas, Lindsey Richland and Robert Morrison**

*Cognitive Control as an Underpinning of Relational Reasoning from Diagrams***James McElvenny**

*Otto Neurath’s Isotype and C. K. Ogden’s Basic English***Moreno Andreatta, Carlos Agon, Alexandre Popoff and Andrée Ehresmann**

*Diagrammatic Approaches in Computational Musicology: Some Theoretical and Philosophical Aspects***Silvia De Toffoli**

*Fruitful Over-Determination in Knot Diagrams***Catherine Legg**

*The Epistemology of Mathematical Necessity***Emily Grosholz**

*The Central Role of Diagrams in Algebraic Topology***Accepted Short Papers**

** ‘Diagrams’: A Hybrid Visual Information Representation and Reasoning Paradigm Towards Video Analysis **Chayanika Deka Nath and Shyamanta M. Hazarika

**Sumanta S. Sharma**

*Depicting the redundancy of fourth figure using Venn-Peirce framework***Francesco Bellucci**

*Observational Advantages: A Philosophical Discussion***Jennifer Cromley and Kyle Mara**

*Comparing and Contrasting within Diagrams: An Effective Study Strategy***David Waszek**

*Rigor and the Context-Dependence of Diagrams: The Case of Euler Diagrams***Shigeyuki Atarashi**

*On the Transformation Rules of Erasure and Insertion in the Beta Part of Peirce’s Existential Graphs***Javier Legris**

*Existential Graphs as a Basis for Structural Reasoning***Leonie Bosveld-De Smet and Anne-Roos Bakker**

*Visualizing Conversational Structure: Effects of Conversation-Analytical Knowledge and Social Media Experience***Takeshi Sugio**

*The Role of Top-Down Knowledge in Spatial Cueing Using Hierarchical Diagrams***Takashi Sasaki**

*Multiple Readings of Existential Graphs***Ibrahim Venkat, Thamburaj Robinson, Kg Subramanian and Philippe De Wilde**

*Generation of Floor-designs based on Contextual Array P Systems***Sven Linker**

*Sequent Calculus for Euler Diagrams***Dean McHugh**

*Diagrammatic Definitions of Causal Claims***Hans Smessaert and Lorenz Demey**

*Towards a Typology of Diagrams in Linguistics***Sheila Veloso, Paulo Veloso, Mario Benevides and Isaque Lima**

*On Diagrams and General Model-Checkers**Ana Šemrov, Advait Sarkar and Alan Blackwell*

**Visualising Latent Semantic Spaces for Sense-Making of Natural Language**Text**Christoph Daniel Schulze, Nis Wechselberg and Reinhard Von Hanxleden**

*Edge Label Placement in Layered Graph Drawing***Simone Kriglstein, Margit Pohl and Johanna Doppler Haider**

*How Users Transform Node-Link Diagrams to Matrices and Vice Versa***Duo Wang, Mateja Jamnik and Pietro Lio**

*Investigating Diagrammatic Reasoning with Deep Neural Networks***What sort of information-processing machinery could ancient geometers have used?**Aaron Sloman

**Benjamin B. Allsopp**

*Arcform***Peter Lloyd**

*Diagrammatic Maps of the New York City Subway: An Historical Perspective***Aidan Delaney and Shan Chen**

*Diagramatically Formalising Constraints of a Privacy Ontology***Matthew Wood and Susan Stocklmayer**

*Exploring the Relationship Between Visual Context and Affect in Diagram Interpretation***Michal Sochanski**

*Interpreting Diagrammatic Reasoning in Mathematics – Between Empiricism and Realism***Peter Coppin and Richard Windeyer**

*Sonifying Napoleon’s March by identifying Sonic Correlates of the Graphic-Linguistic Distinction***Yuri Engelhardt and Clive Richards**

*A Framework for Analysing and Designing Diagrams and Graphics***Helen Purchase, Katherine Isaacs, Thomas Bueti, Ben Hastings, Aadam Kassam, Allen Kim and Steffan van Hoesen**

*A Classification of Infographics***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