Seminar Schedule.
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
- Mar 17: Spring Break
- Mar 24: Nitin presents TBD
- Mar 31: Visiting Speaker: Ryan Marcus
- Apr 7: Geetansh presents TBD
- Apr 14: Pratik presents TBD
- Apr 21: Victoria presents TBD
- Apr 28: Vincent presents TBD
- May 5: Mike presents TBD
(Submit edits at UB-DBPL/Website on Codeberg)