Welcome to the homepage of CSE 645: Seminar in Languages, Fall 2025!
General Information
Course description: We will read papers and discuss research ranging from high-level specifications (such as logic, rules, and sets) to algorithms and methods for efficient implementations of programming languages, with a wide range of applications.
Everyone is welcome. If you are enrolled in the class, you are expected to attend a majority of the meetings and present a paper.
Instructors: Annie Liu, CR Ramakrishnan, Michael Kifer, David Warren, Paul Fodor.
Hours: Thursdays, 11am-12:20PM ET on Zoom
https://stonybrook.zoom.us/j/94298584108?pwd=OXRLemROdk8xOHY3NXFRV2xjQmhVUT09
Schedule
08/28 Organization and topics discussion
9/4 Paul will discuss: Paraconsistency and word puzzles. Tiantian Gao, Paul Fodor, Michael Kifer. Theory Pract. Log. Program. 16(5-6): 703-720 (2016)
https://arxiv.org/abs/1608.01338 . Slides