Deep Specifications in the Wild Workshop 2017 [external page]
DeepSpec@PLDI 2018 [external page]
Summer School 2017 [external page]
Summer School 2018 [external page]
Workshop 2016 [external page]