9:00 Welcome

9:10 Describing Static Visual Languages

     Drawn Symbolic Picture Languages
     G. Costagliola, M.A. Salurso

     Abstract Visual Syntax                               
     M. Erwig

     Graphical Definition of Visual Languages based on Algebraic Graph    
     Grammars...
     R. Bardohl and G. Taentzer  
    
10:10 Questions/Discussion

10:30 Morning Tea

10:50 Capturing Dynamicity

     Diagrammatic Reasoning and Inductive Learning        
     M. Anderson, R. McCartney 

     Specifying Animated Diagram Languages               
     M. Minas J. Gottschall

     Looking for Order in Visual Interaction           
     P.Bottoni, M.F.Costabile, S.Leviadi, P.Mussio

     Specifying Diagram Animation with Rewrite Systems
     B. Meyer, K. Marriott

12:10 Questions/Discussion

12:30 Lunch

14:00 Designing Visual Languages

     Formal specification of a graphic design theory
     Y. Engelhart, D. Wang

     A formal Framework for Visual Representations
     M. Dastani 

14:40 Discussion

14:50 Group Discussion

16:00 Afternoon Tea

16:20 Presentation of Group Discussion Results (4 x 10 min)

17:00 Open Discussion of Group Results

18:00 Closing Remarks

Extended abstracts for the talks are available from the list of accepted papers.