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

计算机科学的基础和数学方面（AMS 会议）将于 1995 年 11 月在肯特州立大学举行

• 批准号: 9529950
• 负责人: Meera Sitharam
• 金额: $ 0.7万
• 依托单位: Kent State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1995
• 资助国家: 美国
• 起止时间: 1995-11-01 至 1996-10-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9529950&HistoricalAwards=false
• 关键词: Foundations; Mathematical; Aspects; Computer; Science

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. ***

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