A relaxed pub meetup for people interested in AI and mathematics
A relaxed pub meetup for people interested in AI and mathematics -- whether you’re into theorem proving, proof assistants or algorithm discovery.
The space has been moving quickly lately, and this is just a chance to meet others in Cambridge who are following it, swap notes, and maybe find collaborators.
No talks planned. Just drinks, conversation, and a few optional “what I’m working on” shares.
Who it’s for
- Maths MSc/PhD students, researchers, and curious builders
- People exploring proof assistants, automated reasoning, or algorithm search
- People who want to swap ideas, meet collaborators, or just hear what’s happening
Format
- Turn up, grab a drink, mingle
- Optional: quick informal shares (a few minutes each)
- Hang out + meet people + swap ideas
A relaxed pub meetup for people interested in AI and mathematics
A relaxed pub meetup for people interested in AI and mathematics -- whether you’re into theorem proving, proof assistants or algorithm discovery.
The space has been moving quickly lately, and this is just a chance to meet others in Cambridge who are following it, swap notes, and maybe find collaborators.
No talks planned. Just drinks, conversation, and a few optional “what I’m working on” shares.
Who it’s for
- Maths MSc/PhD students, researchers, and curious builders
- People exploring proof assistants, automated reasoning, or algorithm search
- People who want to swap ideas, meet collaborators, or just hear what’s happening
Format
- Turn up, grab a drink, mingle
- Optional: quick informal shares (a few minutes each)
- Hang out + meet people + swap ideas
Good to know
Highlights
- 3 hours
- In-person
Location
Pint Shop
10 Peas Hill
Cambridge CB2 3PN
How would you like to get there?
