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號）。
======================================================================
宗旨