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.

该项目支持一个与计算机科学和程序设计语言理论相关的逻辑研讨会，该研讨会将于1989年11月13日至11月17日在伯克利的数学科学研究所（MSRI）举行，与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.