Time: 2013 Nov. 6,7,13-15. Venue: Rm 335, XinZhai (新斋), […] [tutorial] Formal Learning Theory (Dick de Jongh)