CHI-ANNOUNCEMENTS Archives

ACM SIGCHI General Interest Announcements (Mailing List)

CHI-ANNOUNCEMENTS@LISTSERV.ACM.ORG

Options: Use Classic View

Use Proportional Font
Show Text Part by Default
Condense Mail Headers

Topic: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Sender: "ACM SIGCHI General Interest Announcements (Mailing List)" <[log in to unmask]>
From: Mark Minas <[log in to unmask]>
Date: Tue, 5 Nov 2002 01:32:15 +0100
X-To: Paolo Bottoni <[log in to unmask]>
Reply-To: Mark Minas <[log in to unmask]>
Parts/Attachments: text/plain (141 lines)
Sorry if some of you receive multiple copies of this message.

   Paolo Bottoni and Mark Minas (VLFM'03 Co-Chairs)


=================================================================


                        Call for Papers

-----------------------------------------------------------------

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

           Auckland, New Zealand, October 28-31, 2003

                http://www.cs.dal.ca/HCC03/VLFM/

-----------------------------------------------------------------

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.

Papers
------

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

* Formal specification of visual languages and environments

  o Grammar- or meta-modelling-based syntax definition techniques
    for VLs
  o Static and dynamic semantics of visual languages
  o Grammar-based image generation and recognition techniques
  o Frameworks and meta CASE tools for processing VL and UI
    specifications

* Formal modelling and specification languages with visual
  representations

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

* Visual language theory
  o Formal design criteria for visual languages
  o Classification of visual languages and representations
  o Expressiveness of visual specification formalisms
  o 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 conference website for further
details and guidelines on paper submission.

Workshops
---------

We invite 1-2 page proposals for half-day and full-day workshops on
specialty topics relevant to visual languages and formal methods.

Deadlines
---------

Workshop proposal submission:        1 February 2003
Notification of workshop acceptance: 15 March 2003
Paper submission:                    15 March 2003
Notification of paper acceptance:    15 June 2003
Camera-ready papers due:             15 July 2003

Venue
-----

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.

Symposium Organizers
--------------------

VLFM '03  Program Committee

   P. Bottoni (Co-Chair), Italy
   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
   M. Minas (Co-Chair), Germany
   A. Schuerr, Germany
   A. Shimojima, Japan
   J.-Y. Vion-Dury, France
   K. Wittenburg, USA

HCC '03 Symposia General Chair

   Phil Cox, Dalhousie University, Canada
   John Hosking, University of Auckland, New Zealand


Further Information
-------------------

Please visit the symposium website or contact
* Paolo Bottoni ([log in to unmask]),
* Mark Minas ([log in to unmask])

ATOM RSS1 RSS2