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 [point here] .

All TPLS semesters

• Fall 2018
• Summer 2018
• Spring 2018
• Fall 2017
• Summer 2017
• Spring 2017
• Fall 2016
• Spring 2016
• Fall 2015
• Summer 2015
• Spring 2015
• Fall 2014
• Spring 2014