Japanese/American Workshop on Automated Reasoning, June 3-5, l991

日本/美国自动推理研讨会，1991 年 6 月 3-5 日

• 批准号: 9113560
• 负责人: Ewing Lusk
• 金额: --
• 依托单位: Department of Energy Argonne National Laboratory
• 依托单位国家: 美国
• 项目类别: Interagency Agreement
• 财政年份: 1991
• 资助国家: 美国
• 起止时间: 1991-04-01 至 1992-04-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9113560&HistoricalAwards=false
• 关键词: Japanese; American; Workshop; Automated; Reasoning

A three-day workshop on automated reasoning is proposed. The workshop will be held at Argonne National Laboratory on June 3-5, l991 and 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 current achievements and recent advances in automated reasoning. The workshop will feature presentations on such topics as classical automated theorem proving, rewriting systems, prolog technology, special-purpose reasoning methods, and open problems. Participants will also be given ample time for informal and open discussions. After the workshop is over, joint research projects will be undertaken. Thus, the workshop will have a long-term benefit of promoting scientific advances in a spirit of healthy cooperation.

建议举办为期三天的自动推理研讨会。该研讨会将于 1991 年 6 月 3 日至 5 日在阿贡国家实验室举行，由阿贡国家实验室和日本新一代计算机技术研究所 (ICOT) 协调。目的是为美国和日本研究人员讨论自动推理的当前成就和最新进展提供一个开放的论坛。研讨会将围绕经典自动定理证明、重写系统、序言技术、专用推理方法和开放问题等主题进行演讲。参与者还将有充足的时间进行非正式和公开的讨论。研讨会结束后，将开展联合研究项目。因此，研讨会将以健康合作的精神推动科学进步，具有长远效益。