2008 Formosan Summer School on Logic, Language, and Computation (FLOLAC '08) http://flolac.iis.sinica.edu.tw/flolac08/lib/tpl/flolac08/images/favicon.ico