About

The Yale Programming Languages (PL) Seminar is a bi-weekly colloquium focused on programming language. Topics may include type systems, compilers, formal methods, language design and implementation, and semantics.

To give a talk or join the mailing list, please reach out to the organizers.

Spring 2026

Meetings will take place bi-weekly in AKW 200 on Wednesdays at 1:30 PM (EST).

Student Organizer: Jack Czenszak
Faculty Organizer: Alex Lew

Schedule

02/04

Testing and Verifying Rust's Next Mile

Yoshiki Takashima (Yale University)

02/18

Coinductive Proof Systems for Private Program Verification

John C. Kolesar (Yale University)

04/01

Mining Beyond the Bools: Learning Data Transformations and Temporal Specifications

Sam Kouteili (Yale University)

04/15

SureDistrib: Verifying Almost-sure Termination of Composite Asynchronous Byzantine Protocols

Longfei Qiu (Yale University)