Mathematical Sciences: Meeting: Logical Methods in Mathematics and Computer Science

逻辑方法在计算机科学和数学的许多领域发挥着越来越重要的作用。逻辑方法在这两个领域的问题上的应用，特别是如何应用逻辑方法来理解计算理论，包括研究数学中定理的有效性或计算性内容，以及如何使用逻辑方法来解决计算机科学中的各种问题，是本次会议活动的重点。主题包括递归理论、递归和多项式时间数学、计算的一般理论、自动机、复杂性理论，以及计算机科学中逻辑的各种其他应用，包括非经典逻辑，如时态和动态逻辑、并发编程、非单调推理、程序验证和混合控制。该项目将支持将于1992年6月1日至3日在康奈尔大学举行的数学和计算机科学中的逻辑方法会议。这次会议的目的是将来自数学和计算机科学的研究人员聚集在一起，探索逻辑方法在这两个领域的问题上的许多应用，并增加数学逻辑学家和计算机科学家之间的互动。

Logical methods are playing an increasingly important role in many areas of computer science and mathematics. The applications of logical methods to problems in both areas, in particular, the ways in which logical methods can be applied to understand the theory of computation including the study of the effective or computational content of theorems in mathematics and how logical methods can be used to solve a variety of problems in computer science are the foci of this conference activity. Topics will include recursion theory, recursive and polynomial time mathematics, the general theory of computation, automata, complexity theory, and various other applications of logic within computer science including non-classical logics such as temporal and dynamic logic, concurrent programming, nonmonotonic reasoning, program verification, and hybrid control. This project will support the Meeting on Logical Methods in Mathematics and Computer Science to be held at Cornell University from June 1-3, 1992. The purpose of this conference is to bring together researchers from both mathematics and computer science to explore the many applications of logical methods to problems in both areas and to increase the interaction between mathematical logicians and computer scientists.