2010 Formosan Summer School on Logic, Language, and Computation (FLOLAC '10) http://flolac.iis.sinica.edu.tw/flolac10/lib/tpl/default/images/favicon.ico