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!!

On my way to Bochum to teach a course on Categorical Realizability at the European Summer School in #Logic, Language and Information ๐Ÿ˜„ #esslli2025 #esslli
#ESSLLI is when in your course you give students a puzzle and it takes less than 24 hours for someone to solve it ๐Ÿ˜„

https://malv.in/2025/esslli-gossip/
Gossip and Knowledge | ESSLLI 2025

[XXXXXXXXXX]
100% ๐ŸŽ‰

Hallo Bochum!

#esslli #esslli2025
Biking to #esslli #esslli2025 progress:
[XX________]
20%

โœจEuropean Summer School for Logic, Language and Information 2025โœจ in Bochum, Germany:
- 47 courses & workshops
- 4 exciting evening lectures
- social events
- explore the Ruhr area
Early bird registration deadline: May 31!
#esslli2025 #esslli #logic #linguistics #compSci #nlproc #summerSchool #rub https://2025.esslli.eu/

Edit: Boosts appreciated ๐Ÿค—

Welcome to ESSLLI 2025

ESSLLI 2025

ESSLLI 2025

No one has noticed my note taking alphabet yet, apparently...

#ESSLLI #conlanging