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