July 27, 2023
2023
I gave a talk at Highlights (of Logic, Games and Automata). You can find my slides here.