Tuesday, October 4

@50 Years HQ, 192 Museum Way, San Francisco

09:00 – 10:00 am
Introductions

10:00 – 10:30 am
Workshop goals

10:30 – 12:00 am
Lightning presentations
Allison Duettmann, Foresight Institute: The Long-term Potential of Cryptocommerce
Mark S. Miller, Agoric: Computational Markets & Agoric Systems
Juan Benet, Filecoin: Crypto Tools for Paretotopia
Ying Tong Lai, Electric Coin Company: Intelligent Cooperation Tech Tree
Kate Sills, Independent: Tamper-evident logs and Unalterable Docs
Whyrusleeping, Protocol Labs: Better Directions for Using Information
Matjaz Leonardis, University of Oxford: How Random is Pseudorandom?

12:00 – 01:00 pm
Lunch (mentorship pairings)

01:00 – 02:30 pm
Lightning presentations
Deepak Maram, Cornell University: FGoAT: Proof of Location
Dean Tribble, Agoric: Blockchain Interoperability
Remco, Worldcoin: Privacy-preserving Proof of Personhood
Chhi’mèd Künzang, Protocol Labs: Turing-Complete Expression Evaluation for Recursive SNARKs
Ghada Almashaqbeh, University of Connecticut: Unclonable Polymers and their Cryptographic Applications
Henry de Valence, Penumbra Labs: Private Decentralized Exchange
Gernot Heiser, seL4: Security as Formal Verification
Anthony Aguirre, Future of Life Institute: Critical Number

02:30 – 03:00 pm
Break

03:00 – 04:30 pm
Lightning presentations
Matthew McAteer, Formic Labs: Private ML for Healthcare
Michael Freedman, Field’s Medalist: Cryptography in the Cryostat, Topological Phases of Matter
Amanda Ngo, Ought: Automating Complex Reasoning
Jeffrey Ladish, Anthropic: Information Security for AGI
Robin Hanson, George Mason University: Deflecting The Sacred
Jonathan Passerat-Palmbach, Imperial College: Challenges on the Path to Decentralized AI
Anna Yelizarova, Future of Life Institute: Windfall Trust

04:30 – 05:30 pm
Working group formation

05:30 – 07:00 pm
Dinner (mentorship pairings)

07:00 – 09:00 pm
Breakout drinks

Wednesday, October 5

@50 Years HQ, 192 Museum Way, San Francisco

09:00 – 10:00 am
Networking

10:00 – 12:00 pm
Working groups

12:00 – 01:00 pm
Lunch (mentorship pairings)

01:00 – 03:00 pm
Working group presentations 

03:00 – 03:30 pm
Next steps

04:00 – 06:00 pm
Aftershow drinks (mentorship pairings)