Special Project: Workshop on Foundational Methods in Computer Science

9810675胡克，詹姆斯俄勒冈科学技术研究生院特别项目：计算机科学基础方法研讨会该奖项部分支持学生参加计算机科学基础方法研讨会，该研讨会将汇集范畴论和计算机科学的研究人员，以促进理论与实践相结合的中间地带的更多发展。研讨会由俄勒冈科学技术研究生院的太平洋软件研究中心（PacSoft）主办，将于1998年5月29日至31日举行，重点是寻找应用程序，并使计算机科学家更容易获得类别的“工具”。研讨会开始的一天是针对学生、教育工作者和范畴理论新手的辅导课，随后是一天半的研究讲座。在将范畴论领域的领导者与计算机科学领域的领导者聚集在一起的过程中，研讨会提供了传播先进技术的可能性，这种技术比仅通过文献所能达到的理解层次要深得多。

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.