A series of talks based on research topics in logic, semantics, type theory, category theory, etc. Aimed at
PhD students and interested master’s students.
If you have a question about this list, please contact: Nathanael Arkor; Alex Rice; Calin Tataru. If you have a question about a specific talk, click on that talk to find its organiser.