2003 IEEE Symposium on Visual Languages and Formal Methods (VLFM'03)

Venue: Auckland

Location: Auckland, New Zealand

Event Date/Time: Oct 28, 2003 End Date/Time: Oct 31, 2003
Paper Submission Date: Mar 15, 2003
Report as Spam


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

    • Frameworks and meta CASE tools for processing VL
      and UI specifications

  2. Formal modelling and specification languages with visual

    • 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.