NACLP'90 WORKSHOPS

Article View: comp.lang.prolog

Article #952

#952

From: David Scott Warren
Date: Thu, 05 Jul 1990 17:59

34 lines
1650 bytes

	NACLP'90

CALL FOR PROPOSALS TO ORGANIZE WORKSHOPS (TAKE 2)

Associated  with  each  of the  past two  logic programming meetings,
there  have  been  a  set  of  workshops  that  provide  a  forum for
presenting  ideas  and  discussing   issues  of   interest  within  a
particular area.  We are again providing such a  forum in conjunction
with the NACLP'90 meeting  in Austin,  Texas, Oct  29 -  Nov 1, 1990.
The afternoon of Thursday, Nov 1,  and Friday,  Nov 2,  have been set
aside for workshops.  

We already have had several workshops proposed and voluteers to
organize them:

1. Parallel Execution of Logic Programs
2. Non-Monotonic Reasoning and Logic Programming
3. Architectures for Logic Programming
4. Higher-Order Logic Programming
5. Non-Horn Clause Logic Programming

We may have room for a couple of more workshops (probably half-day).
Ideas that have been proposed include a) Types and LP and b)
Deductive DB. Is anyone interested in organizing a workshop on one
of these (or another) topic? If so please contact me. Thanks.

David S. Warren
 warren@sbcs.sunysb.edu
 (516) 632-8454

 Department of Computer Science
 SUNY Stony Brook
 Stony Brook, NY 11794-4400

Technical Details

Message-ID: <1990Jul5.175920.16072@sbcs.sunysb.edu>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!watserv1!watmath!att!tut.cis.ohio-state.edu!ucsd!usc!elroy.jpl.nasa.gov!ncar!mephisto!udel!sbcs!usenet

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!watserv1!watmath!att!tut.cis.ohio-state.edu!ucsd!usc!elroy.jpl.nasa.gov!ncar!mephisto!udel!sbcs!usenet
From: warren@sbcs.sunysb.edu (David Scott Warren)
Newsgroups: comp.lang.prolog
Subject: NACLP'90 WORKSHOPS
Message-ID: <1990Jul5.175920.16072@sbcs.sunysb.edu>
Date: 5 Jul 90 17:59:20 GMT
Sender: usenet@sbcs.sunysb.edu (Usenet poster)
Organization: State University of New York at Stony Brook
Lines: 34