Upcoming Talks and Travel

  • 4/1/25: Carnegie Mellon Logic Seminar.
  • 5/20/25: Canadian Discrete and Algorithmic Mathematics Conference (CanaDAM)