[TYPES] VLFM'04 - Call for Participation

[Mark Minas]

                        Call for Participation

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

	    Visual Languages and Formal Methods (VLFM'04)

			   Workshop at the
			  IEEE Symposium on
       Visual Languages and Human-Centric Computing (VL/HCC'04)

		   Rome, Italy, September 30, 2004

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

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 modeling
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 will bring
together members of these different areas and will provide a forum for
presenting and discussing new results, ideas, and experience among
them. This goal is supported by the workshop program that covers the 
following topics:

 * Methods and Tools for Processing VL Specifications
 * Formal Modeling and Specification Languages with 
   Visual Representations
 * Formal Methods Applied to UML

For details, please visit the workshop web page.


Background
==========

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. 


Registration
============

Registration is open at the VL/HCC'04 registration page 
http://www.consultaumbria.com/vlhcc04/registration.php
(See the third pull-down menu in Section 3 of the form.)
Early registration ends on August 26. 


Important Dates
===============
  
August 26, 2004: Early registration ends
Sept. 30, 2004:  Workshop


Web pages
=========

Workshop:     http://www2-data.informatik.unibw-muenchen.de/VLFM04/
VL/HCC'04:    http://vlhcc04.dsi.uniroma1.it/
Registration: http://www.consultaumbria.com/vlhcc04/registration.php