Introduction to Type Theory (and proof systems)
Here’s a link to the event, and another one.
Being in a room with like-minded people was pretty refreshing and the background of the attendees was vast, from engineers to philosophers of Mathematics; I’d love to organise such an event at a later point in my journey.
The content of the class happened to overlap with my Agda experience so far, but nonetheless I managed to ask some good questions that were met with clarifying answers, which is nice :)
I think that the installation of Agda was a unifying experience (as most attendees had troubles in the beginning); on the upsdie, I believe that some people will continue their journey after this first exposure!
Shortly after Dr. Sarikaya (the organiser of the event, to which I’m thankful) started a podcast with Prof Altenkirch called aboutlogic, which I found to be pretty pleasant to listen to; you can find it here.
A group photo (found in the website above).
