From: michael@cs.man.ac.uk (Michael Fisher)
Newsgroups: news.announce.conferences
Subject: CFP: IJCAI--93 Workshop on Executable Modal and Temporal Logics
Date: 27 Jan 93 01:00:12 GMT
Expires: Mon, 1 Mar 1993 08:00:00 GMT
Distribution: news
Organization: Department of Computer Science, University of Manchester


		CALL FOR PAPERS AND PARTICIPATION

		      IJCAI--93 Workshop on
	       Executable Modal and Temporal Logics
		  August 28th, Chambery, France

The direct execution of logical statements, through languages such as
PROLOG, has been both beneficial and influential within Computer
Science, and in particular Artificial Intelligence (AI). Yet, in
recent years the requirement for greater expressive power has meant
that languages based on first-order logic have been found wanting. As
a logical basis of knowledge representation, classical first-order
logic has been superseded by, for example, modal logics for
representing knowledge, belief, desire, etc, and temporal logics for
representing temporal information and specifying and verifying
reactive systems.

Just as the development of sophisticated theorem-proving techniques
for first-order logic led to executable forms, such as PROLOG, so
theorem-proving techniques for modal and temporal logics are being
used in the development of executable forms of these logics.  Each
particular executable logic combines not only a logical perspective,
but also an operational model, drawn from its intended application
areas. Thus, though a variety of languages have appeared, they exhibit
a wide range of characteristics and execution mechanisms.

The aim of this workshop is to provide a forum both for exchange of
ideas and for identification of the potential roles and nature of the
emerging paradigm of Executable Modal and Temporal Logics.  Our aim is
that the workshop will bring together workers in this area, to
identify common ground, differing approaches, experiences,
applications, open problems and possible future developments. In
particular, we wish to encourage cross-fertilisation between different
approaches. A particular theme that we hope to address is the issue of
achieving an appropriate balance between logical and operational
features.

The workshop will last one day, and will consist of both presented
papers and group discussions. We intend that the workshop will cover
topics ranging from considerations of the state of the art, through to
speculation on future developments. We therefore solicit papers
describing work in this area, including original ideas, new results,
comparative studies and applications of Executable Modal and Temporal
Logics. Topics of interest include, but are not limited to,

	   * logical bases, and formal analyses, of executable modal and
	     temporal logics
	   * design of executable modal and temporal logics
	   * relationship to theorem-proving
	   * operational models and implementation techniques
	   * programming support and environments
	   * comparative studies of languages
	   * applications

To encourage informal interaction and the exchange of ideas,
attendance will be limited to approximately 30 invited participants.
Those wishing to attend are encouraged to submit either

(a) an extended abstract (of no more than 5000 words) describing
    relevant unpublished work to be presented at the workshop, or,

(b) single page descriptions of research interests and current work,
    to be used to demonstrate the ability of the non-presenting
    participants to contribute to the discussions.

Selected participants will be asked to provide complete papers to be
distributed as (unpublished) preprints to the workshop participants.
All submissions should include: author's name(s), affiliation,
complete address mailing, phone and fax number, and e-mail address.
Five (5) copies of all submitted materials should be sent, by March
1st 1993, to:

	   Richard Owens
	   Department of Computing
	   Imperial College
	   180 Queen's Gate
	   London SW7 2BZ
	   United Kingdom

	   Email:     rpo@doc.ic.ac.uk
	   Telephone: (+44) 71-589 5111
	   Fax:       (+44) 71-589 8024

Papers will be refereed and notification of acceptance will be given
by April 1st. Authors of accepted papers will be given the opportunity
to revise their papers prior to the final submission (due June 1st).

Important Dates:

   Submissions received by:        March 1st, 1993
   Author notification by:         April 1st, 1993
   Final papers due:               June  1st, 1993


A major publishing company has expressed interest in publishing the
workshop proceedings. Selected papers may also be considered for
publication in a special issue of either the Journal of Logic and
Computation or the Journal of Applied Non-Classical Logics.


Workshop Organising Committee:

	   Luis Farinas del Cerro	(IRIT Toulouse, France)
	   Michael Fisher		(University of Manchester, UK)
	   Richard Owens		(Imperial College, UK)


N.B., All workshop participants will be required to register for the
****  main conference (IJCAI'93). There will be a small additional
      workshop registration fee of 300 FF (about 60 US$). NO
      ATTENDANCE TO A WORKSHOP WILL BE ACCEPTED WITHOUT REGISTRATION
      TO IJCAI-93.
--
---------------------------------------------------------------------
| Michael Fisher,                     Tel: (+44) 61-275 6139        |
|  Department of Computer Science,    Fax: (+44) 61-275 6204        |
|   University of Manchester,                                       |
|    Oxford Road,                                                   |
|     Manchester  M13 9PL        INTERNET:  michael@cs.man.ac.uk    |
|      United Kingdom                UUCP:  ..uknet!man.cs!michael  |
---------------------------------------------------------------------
Newsgroups: news.announce.conferences