Informal Proofs
Events
Sign in
← INDEX
NO. 001 — PAST
Tuesday, June 23, 2026 · 6:30 PM
Stewart Bird, Ian Glover, and James Hinton
The first gathering. Three talks on machine intelligence, then a long argument over drinks.
Ridgewood, Queens
DIRECTIONS
ATTENDANCE
This event has concluded.
GOING (3)
Stewart Bird
Ian Glover
James Hinton
INFORMAL PROOFS, NEW YORK