The weekly Principles of Programming and Verification (POPV) seminars are hosted by the POPV research group at Boston University. These seminars delve into various aspects of programming languages and verification, including but not limited to: program semantics, program logics, type systems, proof systems, synthesis and learning, as well as the mathematical foundations of these topics. While our focus is currently on in-person participation, we also welcome remote attendees via Zoom. Researchers from other institutions are also welcome to attend, both in-person and over Zoom.
The schedule for the current term, and an archive of past terms’ seminars can be found below (unembedded version available here). To stay updated on upcoming talks and any schedule changes, subscribe to the POPV mailing list and the POPV Google Calendar (iCal).
If you are interested in presenting at our seminars or visiting the POPV group, please reach out to our organizers: Ugur Yavuz, Ankush Das, or Marco Gaboardi.