2010 Formosan Summer School on Logic, Language, and Computation
FLOLAC '10
2010 “逻辑、语言与计算”暑期研习营
暨“高等程式语言：语意、分析与工具”暑期课程硕士学分班。
http://flolac.iis.sinica.edu.tw/flolac10/
日期: 2010 年六月廿八日（周一）至七月九日（周五）。
时间: 每周一至周五早上九点至下午五点。
地点: 国立台湾大学进修推广部 2 楼 207 教室（台北市106罗斯福路4段107号）。
======================================================================
宗旨