2025-10-30, Thursday

Found some old sketches I made many years ago in The Stockholm Logic Seminar. At that time, the seminar was held in room 16 of building 5 at Kräftriket. Peter LeFanu Lumsdaine held the seminar, but I not sure exact which one this was, maybe 2015 or 2016. Judging by the blackboard content it had something to do with the semantics of type theory. I was paying attention to the talk, but also just doodling away on my note book. The result was a set of small sketches of the people listening, as well as the speaker himself.

My original sketches were crude, so I will not be uploading those, but I gave them to an LLM and asked it to clean them up slightly. I felt they somewhat captured the characters in the room. I miss those days, and I miss Erik in particular. My time as a PhD student at Stockholm University was a good one!