Support for Student Speakers at MFPS

提案编号：0080973 PI's Name：Bloom，Stephen L.Institution：Stevens Institute of Technology职称：支持学生发言人在MFPS '00摘要这个项目提供资金，以抵消研究生出席研讨会的费用数学基础的编程语义，MFPS-2000，将在史蒂文斯理工学院4月12日至16日，MFPS-2000的特邀演讲者包括Samson Abramsky，Rance Cleaveland，Andy Gordon，Robin米尔纳，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.