Spring 2025

Where: Davis 338A
When: Tuesdays at 1:00 PM

• Feb 4: Alex presents "Macros in Racket: Demo/Tutorial"
• Feb 11: Cheng-En presents "The Duality of λ-Abstraction"
• Feb 18: Pratik presents "Fundamentals of Data Integration"
• Feb 25: Oliver presents "Provenance Semirings"
• Mar 6: Guest Speaker: Yue Yao presents "Semantic Logical Relations for Timed Message-Passing Protocols" (Thursday Talk)
• Mar 11: Mike presents "Transfinite Logical Relations"
• Mar 18: Spring Break - DBPL Not Meeting
• Mar 25: PL faculty candidate - DBPL Not Meeting
• Apr 1: Keith presents "Analytic and Synthetic Judgments in Type Theory"
• Apr 8: Victoria presents "Lazy evaluation of transactions in database systems"
• Apr 15: PL faculty candidate - DBPL Not Meeting
• Apr 22: PL faculty candidate - DBPL Not Meeting
• Apr 29: TBD
• May 7: Guest Speaker: Arlen Cox
• May 13: TBD