VLFM'04 Visual Languages and Formal Methods 2004
Rome, Italy, September 30, 2004
Workshop at the
IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'04)


The workshop proceedings have been published at Electronic Notes in Theoretical Computer Science, Volume 127, Issue 4, Pages 1-162 (21 April 2005)



Scope and Objectives
of the Workshop

Visual languages and formalisms have always been used in computer science and other fields. With primarily visual methods like UML and SDL, they have become a standard in the process of software analysis, design, and implementation. Moreover, there are many formal modelling and specification approaches where visual approaches are existing or evolving, e.g., for specifying transformations for MDA or for OCL, in order to make such approaches more comprehensible and usable. On the other hand, formal methods are inevitable for specifying, designing as well as implementing visual languages and methods.

The workshop on Visual Languages and Formal Methods aims to bring together members of these different areas and to provide a forum for presenting and discussing new results, ideas, and experience among them. Topics of interest include but are not limited to the following subjects:

  • Formal modelling and specification languages with visual representations
    • Formal and semi-formal visual modeling languages (UML, SDL, ...)
    • Visualization of specification languages and methods
    • Visual specification languages and methods
    • Diagrammatic reasoning

  • Formal specification of visual languages and methods
    • Grammar- or meta-modelling-based syntax definition techniques for VLs
    • Static and dynamic semantics of visual languages
    • Frameworks and meta CASE tools for processing VL and UI specifications


The workshop is a satellite event of the IEEE symposium on Visual Languages and Human-Centric Computing (VL/HCC'04) focused on the design, formalization, implementation, and evaluation of computing languages and environments that are easier to learn, easier to use, and easier to understand by a broader group of people.

VLFM'04 follows the line of successful symposia on visual languages and formal methods, which were before held 2001 at Stresa, Italy, and 2003 at Auckland, New Zealand, as symposia within the IEEE symposia on Human Centric Computing HCC'01 and HCC'03, respectively. HCC was the successor of the IEEE symposium on Visual Languages and has now evolved to the IEEE symposium on Visual Languages and Human-Centric Computing (VL/HCC'04).


This workshop is the successor of the two VLFM symposia:

Call for Papers

Electronic versions of the call for papers are available in ASCII and PDF format.


Mark Minas <minas@acm.org>

Program Committee

P. Bottoni, Italy
S.K. Chang, USA
G. Costagliola, Italy
G. Engels, Germany
J. Howse, UK
G. Karsai, USA
K. Marriott, Australia
B. Meyer, Australia
M. Minas (Chair), Germany
A. Schürr, Germany


Authors are invited to submit extended abstracts of up to 15 pages in ENTCS format until June 30, 2004 electronically via our submission web form. The contributions should report about ongoing research in the area of visual languages and formal methods. Position papers and contributions making methodological statements are strongly encouraged.

Accepted contributions will appear in a volume of Elsevier's Electronic Notes in Theoretical Computer Science. A preliminary version will be available at the workshop.

Authors of the best papers of the workshop will be invited to submit an extended version of their contribution to a special issue of the Journal of Visual Languages and Computing.

Further information

Please contact Mark Minas <minas@acm.org>


PC online meeting

Back to the VL/HCC'04 home page