Deep Specification Overview

Silicon Valley Deep Specification
Silicon Valley Deep Specification
Public group

Room EC325, Bannan Engineering Building, Santa Clara University

500 El Camino Real · Santa Clara, CA

How to find us

See note on parking and finding the room under Discussions

Location image of event venue


If you've been waiting for an introduction to Deep Specification or would just like to meet some people interested in this area, this is your chance! This time, we will back off to a high-level view of this whole exciting area of research, aimed at developing a full-stack metal-to-applications ecosystem of tools and components for provably correct software development that is usable in the real world.