Diagrams 2000

Diagrams 2000 Programme

Schedule Overview






Invited Talk

Special Session

Paper Session 5

3 papers



Posters (cntd)



Tutorial 1

Tutorial 2

Paper Session 6

4 papers






Paper Session 1

4 papers

Paper Session 3

4 papers

Paper Session 7

4 papers






Paper Session 2

4 papers

Paper Session 4

4 papers

Paper Session 8

4 papers

Diagrams Walk

Conference Dinner

Close 17:20-17:30

Technical paper presentations are 20 minutes + 5 minutes for questions
Diagrams 2001 planning meeting over lunch on Sunday (Diagrams 2000 PC members)

Day 1: Friday 1 September

Registration from 8:00

9:00 - 9:10 Open

Welcome from the Programme Chairs of Diagrams 2000

9:10 - 10:20 Invited Paper

Alan M. MacEachren, Penn State University
Representations to mediate geospatial collaborative reasoning: A cognitive-semiotic perspective

10:20 - 10:50 Break

10:50-12:10 Tutorial 1 - Formal Approaches to Diagrams

Kim Marriott, Monash University
Formal Approaches to Visual Language Specification and Understanding

12:10-13:30 Lunch

13:30-15:10 Paper Session 1

Positive Semantics of Projections in Venn-Euler Diagrams

J. Gil, J. Howse & E. Tulchinsky

Logic and diagrams

On the Completeness and Expressiveness of Spider Diagram Systems

J. Howse, F. Molina & J Taylor

Non-standard Logics for Diagram Interpretation

K. Marriott & B. Meyer

Reviving the iconicity of Beta graphs

S.-J. Shin

15:10-15:40 Break

15:40-17:20 Paper Session 2

Constraint matching for diagram design: Qualitative visual languages

A. von Klopp Lemon & O. von Klopp Lemon

Picking Knots from Trees - The Syntactic Structure of Celtic Knotwork

F. Drewes & R. Klempien-Hinrichs


Differentiating Diagrams: A New Approach

J. Norman

Theoretical concerns about diagrams

Logical Systems and Formality

P. Scotto di Luzio

17:40 Social Event

Stroll around Arthur's Seat

Day 2: Saturday 2 September

9:00-9:40 Special Session in memory of Jon Barwise

Keith Stenning, University of Edinburgh

9:40-10:50 Poster Session (refreshments at 10:20)

10:50-12:10 Tutorial 2 - Cognitive Approach to Diagrams

David Gooding, University of Bath
Cognitive History of Science: the Roles of Diagrammatic Representations in Discovery and Modeling Discovery

Hermi Schijf, Utrecht University
Cognitive (production system) modelling of how an expert uses a Cartesian graph

Jiajie Zhang, University of Texas at Houston
The Coordination of external representations and internal mental representations in display-based cognitive tasks

12:10-13:30 Lunch

13:30-15:10 Paper Session 3

Distinctions with differences: comparing criteria for distinguishing diagrammatic from sentential systems

K. Stenning

Theoretical concerns about diagrams (cont'd)


Cognition and diagrams

How People Extract Information from Graphs: Evidence from a Sentence-Graph Verification Paradigm

A. Feeney, A.K.W. Hola, S.P. Liversedge, J.M. Findlay & R. Metcalf

Restricted Focus Viewer: A Tool for Tracking Visual Attention

A.F. Blackwell, A. R. Jansen & K Marriott

Communicating Dynamic Behaviors: Are Interactive Multimedia Presentations Better Than Static Mixed-Mode Presentations?

N. H. Narayanan & M. Hegarty

15:10 - 15:40 Break

15:40 - 17:20 Paper Session 4

Capacity Limits in Diagrammatic Reasoning

M. Hegarty


Recording the Future: Some Diagrammatic Aspects of Time Management

S. Clink & J. Newman

Human Communication with diagrams

Lines, Blobs, Crosses, and Arrows: Diagrammatic Communication with Schematic figures

B. Tversky, J. Zacks, P. Lee & J. Heiser

Animated diagrams: An investigation into the cognitive effects of using animation to illustrate dynamic processes.

S. Jones

Social Event: Conference Dinner

Day 3: Sunday 3 September

9:00 - 10:15 Paper Session 5

A Comparison of Graphics and Speech in a Task-Oriented Interaction

P.G.T. Healey, R. McCabe and Y. Katagiri

Human Communication with diagrams (cont'd)

Diagramming Aesthetics: Modernism and Architecture in the 21st Century

M. J. Clayton


JVenn: A Visual Reasoning System with Diagrams and Sentences

H. Sawamura & K. Kiyozuka

Diagrammatic reasoning / proof systems

10:15 - 10:40 Break

10:40 - 12:20 Paper Session 6

A Proposal for Automatic Diagrammatic Reasoning in Continuous Domains

D. Winterstein, A. Bundy & M. Jamnik

Playing With Diagrams

R. K. Lindsay

The Use of Intermediate Graphical Constructions in Problem Solving with Dynamic, Pixel-level Diagrams

G. Furnas, Yan Qu, S. Shrivastava & G. Peters


Treatment of Diagrams in Document Image Analysis

D. Blostein, E. Lank & R. Zanibbi

Diagrams for systems, systems for diagrams

12:20 - 13:30 Lunch

13:30 - 15:10 Paper Session 7

Universal Arrow Foundations for Visual Modeling

Z. Diskin, B. Kadish, F. Piessens & Michael Johnson

Diagrammatic Acquisition of Functional Knowledge for Product Configuration Systems with the Unified Modeling Language

A. Felfernig & M. Zanker

Evaluating the Intelligibility of Diagrammatic Languages used in the Specification of Software.

C. Britton, S. Jones, M. Kutar, M. Loomes & B. Robinson

Executing Diagram Sequences

J. Thurbon

15:10 - 15:40 Break

15:40 - 17:20 Paper Session 8

MetaBuilder: The diagrammer's diagrammer

R.I. Ferguson, A. Hunter & C. Hardy

Diagrammatic Control of Diagrammatic Structure Generation

S. Gruner & M. Kurt

Two-Dimensional Positioning as Visual Thinking

S. Takada, Y. Yamamoto, & K. Nakakoji

Reordering the Reorderable Matrix as an Algorithmic Problem

E. Mäkinen & H. Siirtola

Diagrams 2000 ends

Poster Session - 9:40-10:50 Saturday

F. C. Pereira & A. Cardoso

Clouds: A Module for Automatic Learning of Concept Maps

Z. Kulpa

A diagrammatic notation for interval algebra

R. K. Lowe

Animation of diagrams: An aid to learning?

J. H. Connolly

Diagrams as Components of Multimedia Discourse: A Semiotic Approach

C. Gurr & K. Tourlas

Formalising the Essence of Diagrammatic Syntax

A. Klippel & L. Kulik

Using grids in Maps

N. Miller

Case Analysis in Euclidean Geometry: An Overview

Yan Ping Zhou & Chew Lim Tan

Bar Chart Recognition Using Hough Based Syntactic Segmentation

H. C. Purchase, D. Carrington & J. Allder

Experimenting with aesthetics-based graph layout

This page is maintained by Alan Blackwell and was last modified on: 21 July 2000.