It was both a pleasure and a privilege to deliver 5 90-min blackboard (!) lectures on Categorical Realizability to 20β30 students and fellow lecturers at the European Summer School in #Logic, Language and Information (#ESSLLI).
I really enjoyed the interaction with all attendees and appreciated their excellent questions and comments: thank you!
Also, a huge thanks to @tschfflr and the other organizers for running #ESSLLI2025 so smoothly!!