Dependent Type Theory Reading Group
Sunday, November 1st, 2026 at 2:00 PM
TBA, 雷德伍德城, CA 94063Redwood City, CA
About This Event
We will be reading Principles of Dependent Type Theory by Carlo Angiuli and Daniel Gratzer.
More Events in Redwood City
See more events in Redwood City →
PMP Certification Training in Foster City, CA | PMI Exam Prep
December 22nd, 2026
358 Marine Parkway #500, Redwood City, CA 94065Redwood City, CA
4-Day PMP Certification Classroom Training in Alta | 35 Contact Hours | Live Instructor-Led | 8th Edition 2026 Exam Prep
Silent Book Club- Redwood City Fireside Books
November 17th, 2026
2421 Broadway, Redwood City, CA 94063Redwood City, CA
We're moving! Please join us at Fireside Books Redwood City- our new regular location! Bring your latest read in any format you prefer! Meetings will happen every fourth Thursda
RESET Before the Holidays
November 17th, 2026
1018 Main Street, Redwood City, CA 94063Redwood City, CA
A Free Community Workshop for Reflection, Clarity & Intention