DeepSpec
 
The Science of Deep Specification
Deep Specifications in the Wild Workshop 2017 [external page]
Summer School 2017 [external page]
Workshop 2016 [external page]