Tim Seppelt
  • about
  • publications
  • cv
  • teaching

Announcement_6

July 25, 2023

2023

I gave a talk at Highlights of Logic, Games, and Automata. Check out my slides.

© Copyright 2025 Tim Seppelt. Powered by Jekyll with al-folio theme. Hosted by GitHub Pages.