The 11th Conference on Mathematical Foundations of Programming Semantics, Tulane University, New Orleans, Louisiana

第11届数学基础会议（11th Conference on Mathematical Foundations of Mathematical 该奖项支持第十一次会议在一系列有关的数学基础的编程语义。 这一领域的研究范围从编程语言的设计到实现，重点是这些语言的语义，并包括这些研究领域的数学基础。 主题从类型论、多态性和lambda演算的模型到规范、程序逻辑和证明理论。 以前的会议的特点是与会者兴趣广泛，代表这些不同领域的研究人员之间进行了高度的互动。 该奖项的目的是帮助学生，并创造更广泛的机会参与这一研究界，特别是妇女和其他代表性不足的群体的成员。

TITLE: The 11th Conference on Mathematical Foundations of This award supported the eleventh meeting in a series concerned with the Mathematical Foundations of Programming Semantics. Research in this area ranges from the design to the implementation of programming languages, focusing on the semantics of such languages, and includes those areas of mathematics that underlie these research areas. Topics ranged from type theory, polymorphism, and models of the lambda calculus to specification, program logics, and proof theories. Previous meetings have been distinguished by the breadth of interests of the participants and by the high degree of interaction that has taken place between researchers representing these diverse areas. The purpose of this award was to assist students and to create wider opportunities for participation in this research community, in particular for women and members of other underrepresented groups.