Xref: utzoo comp.lang.prolog:919 comp.edu:1153
Path: utzoo!mnetor!uunet!husc6!bloom-beacon!mit-eddie!uw-beaver!cornell!batcomputer!itsgw!nysernic!cmx!hilbert!hamid
From: hamid@hilbert.uucp (Hamid Bacha)
Newsgroups: comp.lang.prolog,comp.edu
Subject: Re: Logic Programming Research
Message-ID: <465@cmx.npac.syr.edu>
Date: 6 May 88 19:35:59 GMT
References: <934@cresswell.quintus.UUCP>
Sender: usenet@cmx.npac.syr.edu
Reply-To: hamid@logiclab.cis.syr.edu (Hamid Bacha)
Organization: Logic Lab, CIS Dept., Syracuse University
Lines: 18

In article <934@cresswell.quintus.UUCP> ok@quintus.UUCP (Richard A. O'Keefe) writes:
>Which Universities (not just in the USA) are doing logic programming
>(not just Prolog) research?  I'd like to put together a list of places
>where people interested in doing PhD work in logic programming might
>go.


I really applaud your efforts in trying to put together a list of Universities
doing research in the area of logic programming. I think the list would be
of interest not just for students but also for new PhD's applying for jobs.
May I suggest that the list include some details on the type of research 
being conducted (theory, implementation, logic and databases, expert systems,
etc.). This would help tremendously since the area covered by logic 
programming is getting wider and wider.

Hamid Bacha
Logic Programming Research Group
Syracuse University