This term’s seminar will be 11am Fridays, in Room 928.

  1. September 26: Chris will lead a discussion about an upcoming CICM 2025 paper on the software engineering aspects of maintaining large machine-checked proof libraries
  2. October 3: Colin will give a practice talk for his chapter of Gul Agha’s Festschrift book
  3. October 10: Ismail will give a practice talk for his upcoming PLOS 2025 paper
  4. October 17: Amirali will give a WIP talk
  5. October 24: Skipped
  6. October 31: Skipped
  7. November 7: Ramtin will give a practice talk for his upcoming ASE 2025 paper, Hierarchical Knowledge Injection for Improving LLM-based Program Repair. A preprint is here.
  8. November 14: Skipped
  9. November 21: Ernie will give a WIP talk.
  10. November 28: No seminar (day after Thanksgiving)
  11. December 5: TBD