Talks in Korea, Japan and China

• Using the Computer to Prove the Correctness of Programs, Chung-Ang University, Korea, Sep 29, 2003.
• Trying to understand records, projections and constructors ..., Kyoto University, Japan, Nov 2003.
• Subsets in type theory, Kyoto University, Japan, Nov 2003.
• XML -- from a Programming Language Perspective, Chung-Ang University, Seoul, Korea, Nov 2003.
• An Introduction to Martin-Lof's Constructive Type Theory and a computer implementation of it. Seoul National University, Korea, Nov 2003.
• An Introduction to Martin-Lof's Constructive Type Theory and a computer implementation of it. AIST, Amagasaki, Japan, Dec 2003.
• An Introduction to Martin-Lof's Constructive Type Theory and a computer implementation of it. Nanjing University, China, Dec 2003.
• XML -- from a Programming Language Perspective, Nanjing University, China, Dec 2003.
• Computability and Self-interpretation, The Renaissance Club, Seoul, Korea, Jan 2004
• Martin-Lof's Type Theory Korean SIGPL Winter School on Logic in Computing Research, Mallipo, Korea, February 11-13, 2004