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

• Jan 27: Coordination and Planning Meeting
• Feb 3: Cheng-En's Thesis Proposal Defense
• Feb 10: Grant presents Event Structures
• Feb 17: Mason presents Separation Logic for Sequential Programs
• Feb 24: Keith presents Consistent Updates for Scalable Microservices
• Mar 3: Vincent presents Security Reasoning via Substructural Dependency Tracking
• Thursday, Mar 12: Visiting Speaker: Cassia Torczon (UPenn)
• Mar 17: Spring Break
• Mar 24: Nitin presents Concurrent ML
• Mar 31: Visiting Speaker: Ryan Marcus (UPenn)
• Apr 7: Geetansh presents : Ambiguity in LLM powered semantic query processing
• Apr 14: Xiangyu presents Mechanizing Lattice-Theoretic Tools for Cryptography in Lean (with LLM-Assisted Proof Engineering)
• Apr 21: Oliver presents Hedgelog: Efficient, Ergonomic Aggregation for Datalog
• Apr 28: Vincent presents Roundabout for Sufficiency and Necessity
• May 4: CSE Distinguished Speaker Talk: David Walker (Princeton) (11 AM in Davis 338A)
• ~~ May 5: Mike presents FP²: Fully in-Place Functional Programming~~
• May 12: Guest Speaker (remote; Knox 14): Yiming Lin Reading Between the Lines: Structure-Driven Analytics for Complex Documents