Hello everyone! Welcome to our ninth meetup! We have some BIG news:

1. We will now be meeting more regularly! Intersections K∩W will meet the second Tuesday of every month (wow!)
2. We have a new format: we will still have one regular speaker each meetup. However, each meetup will start with a talk about a paper that everyone can read beforehand!
3. You are all amazing! (did you know?!)

For our ninth meetup, we will discuss a paper (link below) describing a theorem about primes that is proved... wait for it... on a chess board! If you thought those black and white squares were just good for diner floors and intellectual tomfoolery, well, here's some more thoughtfoolery!

Our speaker for this meetup will be Stephen Paul Weber. Stephen will take us beyond Hindley-Milner, into the exotic land of higher-ranked, polymorphic equivalences. As I type these letters I have no idea what that means either.

• "A Theorem About Primes Proved on a Chess Board" by Loren C. Larson (presented by Someone (Steven?)). (link: http://amotlpaa.nfshost.com/tmp/Lar1977.pdf)
• "Beyond Hindley-Milner: Higher-rank Polymorphism Equivalences" by Stephen Paul Weber(https://singpolyma.net/)

Intersections K∩W Anti-Harassment Policy