Program

Monday August 9th

7:00-8:30: Breakfast at Victor's (ground floor of Ondine)
8:45-9:00: Welcome
Ondine 218/220
9:00-10:00: Paper Session
Ondine 218/220
Session Chair: Stepanie Elzer

Bonny Banerjee and B. Chandrasekaran.
A Spatial Search Framework for Executing Perceptions and Actions in Diagrammatic Reasoning.

Gem Stapleton, Leishi Zhang, John Howse and Peter Rodgers.
Drawing Euler Diagrams with Circles.

10:00-10:30: Break & Refreshments
10:30-12:00: Paper Session: Euler and Venn Diagrams
Ondine 218/220
Session Chair: Andrew Fish

Yuri Sato, Koji Mineshima and Ryo Takemura.
The efficacy of Euler and Venn diagrams in deductive reasoning: Empirical findings.

Paolo Bottoni and Andrew Fish.
Coloured Euler diagrams: a tool for visualizing dynamic systems and structured information.

Peter Rodgers, Jean Flower, Gem Stapleton and John Howse.
Drawing Area-Proportional Venn-3 Diagrams with Convex Polygons

12:00-13:00: Lunch at Victor's (doors will close at 13:15)
13:30-15:30:
Tutorial
Ondine 218/220
Graduate Symposium
Ondine 201
Dave Barker-Plummer
Diagrams: A Perspective from Logic.
Invited talk
4 student presentations
15:30-16:00: Break & refreshments
16:00-17:00: Graduate Symposium: 4 student presentations
Ondine 201
17:00-18:00: Invited talk
Ondine 218/220

Randall Davis.
Understanding Diagrams, and More: The Computer’s View

18:00-20:00: Reception & Poster Session
Ondine Hallway
Details of the presenters can be found here.

Tuesday August 10th

7:00-8:30: Breakfast at Victor's (ground floor of Ondine)
8:45-10:15: Paper Session: Formal Aspects of Diagrams
Ondine 218/220
Session Chair: Dave Barker-Plummer

Aidan Delaney, Gem Stapleton, John Taylor and Simon Thompson.
Fragments of Spider Diagrams of Order and their Relative Expressiveness

Renata de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso and Petrucio Viana.
A calculus for graphs with complement.

Koji Mineshima, Mitsuhiro Okada and Ryo Takemura.
Two Types of Diagrammatic Inference System: Natural Deduction Style and Resolution Style

10:15-10:45: Break & refreshments
10:45-12:35: Paper Session: Reasoning with Diagrams
Ondine 218/220
Session Chair: Unmesh Kurup

Mike Stieff, Mary Hegarty and Bonnie Dixon.
Alternative Strategies for Spatial Reasoning with Diagrams.

Michael Anderson and George Furnas.
Relating Two Image-Based Diagrammatic Reasoning Architectures.

B. Chandrasekaran and Omkar Lele.
Mapping Descriptive Models of Graph Comprehension into Requirements for a Computational Architecture: Need for Supporting Imagery Operations.

David Landy.
Toward a physics of equations.

12:35-13:30: Lunch at Victor's (doors will close at 13:15)
14:00-15:00:
Tutorial
Ondine 218/220
Graduate Symposium
Ondine 201
John Howse, Peter Rodgers and Gem Stapleton.
Drawing Euler Diagrams for Information Visualization.
Invited talk
15:00-16:00:
Tutorial continued
Ondine 218/220
graduate symposium:
Ondine 201
4 Student Presentations
16:00-16:30: break & refreshments
16:30-17:30: Graduate Symposium: 4 Student Presentations
Ondine 201
18:00-22:00: Georgia Tech GVU Center banquet at the Portland Art Museum

Wednesday August 11th

7:00-8:30: Breakfast at Victor's (ground floor of Ondine)
8:45-10:00: Invited talk
Ondine 218/220

Thomas Barkowsky.
Diagrams in the Mind: Visual or Spatial?

10:00-10:30: Break & refreshments
10:30-11:30: Paper Session: Interacting with Diagrams
Ondine 218/220
Session Chair: John Howse

Cagatay Goncu, Kim Marriott and John Hurst.
Usability of Accessible Bar Charts.

Mathias Frisch, Jens Heydekorn and Raimund Dachselt.
Diagram Editing on Interactive Displays Using Multi-Touch and Pen Gestures.

11:30-12:20: Paper Session: Constructing Diagrams
Ondine 218/220
Session Chair: Jim Davies

Yuri Uesaka, Emmanuel Manalo and Shin’ichi Ichikawa.
The Effects of Perception of Efficacy and Diagram Construction Skills on Students’ Spontaneous Use of Diagrams When Solving Math Word Problems

Tim Dwyer, Kim Marriott and Peter Sbarski.
Hi-tree layout using quadratic programming

12:20-13:30: Lunch at Victor's (doors will close at 13:15)
13:30-15:00: Paper Session: Understanding Diagrams and Text
Ondine 218/220
Session Chair: Stephanie Elzer

Peng Wu, Sandra Carberry, Stephanie Elzer and Daniel Chester.
Recognizing the Intended Message of Line Graphs.

Alexander Eitel, Katharina Scheiter and Anne Schüler.
Getting a Clue: Gist Extraction from Scenes and Causal Systems.

Richard Lowe and Jean-Michel Boucheix.
Attention direction in static and animated diagrams.

15:00-15:30: Break & refreshments
15:30-16:30: Paper Session: Understanding Diagrams and Text
Ondine 218/220
Session Chair: Atsushi Shimojima

Cagatay Goncu, Kim Marriott and Frances Aldrich.
Tactile diagrams: worth ten thousand words?

Katharina Scheiter and Alexander Eitel.
The Effects of Signals on Learning from Text and Diagrams: How Looking at Diagrams Earlier and More Frequently Improves Understanding.

Peter Coppin, James Burton and Stephen Hockema.
Using theories of attention to explore the cognitive affordances of diagrams relative to text: the case of constraint diagrams as compared to text-based proofs.

16:30-17:00: Conference closes with a business meeting
Ondine 218/220