HCC Home

Venue Information



Advance Program

EUP '03

VLFM '03

VMSE '03

VL '03

[This call-for-participation is also available as a plain text file and color pdf file.]


The use of visual languages and environments in many applied and theoretical areas of computer science as well as other fields is by now established. As the results of theoretical and applied research are applied in many commercial applications, problems of efficiency, scalability, and usability become increasingly important. However, techniques for specifying, designing, and implementing such languages are still immature. Formal methods are appropriate for this task and, therefore, gain increasing importance in the context of visual languages. At the same time, there are many existing formal modelling and specification approaches that might benefit from visual representations and visual languages.

VLFM '03 aims to bring together members of these different areas related to the definition and application of formal methods in visual and interactive languages, providing a forum for presenting and discussing new results, ideas, and experience among them.

VLFM '03 is one of the symposia affiliated with HCC '03, the 2003 IEEE Symposia on Human-Centric Computing Languages andEnvironments. Including the former IEEE Symposium on Visual Languages, HCC is the premiere international event on the design and evaluation of tools that enable humans-using textual languages, visual languages or any other appropriate technologies-to accomplish their tasks more effectively.


We seek papers reporting unpublished, original research on visual languages and formal methods. Specific topics of interest include, but are not restricted to

  1. Formal specification of visual languages and environments
    • Grammar- or meta-modelling-based syntax definition techniques for VLs
    • Static and dynamic semantics of visual languages
    • Grammar-based image generation and recognition techniques
    • Frameworks and meta CASE tools for processing VL and UI specifications
  2. Formal modelling and specification languages with visual representations
    • Formal and semi-formal visual modeling languages (UML, SDL,...)
    • visual specification languages
    • Visualization of specification languages and methods
    • Diagrammatic reasoning
  3. Visual language theory
    • Formal design criteria for visual languages
    • Classification of visual languages and representations
    • Expressiveness of visual specification formalisms
    • Integration of interactive aspects

Paper submissions are invited in three separate categories: full-length (8 pages), technical note (3 pages), and system demonstration (3 pages). Authors should prepare and electronically submit a PDF version of their paper in the standard IEEE 2-column format. Submissions will be rigorously reviewed by the international program committee. Please see the submissions area of this website for further details and guidelines on paper submission.


We invite 1-2 page proposals for half-day and full-day workshops on specialty topics relevant to end-user programming.

Important Dates

Workshop proposal submission: 1 February 2003
Notification of workshops: 15 March 2003
Paper submission: 28 March 2003 (**Note Extension**)
Notification of papers: 15 June 2003
Camera-ready papers: 15 July 2003


VLFM03 will be held as part of HCC03 in Auckland, New Zealand, a cosmopolitan city with outstanding recreational and entertainment opportunities. See the symposium website for further details on registration, hotel and travel information.

Program Co-Chairs

Paolo Bottoni, Italy
Mark Minas, Germany

Program Committee

S.K. Chang, USA
G. Costagliola, Italy
G. Engels, Germany
M. Erwig, USA
C. Gurr, UK
S. Kent, UK
K. Marriott, Australia
B. Meyer, Australia
A. Schuerr, Germany
A. Shimojima, Japan
J.-Y. Vion-Dury, France
K. Wittenburg, USA

Further information

Please contact Paolo Bottoni (bottoni@dsi.uniroma1.it) or Mark Minas, (minas@acm.org)

Last modified by C. Hundhausen on Oct. 25, 2002