Providing the tech community and other communities in Silicon Valley an affordable place to learn, collaborate and innovate so that anyone from any circumstance and background with an idea can build their dream.
Check out our events!
We are inviting you to join us to create virtual art by using traditional art supplies and exploring digital devices, we offer hands-on art activity and digital art creating tutorials with computer, tablet and 3D printing, students are welcome to bring their own laptop and tablet. Ages - 6+
We're pleased to have Professor Mooly Sagiv from Tel Aviv University and the Vmware Research Group speak to us on formal verification of smart contracts. We will begin the event with a short talk from Eric McCarthy of the Kestrel Institute on how ACL2 could be used to verify the EVM. Mooly's abstract: "Smart contracts define transactions to be executed on top of Blockchain technology. The combination of a decentralized secure computation platform provided by blockchains, and the rich expressiveness…
Inside the Dojo
3350 Thomas Road, Suite 150
Santa Clara, CA 95054
Email: [email protected]