Research group
Programming Languages and Tools Lab
Programs and Proofs: Mechanizing Mathematics with Dependent Types
August 25 — August 29, 2014
Instructor: Ilya Sergey, IMDEA Software Institute, Madrid, Spain.
School synopsis is available at the Russian version of this page.