From laublet@laforia.ibp.fr Mon Oct 17 09:42:28 1994 Received: from ibp.ibp.fr (ibp.ibp.fr [132.227.60.30]) by lirmm.lirmm.fr (8.6.9/8.6.4) with ESMTP id JAA18253 for ; Mon, 17 Oct 1994 09:42:27 +0100 Received: from laforia.ibp.fr by ibp.ibp.fr (8.6.8/jtpda-5.0) with SMTP id JAA25336 ; Mon, 17 Oct 1994 09:41:49 +0100 Received: from polymnie.muses by laforia.ibp.fr (4.1/SMI-4.1+RC++) id AA20146; Mon, 17 Oct 94 09:37:19 +0100 Date: Mon, 17 Oct 94 09:37:19 +0100 From: laublet@laforia.ibp.fr (Laublet Philippe) Message-Id: <9410170837.AA20146@laforia.ibp.fr> To: gracq@ibp.fr Subject: CFP: Modelling Languages for KBS Status: R >From frankh@swi.psy.uva.nl Fri Oct 14 14:30:04 1994 X-Organisation: Social Science Informatics, University of Amsterdam X-Address: Roetersstraat 15, 1018 WB Amsterdam, The Netherlands. X-Phone: +31 20 5256789 X-Fax: +31 20 5256896 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 Sender: willems@cs.vu.nl 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 ----- End Included Message -----