Support for Student Speakers at MFPS

项目编号：0080973PI项目名称：Bloom， Stephen l .机构：史蒂文斯理工学院题目：MFPS '00学生演讲支持摘要本项目提供资金，以抵消研究生出席将于2000年4月12日至16日在史蒂文斯理工学院举行的编程语义数学基础研讨会（MFPS-2000）的费用。MFPS-2000的受邀演讲者包括Samson Abramsky， Rance Cleaveland, Andy Gordon, Robin Milner, Peter O'Hearn和Dana Scott，他们每个人都以与学生的杰出互动而闻名。MFPS一直对研究生很热情，通常吸引了很多学生，他们发表了大量的演讲。此外，由于地理位置的原因，研究生的参与度可能会异常高。本次活动的参加者预计将少于100人，允许重要的学生与研究人员互动。

Proposal Number: 0080973PI's Name: Bloom, Stephen L.Institution: Stevens Institute of TechnologyTITLE: Support for Student Speakers at MFPS '00 AbstractThis project provides funding to offset the cost of graduate student attendance at the Workshop on Mathematical Foundations for Programming Semantics, MFPS-2000, to be held at Stevens Institute of Technology April 12-16, 2000.Invited speakers for MFPS-2000 include Samson Abramsky, Rance Cleaveland, Andy Gordon, Robin Milner, Peter O'Hearn, and Dana Scott, each of whom is known for outstanding interaction with students. MFPS has always been hospitable to graduate students, usually attracting a good number of students, who present a significant number of talks. In addition, because of the location, graduate student participation could be unusually high.Attendees at this event are expected to number less than 100, permitting significant student-researcher interaction.