It was very thoughtful of the #ESSLLI organizers to prepare the time-left cards

Original post on mathstodon.xyz

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 […]

On my way to Bochum to teach a course on Categorical Realizability at the European Summer School in Logic, Language and Information 😄 #esslli2025 #esslli

Original post on fediscience.org

✨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 […]

The 5th NALOMA (Natural Logic Meets Machine Learning) workshop, co-located with ESSLLI, invites short/long papers (to appear in the ACL anthology proceedings) and (non-archival) extended abstracts.
More details of the call👉https://naloma.github.io
#NLProc #ESSLLI