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
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.
Workshop proposal submission: 1 February 2003
VLFM’03 will be held as part of HCC’03 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.
Paolo Bottoni, Italy
S.K. Chang, USA
|Last modified by C. Hundhausen on Oct. 25, 2002||