Please find the tentative program for Diagrams 2022 below. At the moment, it is still possibly subject to change.
All sessions (except for the joint sessions with VL/HCC and the Welcome Reception) will take place at the Department for Computer Engineering of Sapienza University.
| 13/09/2022 | Tuesday | |
| Tutorials (see detailed tutorial page for abstracts) Room: Aula Magna | Workshop: Diagrams of Life and Evolution (see detailed workshop program for abstracts) Room: B203 (talks will be given online, with possible participation locally) | |
| 9:00 – 10:30 | Daniel Raggi and Aaron Stockdill: Representational Systems Theory: What, Why and How | Session I: Theory & Contextualization 8:30-10:30 Nathalie Gontier – Welcome and Introduction to Diagram of Life and Evolution Paloma López Grüninger – Between the Lines: The Visual Language of Evolutionary Diagrams and its Consequences for Interpretation Raphaël Sandoz – Mapping Science with Diagrams: From Trees to Networks Marilyn Mitchell – Motivations Underlying the Representation of Time in Family and Evolutionary Tree Diagrams |
| 10:30 – 11:00 | Coffee | Coffee |
| 11:00 – 12:30 | Marcos Bautista López Aznar: Marlo diagrams: design and manipulation | Session II: Timelines, Pre- and Post-Evolutionary Trees 11:00-13:00 Graham Shields – The Geological Timescale Petter Hellström – Form, Not Function: A Revisionist History of Early Systematic Trees Erica Torrens & Ana Barahona – Darwin’s trees: Metaphors of Biological Order Bárbara Jiménez Pazos – In Search for Darwin’s Conception of Time in The Origin of Species: A semantic Journey Through Diagrams, Trees, Scales, and Cycles |
| 12:30 – 14:00 | Lunch | Lunch |
| 14:00 – 15:30 | Wolfgang Gatterbauer: Interpreting and understanding relational database queries using diagrams | Session III: Impact of Ordering Systems 14:00 – 16:00 Murray Leaf – What Kinship Terminologies Are and How We Know It Sander Gliboff – Diagrams in Historical Context: The Changing Meaning of Ernst Haeckel’s Human Family Tree Kees van Putten – The Decline and Fall of Spatiality in Images of the Order of Nature: Multi-Dimensional Images of the Natural System in the First Half of the 20th Century Douglas E. Soltis – The Tree of Life Concept through Human History |
| 15:30 – 16:00 | Coffee | Coffee |
| 16:00 – 17:30 | Jean-Yves Beziau: Square of Opposition: Theory and Applications | Session IV: Networks, Webs, and Cycles 16:30 – 18:00 Pamela S. Soltis – Networks As Models of Evolutionary History Christos Ouzounis – Bioinformatics, Networks, and LGT Frank N. Egerton – Ecology’s Atypical Diagrams |
| 18:00 | – | Session V: Discussion |
| After 18:00 Welcome Reception at Auditorium Antonianum |
| 14/09/2022 | Wednesday |
| 9:00 – 10:30 | Keynote: Gem Stapleton Chair: Sven Linker The Power of Diagrams: Observation, Inference and Overspecificity (joint with VL/HCC at the Auditorium Antonianum) |
| 10:30 – 11:00 | Coffee at VL/HCC |
| 11:00 – 12:30 | Session: Joint Session with VL/HCC (at the Auditorium Antonianum) Chair for the VL/HCC papers: Mark Minas Chair for the Diagrams papers: Atsushi Shimojima Marcelo Almeida, Grant Cole, Ke Du, Gongming Luo, Shulin Pan, Yu Pan, Kai Qiu, Vishnu Reddy, Haochen Zhang, Yingying Zhu and Cyrus Omar RustViz: Interactively Visualizing Ownership and Borrowing (VL/HCC long paper) Aaron Stockdill, Gem Stapleton, Daniel Raggi, Mateja Jamnik, Grecia Garcia Garcia and Peter Cheng Examining Experts’ Recommendations of Representational Systems for Problem Solving (VL/HCC short paper) Peter Cheng, Aaron Stockdill, Grecia Garcia Garcia, Daniel Raggi and Mateja Jamnik Representational Interpretive Structure: Theory and Notation (Diagrams long paper) David Barter and Peter Coppin A Diagram Must Never be Ten Thousand Words: Text-Based (Sentential) Approaches to Diagrams Accessibility Limit Users’ Potential for Normative Agency (Diagrams short paper) |
| 12:30 – 14:00 | Lunch |
| 14:00 – 15:30 | Session 1 : Theoretical Perspectives (I) Chair: Mateja Jamnik Room: Aula Magna Alexander Dobler and Martin Nöllenburg: On Computing Optimal Linear Diagrams Simon Weisgerber: Visual Proofs as Counterexamples to the “Standard View” of Informal Mathematical Proofs? Aayu Pandey: Three Solutions to the Liar Paradox |
| 15:30 – 16:00 | Coffee |
| 16:00 – 17:30 | Session 2: Cognition and Diagrams (I) Chair: Peter Cheng Room: Aula Magna Dimitra Bourou, Marco Schorlemmer and Enric Plaza: Euler vs Hasse Diagrams for Reasoning About Sets: A Cognitive Approach Guy Marshall, Caroline Jay and Andre Freitas: Why scholars are diagramming neural network models Hans Smessaert and Lorenz Demey: Aspect Shifting in Aristotelian Diagrams Henrik Kragh Sørensen and Mikkel Willum Johansen: The epistemic roles of diagrams in short proofs |
| 15/09/2022 | Thursday |
| 9:00 – 10:15 | Session 3: Logical Diagrams (I) Chair: Jens Lemanski Room: Aula Magna Stef Frijters Generalizing Aristotelian Relations and Diagrams Michał Sochański Representing Formulas of Propositional Logic by Cographs, Permutations and Tables Dave Beisecker and Amirouche Moktefi John Cook Wilson’s hanging plants: A contribution to the history of early logic trees Reetu Bhattacharjee and Amirouche Moktefi Peirce’s complex diagrams (afterwards: Poster madness) |
| 10:30 – 11:00 | Coffee |
| 11:00 – 12:30 | Session 4: Diagrams and Applications Chair: Hans Smessaert Room: Aula Magna Richard Lowe and Jean-Michel Boucheix Ancillary diagrams: A substitute for text in multimedia resources? Erica de Vries Diagrams for learning to lead in salsa dancing Emmanuel Manalo and Laura Ohmes The Use of Diagrams in Planning for Report Writing |
| 12:30 – 14:00 | Lunch |
| 14:00 – 15:30 | Session 5: History of Diagrams Chair: Amirouche Moktefi Room: Aula Magna Reetu Bhattacharjee and Jens Lemanski Combing Graphs and Eulerian Diagrams in Eristic Daniel Muzzulini Taming the irrational through musical diagrams – from Boethius to Oresme and Nemorarius Lorenz Demey and Hans Smessaert A Database of Aristotelian Diagrams: Empirical Foundations for Logical Geometry Francesca Ferrara and Giulia Ferrari Origami and the emergence of hybrid diagrams Theodor Berwe On Lambert quadrilateral and why they cannot be diagrams (according to Lambert) |
| 15:45 – late | Social Program: Tour through Rome and Conference Dinner (details can be found here) |
| 16/09/2022 | Friday |
| 9:00 – 10:30 | Keynote: Sun-Joo Shin Chair: Valeria Giardino Room: Aula Magna Visual Representation and Abductive Reasoning |
| 10:30 – 11:00 | Coffee |
| 11:00 – 12:00 | Session 6: Logical Diagrams (II) Chair: Mikkel Willum Johansen Room: Aula Magna Lorenz Demey and Hans Smessaert From Euler Diagrams to Aristotelian Diagrams Pedro Falcão Visualizing polymophisms and counter-polymorphisms in propositional S5 |
| 12:00 – 12:45 | Diagrams Assembly |
| 12:45 – 14:00 | Lunch |
| 14:00 – 15:30 | Session 7: Cognition and Diagrams (II) Chair: Erica De Vries Room: Aula Magna Sean McGrath, Andrew Blake, Gem Stapleton, Anestis Touloumis, Peter Chapman, Mateja Jamnik and Zohreh Shams Evaluating Colour in Concept Diagrams Dirk Schlimm Tables as powerful representational tools Atsushi Shimojima and Dave Barker-Plummer A Formal Model of Aspect Shifting: The Case of Dot Diagrams Axel Barceló How to visually represent structure |
| 15:30 – 16:00 | Coffee |
| 16:00 – 17:30 | Session 8: Theoretical Perspectives (II) Chair: Aaron Stockdill Room: Aula Magna Tuomo Hiippala and John Bateman Introducing the diagrammatic semiotic mode José Martín Castro-Manzano Mixing colors, mixing logics Matteo Pascucci and Claudio E. A. Pizzi Normatively determined propositions Greta Coraglia and Ivan Di Liberti The diagrammatic calculus of a 2-category |
| 17/09/2022 | Saturday Room: Aula Magna |
| 9:00 – 10:30 | Inspirational ERC talk: Lorenz Demey From Aristotelian Diagrams to Logical Geometry |
| 10:30 – 11:00 | Coffee |
| 11:00 – 12:30 | Graduate Symposium Chair: Reetu Bhattacharjee Guy Clarke Marshall An Investigation into the Scholarly Usage of Neural Network Systems Diagrams Sofia E. Walters Understanding Diagrammatic Reasoning through Predictive Processing Claudia Anger Euler-type Diagrams and Syllogistics A Discussion of Modern Notations, Solution Strategies and Potentials |