1. Diagrams 2000: Edinburgh, Scotland, UK

@proceedings{DBLP:conf/diagrams/2000,
  editor    = {Michael Anderson and
               Peter Cheng and
               Volker Haarslev},
  title     = {Theory and Application of Diagrams, First International Conference,
               Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000,
               Proceedings},
  booktitle = {Diagrams},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1889},
  year      = {2000},
  isbn      = {3-540-67915-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talks

• Alan M. MacEachren:
  Representations to Mediate Geospatial Collaborative Reasoning: A Cognitive-Semiotic Perspective. 1
  
• Keith Stenning:
  Jon Barwise: A Heterogeneous Appreciation. 2
  

Tutorial 1 - Formal Approaches to Diagrams

• Kim Marriott:
  Formal Approaches to Visual Language Specification and Understanding. 3
  

Tutorial 2 - Cognitive Approach to Diagrams

• David C. Gooding:
  Cognitive History of Science: The Roles of Diagrammatic Representations in Discovery and Modeling Discovery. 4
  
• Hermina Schijf:
  Cognitive (Production System) Modelling of How an Expert Uses a Cartesian Graph. 5
  
• Jiajie Zhang:
  The Coordination of External Representations and Internal Mental Representations in Display-Based Cognitive Tasks. 6
  

Logic and Diagrams

• Joseph Gil, John Howse, Elena Tulchinsky:
  Positive Semantics of Projections in Venn-Euler Diagrams. 7-25
  
• John Howse, Fernando Molina, John Taylor:
  On the Completeness and Expressiveness of Spider Diagram Systems. 26-41
  
• Kim Marriott, Bernd Meyer:
  Non-standard Logics for Diagram Interpretation. 42-57
  
• Sun-Joo Shin:
  Reviving the Iconicity of Beta Graphs. 58-73
  
• Ana von Klopp Lemon, Oliver Lemon:
  Constraint Matching for Diagram Design: Qualitative Visual Languages. 74-88
  
• Frank Drewes, Renate Klempien-Hinrichs:
  Picking Knots from Trees - The Syntactic Structure of Celtic Knotwork. 89-104
  

Theoretical Concerns about Diagrams

• Jesse Norman:
  Differentiating Diagrams: A New Approach. 105-116
  
• Patrick Scotto di Luzio:
  Logical Systems and Formality. 117-131
  
• Keith Stenning:
  Distinctions with Differences: Comparing Criteria for Distinguishing Diagrammatic from Sentential Systems. 132-148
  

Cognition and Diagrams

• Aidan Feeney, Ala K. W. Hola, Simon P. Liversedge, John M. Findlay, Robert Metcalf:
  How People Extract Information from Graphs: Evidence from a Sentence-Graph Verification Paradigm. 149-161
  
• Alan F. Blackwell, Anthony R. Jansen, Kim Marriott:
  Restricted Focus Viewer: A Tool for Tracking Visual Attention. 162-177
  
• N. Hari Narayanan, Mary Hegarty:
  Communicating Dynamic Behaviors: Are Interactive Multimedia Presentations Better than Static Mixed-Mode Presentations? 178-193
  
• Mary Hegarty:
  Capacity Limits in Diagrammatic Reasoning. 194-206
  

Human Communication with Diagrams

• Stuart Clink, Julian Newman:
  Recording the Future: Some Diagrammatic Aspects of Time Management. 207-220
  
• Barbara Tversky, Jeff Zacks, Paul U. Lee, Julie Heiser:
  Lines, Blobs, Crosses and Arrows: Diagrammatic Communication with Schematic Figures. 221-230
  
• Sara Jones, Michael Scaife:
  Animated Diagrams: An Investigation into the Cognitive Effects of Using Animation to Illustrate Dynamic Processes. 231-244
  
• Patrick G. T. Healey, Rosemarie McCabe, Yasuhiro Katagiri:
  A Comparison of Graphics and Speech in a Task-Oriented Interactio. 245-256
  
• Mark J. Clayton:
  Diagrammatic Aesthetics: Modernism and Architecture. 257-270
  

Diagrammatic Reasoning/Proof Systems

• Hajime Sawamura, Kensuke Kiyozuka:
  JVenn: A Visual Reasoning System with Diagrams and Sentences. 271-285
  
• Daniel Winterstein, Alan Bundy, Mateja Jamnik:
  A Proposal for Automating Diagrammatic Reasoning in Continuous Domains. 286-299
  
• Robert K. Lindsay:
  Playing with Diagrams. 300-313
  
• George W. Furnas, Yan Qu, Sanjeev Shrivastava, Gregory Peters:
  The Use of Intermediat Graphical Constructions in Problem Solving with Dynamic, Pixel-Level Diagrams. 314-329
  

Diagrams for Systems, Systems for Diagrams

• Dorothea Blostein, Edward Lank, Richard Zanibbi:
  Treatment of Diagrams in Document Image Analysis. 330-344
  
• Zinovy Diskin, Boris Kadish, Frank Piessens, Michael Johnson:
  Universal Arrow Foundations for Visual Modeling. 345-360
  
• Alexander Felfernig, Markus Zanker:
  Diagrammatic Acquisition of Functional Knowledge for Product Configuration Systems with the Unified Modeling Language. 361-375
  
• Carol Britton, Sara Jones, Maria Kutar, Martin Loomes, Brian Robinson:
  Evaluating the Intelligibility of Diagrammatic Languages Used in the Specification of Software. 376-391
  
• Joe Thurbon:
  Executing Diagram Sequences. 392-406
  
• Ian Ferguson, Andrew Hunter, Colin J. Hardy:
  MetaBuilder: The Diagrammer's Diagrammer. 407-421
  
• Stefan Gruner, Murat Kurt:
  Diagrammatic Control of Diagrammatic Structure Generation. 422-436
  
• Shingo Takada, Yasuhiro Yamamoto, Kumiyo Nakakoji:
  Two-Dimensional Positioning as Visual Thinking. 437-452
  
• Erkki Mäkinen, Harri Siirtola:
  Reordering the Reorderable Matrix as an Algorithmic Problem. 453-467
  

Posters

• Francisco C. Pereira, Amílcar Cardoso:
  Clouds: A Module for Automatic Learning of Concept Maps. 468-470
  
• Zenon Kulpa:
  A Diagrammatic Notation for Interval Algebra. 471-474
  
• Richard Lowe:
  Animation of Diagrams: An Aid to Learning? 475-478
  
• John H. Connolly:
  Diagrams as Components of Multimedia Discourse: A Semiotic Approach. 479-482
  
• Corin A. Gurr, Konstantinos Tourlas:
  Formalising the Essence of Diagrammatic Syntax. 483-485
  
• Alexander Klippel, Lars Kulik:
  Using Grids in Maps. 486-489
  
• Nathaniel Miller:
  Case Analysis in Euclidean Geometry: An Overview. 490-493
  
• Yan Ping Zhou, Chew Lim Tan:
  Bar Charts Recognition Using Hough Based Syntactic Segmentation. 494-497
  
• Helen C. Purchase, David A. Carrington, Jo-Anne Allder:
  Experimenting with Aesthetics-Based Graph Layout. 498-501