![Peter LeFanu Lumsdaine giving a talk at The Stockholm Logic Seminar [Zoom in 🔍]](/img/peter-lefanu-lumsdaine.png)
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!
![Per Martin-Löf listening attentively. He always ask insightful questions during talks. [Zoom in 🔍]](/img/per-martin-lof.png)
![Erik Palmgren organised the seminar in those days. [Zoom in 🔍]](/img/erik-palmgren.png)
![Jacopo Emmenegger was a PhD student in Stockholm at the same time as me. [Zoom in 🔍]](/img/jacopo-emmenegger.png)
Expecting a comment section? Feel free to e-mail me your comments, or otherwise contact me to discuss the content of this site. See my contact info. You can also write your opinion on your own website, and link back here! ☺