Workshop on Logic Related to Computer Science and Programming Language Theory at the Mathematical Sciences Research Institute, in Berkeley from 11/13/89 to 11/17/89.

与计算机科学和编程语言理论相关的逻辑研讨会于 2089 年 11 月 13 日至 11 月 17 日在伯克利数学科学研究所举行。

• 批准号: 8913516
• 负责人: Irving Kaplansky
• 金额: $ 1万
• 依托单位: Mathematical Sciences Research Institute
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1989
• 资助国家: 美国
• 起止时间: 1989-09-15 至 1991-02-28
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8913516&HistoricalAwards=false
• 关键词: Workshop; Logic; Related; Computer; Science

This project supports a workshop on Logic related to Computer Science and Programming Language Theory to be held at the Mathematical Sciences Research Institute (MSRI) in Berkeley, from November 13 to November 17, 1989, in conjunction with MSRI's 1989-1990 Program in Logic. Somewhat different from other meetings in the booming research area between Logic and Computer Science, this workshop will focus on the influx of ideas from Computer Science to Logic. The idea is to bring together some of the best researchers in this interdisciplinary field and encourage them to think about and focus in their talks on the implications of their work for logic. It is hoped that the proceedings of the workshop will be a useful Sourcebook for Current Research in Logic Motivated by Computer Science.

这个项目支持一个与计算机科学相关的逻辑研讨会 和编程语言理论将在数学科学举行 伯克利研究所（MSRI），11月13日至11月17日， 1989年，与MSRI的1989-1990逻辑程序结合。 有些 不同于其他会议在蓬勃发展的研究领域之间 逻辑和计算机科学，本次研讨会将重点关注 从计算机科学到逻辑。 我们的想法是把 一些最好的研究人员在这个跨学科领域， 鼓励他们在演讲中思考并关注 他们的工作对逻辑的影响。 希望诉讼程序 研讨会将是一个有用的原始资料，目前的研究， 计算机科学驱动的逻辑。