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

标题：该奖项的第11届数学基础会议支持了关于编程语义的数学基础的系列会议的第11次会议。这一领域的研究范围从编程语言的设计到实现，侧重于这些语言的语义，并包括这些研究领域的基础数学领域。主题从类型理论、多态和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.