SF Lean Meetup: Workshop on small-step semantics in Rocq
Weekly presentations and discussions about formal methods, software verification, AI, and math. Beginners welcome!...
Share
Date & Time
Tuesday, October 6, 2026
02:00 AM UTC
Location
Mox, San Francisco, US
Price
Similar Events
[Codex Community Meetup] Frontier Models in Production
The Missing Layer: What It Takes to Build Reliable Agents - Happy Hour w/Researchers at Meta, Snowflake, and Microsoft [epam x AI Circle]
YC Founders Mixer — SF Tech Week 2026
Droppa Analysis
EditorialSF Lean Meetup: Workshop on small-step semantics in Rocq is one of 177 Technology events in Droppa's database scheduled over the next 30 days; within San Francisco itself, 61 tech events are competing for attention in the same window.
This meetup is free to attend — notable given that 89% of upcoming Technology events we track are free.
Anyone interested in meetup events. The format skews beginner. Verified event hosted on luma.
If the date or format doesn't fit, the closest alternatives we track right now are [Codex Community Meetup] Frontier Models in Production (Oct 5), San Francisco, free; The Missing Layer: What It Takes to Build Reliable Agents - Happy Hour w/Researchers at Meta, Snowflake, and Microsoft [epam x AI Circle] (Oct 6), San Francisco, free; YC Founders Mixer — SF Tech Week 2026 (Oct 6), San Francisco, free.
Strong pick — quality score 90/100 puts this in the top tier of Technology events we currently track.
This analysis is compiled from Droppa's live event database and comparison engine, supervised by Joseph Anderson under our editorial policy. Figures reflect the database at the time this page was last generated.