Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!usc!zaphod.mps.ohio-state.edu!uakari.primate.wisc.edu!uflorida!mephisto!mcnc!duke!juliet!gopalan
From: gopalan@juliet.cs.duke.edu (Gopalan Nadathur)
Newsgroups: comp.lang.prolog
Subject: workshop on higher-order logic programming
Message-ID: <21456@duke.cs.duke.edu>
Date: 15 Aug 90 19:56:12 GMT
Sender: news@duke.cs.duke.edu
Lines: 57


                       CALL FOR PARTICIPATION
                      ------------------------

                                 in 

                           a Workshop on
                          

                  HIGHER-ORDER LOGIC PROGRAMMING
                  ------------------------------

                              at the

          North American Conference on Logic Programming
                        Oct 29 - Nov 1, 1990
                           Austin, Texas



The introduction of higher-order features has been a major consideration 
in the context of most programming paradigms. The purpose of this workshop 
is to provide a forum for discussing emerging viewpoints and proposals 
concerning this aspect in the framework of logic programming. Topics for 
discussion are expected to include possible interpretations of the notion 
of higher-order logic programming, the theoretical underpinnings of 
different proposals, the utility of higher-order notions in realizing 
new programming language features, applications in areas such as 
metaprogramming and  databases, and implementation considerations. This 
list is not exhaustive and any reasonable interpretation of the topic of 
the workshop will be entertained.

The workshop is currently scheduled for the afternoon of November 1, 
1990 and is expected to consist of a series of half-hour presentations
that are organized so as to permit ample time for discussion. Persons 
desirous of making presentations are requested to send a title and an 
abstract (of about 300 words) of the proposed talk to the following 
address by September 10, 1990:

	Gopalan Nadathur
        Attn: NACLP'90 Workshop on HOLP
        Department of Computer Science
        Duke University
        Durham, NC 27706

        e-mail: gopalan@cs.duke.edu
        tel: (919)-660-6545

E-mail submissions are welcome. A notification of acceptance or rejection 
will be provided before September 30, 1990.

Although attendance at the workshop is open to all registrants at
NACLP'90, space limitations and the desire to provide for close 
interaction requires the number of attendees to be limited. Even if you
are only interested in attending the workshop, please notify the 
workshop organizer (preferably by e-mail), with a line indicating 
the reason for your interest.