Name: Ninth Meetup: Higher-Ranked Existentialism, or How I Learned Proof By Chess
Start: 2015-05-12T19:00:00-04:00
End: 2015-05-12T22:00:00-04:00
Location: Boltmade

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
==============================

Intersections K∩W is dedicated to providing a harassment-free meetup experience for everyone, regardless of gender, gender identity and expression, sexual orientation, disability, physical appearance, body size, race, age or religion. We do not tolerate harassment of conference participants in any form. Sexual language and imagery is not appropriate for any meetup venue, including talks. Conference participants violating these rules may be sanctioned or expelled from the meetup at the discretion of the meetup organizers (Aaron Levin and Steven Taschuk).

Harassment includes verbal comments that reinforce social structures of domination related to gender, gender identity and expression, sexual orientation, disability, physical appearance, body size, race, age, religion; sexual images in public spaces; deliberate intimidation; stalking; following; harassing photography or recording; sustained disruption of talks or other events; inappropriate physical contact; and unwelcome sexual attention. Participants asked to stop any harassing behavior are expected to comply immediately.

If a participant engages in harassing behavior, the conference organizers may take any action they deem appropriate, including warning the offender or expulsion from the meetup. If you are being harassed, notice that someone else is being harassed, or have any other concerns, please contact a member of meetup staff immediately. Meetup staff can be identified by special badges identifying them as such.

Meetup staff will be happy to help participants contact hotel/venue security or local law enforcement, provide escorts, or otherwise assist those experiencing harassment to feel safe for the duration of the conference. We value your attendance.

For support:

- Organizer(s): Aaron Levin (vilevin@gmail.com, (416) 727-2977)
- Sexual Assault Support Centre of Waterloo Region: (519) 741-8633
- Local taxi: (519) 888-7777

Attribution: This anti-harassment policy is based on the example policy from the Geek Feminism wiki, created by the Ada Initiative and other volunteers. http://geekfeminism.wikia.com/wiki/Conference_anti-harassment

Aaron Levin

K∩W - Intersections KW

Technology

New Technology

Big Data

Data Science

Cloud Computing

Computer Programming

Programming Languages

Computer Science

Functional Programming

Machine Learning

Mathematics

Ninth Meetup: Higher-Ranked Existentialism, or How I Learned Proof By Chess

Boltmade

Share

K∩W - Intersections KW

Ninth Meetup: Higher-Ranked Existentialism, or How I Learned Proof By Chess

K∩W - Intersections KW

Details

Members are also interested in