From newshub.ccs.yorku.ca!torn!cs.utexas.edu!uunet!infonode!ingr!capalo!quintus!quintus!jimc Mon Nov  9 09:36:42 EST 1992
Article 7507 of comp.ai.philosophy:
Xref: newshub.ccs.yorku.ca comp.theory:2584 sci.logic:2169 comp.ai.philosophy:7507 comp.robotics:2627 comp.databases.theory:593
Newsgroups: comp.theory,sci.logic,comp.ai.philosophy,comp.robotics,comp.databases.theory
Path: newshub.ccs.yorku.ca!torn!cs.utexas.edu!uunet!infonode!ingr!capalo!quintus!quintus!jimc
>From: jimc@quintus.com (Jim Crammond)
Subject: CALL FOR PAPERS - ICLP'93
Message-ID: <1992Nov4.175006.13719@quintus.com>
Sender: news@quintus.com (USENET news account)
Nntp-Posting-Host: brodgar
Organization: Quintus Corporation, Palo Alto, CA
Date: Wed, 4 Nov 1992 17:50:06 GMT
Lines: 64

			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 must not exceed 15 pages, including
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 by March 1, 1993. The proceedings will be
published by MIT Press. 

Program Committee:
  Hassan Ait Kaci	Weidong Chen		William Clocksin
  Pierre Deransart	Danny De Schreye	Wlodzimierz Drabent
  Laurent Fribourg	Michael Gelfond		Gopal Gupta
  Tim Hickey		Jan Maluszynski		Maurizio Martelli
  Lee Naish		Lutz Pluemer		Antonio Porto
  Yehoshua Sagiv	Taisuke Sato		Marek Sergot
  Petr Stepanek		Peter Stuckey		V.S. Subrahmanian
  Peter Szeredi		Pascal van Hentenryck	Andrei Voronkov
  Mark Wallace		David S. Warren		Kazumasa Yakota

Conference Chair:   Peter Szeredi, IQSOFT, Hungary
Program Chair:      David S. Warren, SUNY at Stony Brook, USA
Local Organization: John von Neumann Society for Computing Sciences



