DeepSpec
 
The Science of Deep Specification
MIT
Penn
Princeton
Yale