Foundations and Mathematical Aspects of Computer Science (An AMS session) to be held at Kent State University, November,l995

这个项目为1995年11月3 - 4日肯特州立大学美国数学学会中央分会题为“计算机科学的基础和数学方面”的特别会议的演讲者和参与者费用提供资金。这次特别会议的目的是鼓励数学家和更多的理论计算机科学家之间的互动。这样的互动目前是罕见的，并且将使两个社区受益：形式化和解决计算机科学理论中出现的许多具有挑战性的问题的过程不仅受益于数学公式，而且通常需要发展新的和深入的数学。本次会议的目的是建立对这些特殊联系和问题的认识，并与参加AMS会议的数学家打开沟通渠道。事实上，正式会议（包括概述算法、复杂性理论、计算学习理论、计算几何、并行计算模型、概率和随机计算、计算机安全和密码学等领域的问题的演讲）和计划中的开放问题会议（交换解决技术和问题）都应该促进数学家和计算机科学家之间的跨学科合作。本项目由三个NSF项目分别资助：CCR计算理论项目、DMS计算数学项目和DMS代数与数论项目。＊＊＊

9529950 Sitharam This project funds the speaker and participant costs for a special session, titled ``Foundations and Mathematical Aspects of Computer Science'', of the Central Section of the American Mathematical Society, Kent State University, November 3 -- 4, 1995. The purpose of this special session is to encourage interaction between mathematicians and the more theoretical computer scientists. Such interaction is currently rare, and would benefit both communities: the process of formalizing and solving many challenging problems that arise in computer science theory not only benefits from the mathematical formulation but often requires the development of new and deep mathematics. The aim of this session is to create awareness of these special connections and problems, and to open communication channels with mathematicians attending the AMS Meeting. In fact, both the formal session (with talks that outline problems in such areas as algorithms, complexity theory, computational learning theory, computational geometry, parallel computing models, probabilistic and randomized computation,and computer security and cryptography), and the planned open problem sessions (for an interchange of solution techniques and problems) should facilitate interdisciplinary collaborations between mathematicians and computer scientists. There are three NSF programs which are split funding this project: Theory of Computing Program of CCR, Computational Mathematics Program of DMS, and Algebra and Number Theory Program of DMS. ***