※ 引述《xcycl (XOO)》之铭言：
: 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号）。
: ======================================================================
报名人数不足，大家快来报名喔... 不一定要全程参与，
毕竟对上班的人来说，要请两周的假是有点困难。
如果有兴趣却还在犹豫的话，就来报名吧 :D
绝对能在这边听到很多其他地方不容易听到的东西，
不一定对“工作”有帮助，但几天的时间能看看这些东西，
长远看来肯定是很有价值的。
p.s. 我会出席部份课程，因为全部有点不方便