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.