The weekly Principles of Programming and Verification (POPV) seminars are hosted by the POPV新濠影汇线上赌场研究组 at 波士顿大学. 这些研讨会深入新濠影汇线上赌场研究了编程语言和验证的各个方面，包括但不限于：程序语义、程序逻辑、类型系统、证明系统、综合和学习，以及这些主题的数学基础。 虽然我们目前的重点是亲自参与，但我们也欢迎通过Zoom远程与会者。 也欢迎其他机构的新濠影汇线上赌场研究人员亲自或通过Zoom参加。
The schedule for the current term, and an archive of past terms’ seminars can be found below (unembedded version available 在这里). To stay updated on upcoming talks and any schedule changes, subscribe to the POPV邮件列表 and the POPV谷歌日历 (iCal).
If you are interested in presenting at our seminars or visiting the POPV group, please reach out to our organizers: Ugur•, Ankush Das, or 马可Gaboardi.