CFP: Modelling Languages for KBS

willems@cs.vu.nl

Mail folder: SRKB Mail
Next message: Pat Hayes: "Re: CCAT: TIME: Fantasyland?/Various issues"
Previous message: Tim.Finin@cs.umbc.edu: "Modelling and Methodologies for Enterprise Integration"

Subject: CFP: Modelling Languages for KBS
To: kads-languages@swi.psy.uva.nl, kaw@swi.psy.uva.nl, srkb@ISI.EDU,
        vdm-forum@mailbase.ac.uk, lotos-world@dit.upm.es,
        benelog@cs.kuleuven.ac.be
Date: Fri, 14 Oct 1994 14:28:30 +0100 (MET)
X-Mailer: ELM [version 2.4 PL20]
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Content-Length: 2724      
From: willems@cs.vu.nl
Message-id: <9410141428.aa18658@flits.cs.vu.nl>
Sender: owner-srkb@cs.umbc.edu
Precedence: bulk

CALL FOR PARTICIPATION:
	
	MODELLING LANGUAGES for KBS

	January 30-31, 1995
	Vrije Universiteit Amsterdam

The aim of this workshop is to attract researchers from all areas associated
with modelling languages for KBS, both informal, formal and operational.
We are particularly interested in establishing relationships with researchers
from other specification languages in other areas of software engineering.

This workshop is the fifth in the series of workshops previously called
"KADS-Languages Workshops". Papers from previous workshops are available at
ftp://swi.psy.uva.nl/pub/kads-languages. This workshop extends the scope of
these previous workshops (and the "Formal Specification Workshops" held at
ECAI'92 and ECAI'94) by including languages not strictly aimed at KADS, and
by not solely focussing on formal specification languages (without excluding
either of these two topics).

Topics include:
  - modelling languages
  - integration of informal and formal techniques
  - tools (e.g. for acquisition and verification)
  - methodology
  - link to modelling languages for information systems
  - semantics (static and dynamic)
  - verification and validation

Since the purpose of the workshop is to bring together researchers for exchange
and discussion, we invite researchers in this area to submit on any of the
above or related topics. Such papers may have been previously published, or may
be limited to a short statement of interest. 

Speakers at the workshop will be chosen on the basis of these submissions,
but attendance to the workshop is open to all interested parties. Other
speakers from specific areas (modelling languages for information systems,
verification and validation) will be invited by the organisers.

FORMAT:

Contributions are invited that describe (not necessarily new) work in the form
of a full paper, an extended abstract, or a statement of interest. In any case
the title page must state name, affiliation, and e-mail address of the
contributor. Position papers will be judged on their contribution to the
discussion, and some will be selected for presentation. Also presentations on
new topics will be invited. Electronic submissions (in Postscript or ASCII)
are encouraged.

TIME TABLE:

Papers, abstracts, or statements of interest must be received by Mark Willems
no later than December 5, 1994 at the following address. Invitation letters
will be posted by e-mail no later than December 15, 1994. 

	      	Mark Willems
	      	Dept. Math. & Comp.Sc. 
		Vrije Universiteit Amsterdam
		De Boelelaan 1081
		1081 HV Amsterdam
		The Netherlands

ORGANISERS:
	Mark Willems,		willems@cs.vu.nl
	Dieter Fensel,		fensel@swi.psy.uva.nl
	Frank van Harmelen,	frankh@swi.psy.uva.nl