Fall 2025

Where: Davis 113A
When: Tuesdays at 1:00 PM (room opens at 12:30)

• Aug 26: Coordination and Planning Meeting
• Sep 2: Panel Discussion: Internships and Post-PhD Employment (Keith, Mason, Sai)
• Sep 9: Keith presents: "CLC for MPI"
• Sep 16: Mason presents "Functional programming with bananas, lenses, envelopes and barbed wire"
• Sep 23: Oliver presents "How to Attend a Conference"
• Sep 30: Andrew M. presents on a topic TBD, but related to strings
• Oct 7: TBD
• Oct 14: Fall Break - DBPL Not Meeting
• Oct 21: Pratik presents on a topic TBD
• Oct 28: Harry presents "How to establish and manage collaborations"
• Nov 4: TBD Guest speaker from UMD
• Nov 11: Nitin presents on a topic TBD
• Nov 18: TBD
• Nov 25: Thanksgiving Week - Informal Meeting
• Dec 2: TBD

(Submit edits at UB-DBPL/Website at Codeberg)

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: Grant presents a practice talk "Causal Types and Their Dennotational Semantics"
• May 6: Guest Speaker: Arlen Cox