Special Project: Workshop on Foundational Methods in Computer Science

特别项目：计算机科学基础方法研讨会

• 批准号: 9810675
• 负责人: James Hook
• 金额: $ 1万
• 依托单位: Oregon Graduate Institute of Science & Technology
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1998
• 资助国家: 美国
• 起止时间: 1998-05-15 至 1999-04-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9810675&HistoricalAwards=false
• 关键词: Special; Project; Workshop; Foundational; Methods

9810675 Hook, James Oregon Graduate Institute of Science and Technology Special Project: Workshop on Foundational Methods in Computer Science This award partially supports students and travel to a workshop on Foundational Methods in Computer Science that will bring together researchers working in category theory and computer science to foster more development on the middle ground where theory meets practice. Hosted by the Pacific Software Research Center (PacSoft) at the Oregon Graduate Institute of Science and Technology, the workshop will be held on May 29-31, 1998 with emphasis on seeking out applications and making ``tools'' of categories more accessible to computer scientists. The workshop begins with a day of tutorials aimed at students, educators and newcomers to category theory, followed by a day and a half of research talks. In bringing together leaders in the field of category theory with leaders in the field of computer science, the workshop offers the possibility of disseminating advanced techniques at a much deeper level of understanding than could be achieved through the literature alone.

9810675 胡克，詹姆斯 俄勒冈州科技研究生院 特别项目：计算机科学基础方法讲习班 该奖项部分支持学生和旅行的研讨会上 计算机科学的基础方法，将汇集 从事范畴理论和计算机科学的研究人员， 在理论与实践相结合的中间地带发展。 主办 太平洋软件研究中心（PacSoft）在俄勒冈州研究生院 科学技术研究所，研讨会将于5月 29-31，1998年，重点是寻找应用程序和制作"工具“ 计算机科学家更容易理解的类别。 研讨会以一天的辅导开始，针对学生，教育工作者， 和范畴理论的新手，然后是一天半的研究 会谈 在汇集领导人在范畴论领域与 计算机科学领域的领导者，研讨会提供了 在更深层次上传播先进技术的可能性 这比仅仅通过文学作品所能达到的理解更深刻。