Changes since preliminary announcement: Deadlines finalized.

Please watch this space for changes or set up a web robot to keep track of changes.

TVL '97
2nd International Workshop on
Theory of Visual Languages

To be held in conjunction with VL'97 Capri, Italy
27th September 1997

Following the success of TVL '96 which was held in conjunction with AVI '96 in Gubbio, Italy, in September '96, we are pleased to announce the second International Workshop on Theory of Visual Languages. TVL '97 will be held under the auspices of the IEEE Symposium on Visual Languages (VL '97) in Capri, Italy in September '97.

Aims of TVL'97

The TVL workshop is dedicated to discussions about different perspectives of visual languages and their theoretical foundations and aims at providing an open and creative platform for comparisons of different approaches to visual language theory. Research on visual language theory is widespread among different communities inside and outside the traditional visual language community. Several fields inside of computer science (such as artificial intelligence, diagrammatic reasoning, human computer interaction, formal language theory, graph grammars, databases, etc.) are working on visual languages as well as related neighbor disciplines like computational linguistics and cognitive science. The main aim of the workshop is to strengthen the dialogue between these diverse communities.

Papers are encouraged which address some of the issues below. Survey and tutorial papers which provide a critical overview of some group of visual language formalisms or a particular aspect of the field are especially welcome.

Topics of TVL '97

Foundational Issues

What are the essential characteristics of visual languages?
What is the role of a theory of visual languages?
How does interaction and dynamics influence the perspective on visual language theory?

How can dynamic visual languages be specified?
How can dynamic processes be specified visually?

Which are the crucial cognitive aspects in visual language processing?
How can heterogeneous, i.e. mixed visual and textual, languages be understood and formalized?

Specification and Classification Techniques

Formalisms for visual language specification [e.g. grammatical, logical and algebraic]
Expressiveness of specification formalisms
Classifications of visual languages by computational factors
Classifications of visual languages by cognitive factors

Formal methods for reasoning about and understanding diagrams

High-level diagram descriptions
Diagrammatic reasoning
Integration of AI reasoning methods with visual language interpretation

Applications of visual language theory

Specification of naturally occurring visual languages
Automatic generation of visual language environments
Applications based on formal visual languages
Diagram understanding and reasoning
Formal criteria and support for designing "good" visual languages
Tools for developing visual proofs

Program Committee

General Chair	Gennaro Costagliola	Italy
Program Chairs	Kim Marriott	Australia
	Bernd Meyer	USA
Other PC Members	Gerard Allwein	USA
	Michael Anderson	USA
	Maria Francesca Costabile	Italy
	Alberto DelBimbo	Italy
	Volker Haarslev	Germany
	Maurizio Tucci	Italy
	Dejuan Wang	The Netherlands
	Kent Wittenburg	USA

Important Dates

23. May 97	deadline for submission of extended abstracts
14. July 97	notification of authors
1. Sep. 97	final version due
27. Sep. 97	Workshop date

A book based on the results of TVL'96 is in the process of being published and we are considering publication of the TVL'97 proceedings.

For all questions and further information about TVL '97 mail to
tvl97@cs.monash.edu.au

For information about last year's TVL workshop visit the
TVL '96 homepage.

Back to the TVL '97 home page.

last updated 9/6/97 Bernd Meyer

TVL '97 2nd International Workshop on Theory of Visual Languages