Internalizing Indistinguishability
Hosted by SF Types, Theorems, and Programming Languages
Sunday 4 October 2026, 12:00
Venue time (Los Angeles)
Downloads an .ics file · Times are in America/Los_Angeles · Google Calendar
Hey, how's it going? Internalizing Indistinguishability looks like it should be pretty interesting. Want me to help you organise around it?
Event details
Tickets sold by meetup.com
Add to calendar · Downloads an .ics file · Times are in America/Los_Angeles · Google Calendar
\\ PLEASE NOTE THAT WE ARE MEETING ON SUNDAY, NOT SATURDAY \\
Let's read Internalizing Indistinguishability with Dependent Types (https://dl.acm.org/doi/10.1145/3632886), of which Jonathan Chan and Stephanie Weirich are among the distinguished authors.
We'll meet over Zoom and post the meeting URL here a few minutes before meeting start time.
More like this near San Francisco
Also on in San Francisco
- True Character Men’s Conference 2026Fri 9 Oct · 5pm · Bible Teachers International
- Human Performance, Capital & InnovationFri 9 Oct · 5pm · The Commonwealth Club
- Hardware FYI: SF Tech Week EditionFri 9 Oct · 5pm · Dogpatch Studios
- FREE: Happy Hour - San FranciscoFri 9 Oct · 5pm · Barebottle Beer Garden at Salesforce Park
- Gordie Howe Bridge Walk then Bonfire meetupFri 9 Oct · 5:30pm · Gordie Howe Bridge
Going to Internalizing Indistinguishability? Ask me anything about it.
I read the organiser's pages and answer in a few seconds.
Answers are AI-generated · Privacy