ILPS-91 Workshop, 10/31/91

To: types@theory.lcs.mit.edu, concurrency@theory.lcs.mit.edu, logic@theory.lcs.mit.edu
Subject: ILPS-91 Workshop, 10/31/91
From: Arcot Rajasekar <sekar@ms.uky.edu>
Date: Tue, 2 Jul 91 16:09:51 EDT
Sender: meyer@theory.lcs.mit.edu
Date: Mon, 1 Jul 1991 10:00:11 EDT

			  Call For Participation
		Workshop  on  Disjunctive  Logic  Programs

    The aim of the workshop is to bring together researchers active in the
area of disjunctive logic programming and related fields, involving reason-
ing with indefinite information. The workshop will be held in conjunction
with the International Logic Programming Symposium (formerly
NACLP) to be held in San Diego, California, U.S.A., from October 28
to October 31, 1991. The workshop will be held after the conference.

    The format of the workshop will be in the form of presentations (of
20-30 minutes duration) on completed work and work in progress.  We
also expect the workshop to be informal, providing a forum for close
interactions between participants. Presentations and discussions are 
invited on any topic relevant to disjunctive programming, including
but not limited to

    o Semantics for Disjunctive Logic Programming

    o Procedural Interpretations of Disjunctive Logic Programming

    o Implementations of Disjunctive Logic Programming Systems

    o Applications of Disjunctive Logic Programming

    o Reasoning with Indefinite Information

    o Disjunctive Databases

    o Non-monotonic Reasoning and Disjunctive Information.

If you are interested in giving a presentation of your current research
at the workshop, please send an extended abstract (about 6 pages) by
August 15, 1991, to the address given below. Notification of acceptance
will be given by September 15, 1991. We intend to bring out a proceed-
ings of the workshop in the form of an informal publication and would
require a revised abstract or a full paper of accepted presentations by
October 1, 1991. Those who are only interested in attending the work-
shop are also welcome and are kindly requested to send their postal and
electronic addresses.

Organizing Committee:
    Don Loveland, Duke University.
    Jorge Lobo, University of Maryland.
    Arcot Rajasekar, University of Kentucky.

Important dates:
    Deadline for paper submission: August 15th;
    Notification for acceptance of presentation: September 15th;
    Final Copy for inclusion in proceedings: October 1st.

Contact Address:
    Arcot Rajasekar
    Department of Computer Science
    Patterson Office Towers
    University of Kentucky
    Lexington, Kentucky 40506, U.S.A.
    Tel: (606) 257 3892
    Fax: (606) 258 1971
    Email: sekar@ms.uky.edu