2014 Formosan Summer School on Logic, Language, and Computation (FLOLAC ’14) http://flolac.iis.sinica.edu.tw/flolac14/lib/tpl/arctic/images/favicon.ico