[GOOAL.net] Call for Papers VLFM'01

• Subject: [GOOAL.net] Call for Papers VLFM'01
• From: Mark Minas <Mark.Minas@informatik.uni-erlangen.de>
• Date: Wed, 22 Nov 2000 14:10:16 +0100
• CC: Andy =?iso-8859-1?Q?Sch=FCrr?= <Andy.Schuerr@unibw-muenchen.de>
• List-Id: <oo.mail.krumbach.de>
• Organization: Univ. of Erlangen (Germany), CS Dep.
• Reply-To: oo@mail.krumbach.de
• Sender: oo-admin@mail.krumbach.de

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/



_______________________________________________
GOOAL.net das deutschsprachige Diskussionsforum rund um Objekttechnologien
http://www.gooal.net
-----
Diese Liste wird gesponsort von SoftPoint und Popkin

• Prev: CMCS 2001 - Call for Papers
• Next: RelMiS 2001 --- Call for Papers
• Index: AMAST Mail Latest Update