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 Jack Czenszak.

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

Automatic Differentiation of Probabilistic Programs

Alex Lew (Yale University)