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. TBD

Possible general discussion / faculty-led topics:

  • Academic job market overview (post-doc and faculty)
  • Research-oriented positions in industry
  • Overview of faculty life (getting the job, expectations, grant processes, etc.)