Minicourses and Special Lectures 2007       - Minicourse on Automated Theorem Proving 2008       - Minicourse on Multiplicative Invariant Theory   - Lectures : Introduction to Operads and Polyhedra   - Lectures on Optimization and Combinatorics 2009       - Khoá học: Chứng minh hình thức và Chương trình Flyspeck