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.

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

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.