Recent searches
Search options
Finding myself on this selection of accepted papers for TYPES 2025 gives me the “Big Bird turning up to a meeting to which he isn’t qualified” vibe, but regardless, I’m really looking forward to hanging out in Glasgow next month and learning lots of type theory.
@consequently I am sure that's how everyone feels at some point, so it's normal.
You should probably update your opinion about yourself!
@abuseofnotation oh, my opinion about myself is thoroughly context sensitive. I'm happy to be a fish out of water (to mix the metaphor) in *this* particular context. I rarely attend academic conferences so far outside my own core areas of expertise, and I'm looking forward to it.
@consequently I found that logicians and type theorists appreciate philosophy a lot, logic seems to be the only mathematical discipline where the connection with philosophy is still alive
@consequently You'll see, Types is great fun!
@consequently Looking forward to your visit! I'm sure Types will benefit from your perspective.
@pigworker I’m looking forward to it, too! I have a lot to learn, and it seems like a nice crew to hang out with for a week.
@consequently @pigworker you do know that you don’t need to attend TYPES to hang around @mspstrath ? Come any time!