🚀 go-pugleaf

			CALL FOR PAPERS - ICLP'93


	TENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING

			    Budapest, Hungary
			    June 21 - 24, 1993


	Sponsored by the Association of Logic Programming


The 1993 International Conference on Logic Programming will be held on June
21-24, 1993, in historic Budapest. Logic Programming is one of the most
promising approaches to declarative programming. It forms the theoretical
basis of the programming language PROLOG and its extensions. Also, work in
logic programming has contributed to several other areas: Artificial
Intelligence where it has been used for nonmonotonic and commonsense
reasoning, Expert Systems implementation, Deductive Databases and a variety
of applications such as computer aided manufacturing. The technical program
for the conference will include workshops, tutorials, invited lectures and
presentations of refereed papers.

Papers are invited on any aspect of logic programming, including (but
not limited to): 

   o Theory and foundations                o Applications
   o Programming methodologies and tools   o Artificial intelligence
   o Meta and higher-order programming     o Constraints
   o Parallelism, concurrency              o Partial deduction
   o Deductive databases                   o Bottom-up evaluation
   o Implementations and architectures     o Compilation techniques


Papers must be written in English and should not exceed 5000 words,
excluding references. Papers should include a 200 word abstract and keywords
to define a topic. Submitted papers (or any portion thereof) should not have
been previously published or submitted to any journals, refereed conferences
or workshops. Each accepted paper must be presented at the conference.
Submit six (6) copies by December 1, 1992 to:

David S. Warren
Department of Computer Science
SUNY at Stony Brook
Stony Brook, NY 11794-4400
U.S.A.
Email: warren@cs.sunysb.edu
Fax: +1 516 632-8334

Notification will be made in early March 1993. The proceedings will be
published by MIT Press. 

      Conference Chair: Peter Szeredi, IQSOFT, Hungary
                        szeredi@iqsoft.hu
         Program Chair: David S. Warren, SUNY at Stony Brook, USA
                        warren@cs.sunysb.edu
       Publicity Chair: Jim Crammond, Quintus, USA
                        jimc@quintus.com
  Workshop Coordinator: Mats Carlsson, SICS, Sweden
                        matsc@sics.se
    Local Organization: John von Neumann Society for Computing Sciences
                        huug@neumann.hu