Call for Papers VLFM'01



Date view Thread view Subject view Author view

Mark Minas (Mark.Minas@informatik.uni-erlangen.de)
Wed, 22 Nov 2000 14:10:16 +0100


Sorry if some of you receive multiple copies of this message. Mark Minas Andy Schürr ========================================================================= Call for Papers Visual Languages and Formal Methods (VLFM'01) ============================================= Individual Symposium within IEEE Symposia on Human-Centric Computing Languages and Environments (HCC'01) Stresa, Italy September 5-7, 2001 The number of visual languages and environments in many applied and theoretical areas of computer science as well as other fields is growing rapidly. Moreover they are a subject of permanent change as for instance the history of UML diagrams makes clear. However, techniques for specifying, designing, and implementing such languages are still immature. Formal methods are inevitable for this task and, therefore, gain increasing importance in the context of visual languages. On the other hand, there are many formal modelling and specification approaches, where visual representations and visual languages are promising in making these approaches more comprehensible and usable. The symposium 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. In order to foster a lively exchange of perspectives on the subject of the symposium, the program committee encourages contributions from all aspects of visual languages and formal methods. Topics of interest include but are not limited to the following subjects: 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 * Visualization of specification languages and methods * Diagrammatic reasoning and visual specification languages 3. Visual language theory * Formal design criteria for visual languages * Classification of visual languages and representations * Expressiveness of visual specification formalisms Background ---------- The symposium is one of the integrated set of HCC'01 symposia 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. Some of these people are end users, some are professional programmers or software engineers, and some are children. HCC'01 replaces thereby the IEEE Visual Language Symposium series and broadens the spectrum of addressed research topics including theoretical, practical, and empirical work concerning language/environmental design aspects, multimedia, virtual reality or web-based technologies as well as any related software modeling or visualization approaches. Program Committee ----------------- M. Minas (Co-Chair), Germany A. Schuerr (Co-Chair), Germany P. Bottoni, Italy S.K. Chang, USA G. Costagliola, Italy F. Drewes, Sweden M. Gogolla, Germany C. Gurr, UK S. Kent, UK K. Marriott, Australia S. Mauw, NL B. Meyer, Australia B. Vander Zanden, USA M. Wirsing, Germany K. Wittenburg, USA Submission ---------- Original research papers should make clear what new contribution the work makes, and how the work differs from related work. In addition to research papers (max. 8 pages), poster papers (2 pages) are solicited. All papers should be in IEEE 2 column conference publication format (http://www.computer.org/cspress/instruct.htm). Accepted papers will appear in proceedings published by the IEEE Computer Society. Submissions should be sent via email (encouraged) to minas@acm.org or as 5 paper copies (discouraged) to M. Minas Informatik 2 Univ. Erlangen Martensstr. 3 91058 Erlangen Germany until March 11, 2001. Electronic submissions should be in Postscript or PDF format. Important Dates --------------- March 11, 2001: Submission Deadline June 3, 2001: Notification of Acceptance July 1, 2001: Camera Ready Version Further Information ------------------- VLFM'01 web site: http://www2.cs.fau.de/VLFM01/ HCC'01 web site: http://cuisung.unige.ch/HCC01/


Date view Thread view Subject view Author view