Deep Specification Overview

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.