9:00 - 10:00 Invited Talk by Prof. Ugo Montanari, University of Pisa
10:00 - 10:15 Coffee Break
10:15 - 10:30 Discussion of central question to focus on in the workshop
10:30 - 11:50 Session on Grammar Formalisms
Towards a Hierarchy of Visual Languages,
K. Marriott and B. Meyer
Relational Grammars: Theory and Practice in a Visual Language Interface for Process Modeling,
K. Wittenburg and L. Weitzman
Relation Grammars: a Grammatical Model for a High-Level Specification of Visual Languages,
F. Ferrucci, G. Tortora, M. Tucci, and G. Vitiello
How to Represent a Visual Program?
M. Andries, G. Engels, and J. Rekers
11:50 - 12:10 Discussion
12:10 - 14:00 Lunch Break
14:00 - 15:20 Session on Logic and Algebraic Formalisms
A Fully Formalized Theory for Describing Visual Notations,
V. Haarslev
Visual Language Syntax and Semantics: a Spatial Logic Approach,
J.M. Gooday and A.G. Cohn
A Syntax Directed Approach to Picture Semantics,
D. Wang and H. Zeevat
On the Isormorhism (or Otherwise) of Representations,
C.A. Gurr
15:20 - 15:40 Discussion
15:40 - 16:00 Coffee Break
16:00 - 16:40 Session on Formalisms and Frameworks for Interaction
Specifying Input and Output of Visual Languages,
T.B. Dinesh and S. Üsküdarli
Specification of Visual Languages as Means for Interaction,
P. Bottoni, M.F. Costabile, S. Levialdi, and P. Mussio
16:40 - 16:50 Discussion
16:50 - 17:00 Coffee Break
17:00 - 18:00 Panel Discussion:
"Towards a Unified Framework for Visual Langauge Theory"
18:00 ------- Official Workshop End