Skip to main content



Overview

TPLS is the Theory B seminar and reading group at Cornell. Every week, we read and discuss a paper that has something to do with programming language theory, logic, or semantics of systems. The seminar has been going on since Spring 2014. A list of all semesters is below.

Mailing list

Sign up for the TPLS mailing list by sending an empty e-mail with subject "join" to .