Proposed Joint Japanese/American Workshop on Future Trends in Logic Programming

为期三天的研讨会将讨论逻辑编程的未来趋势， 1989年10月11日至13日在伊利诺斯州阿贡举行。 讲习班 将由阿贡国家实验室和 日本新一代计算机技术研究所（ICOT）。 目的是提供一个公开论坛，供 美国和日本的逻辑学研究者谈逻辑学的最新进展 演绎法发展的影响 数据库、人工智能和多处理。 的 研讨会将举办25场讲座，主题包括 多处理，约束逻辑程序设计，知识 代表性和编程的逻辑基础。 与会者还将有充足的时间进行非正式和公开的讨论。 讨论。 预计研讨会结束后， 研究人员将在逻辑编程项目上进行合作 research. 因此，研讨会将具有以下长期效益： 以健康的合作精神促进科学进步。

A three day workshop on future trends in logic programming will be held in Argonne Illinois, October 11 thru 13, 1989. The workshop will be coordinated by Argonne National Laboratory and by the Institute for New Generation Computer Technology (ICOT) of Japan. The objective is to provide an open forum for discussion between American and Japanese researchers on recent advances in logic programming and on the impact of developments in deductive databases, artificial intelligence, and multiprocessing. The workshop will feature 25 lectures on such topics as multiprocessing, constraint logic programming, knowledge representation, and the logical foundations of programming. Participants will also be given ample time for informal and open discussions. It is expected that after the workshop is over, researchers will collaborate on projects in logic programming research. Thus the workshop will have the long term benefit of promoting scientific advances in a spirit of healthy cooperation.