LogSem Reading Groups

Reading groups are informal gatherings where we discuss papers and topics of mutual interest in logic, semantics, type theory, and related areas.

Current Reading Groups

• Proof Automation
• Probabilistic Programming

Past Reading Groups

Information about previous reading groups will be listed here.