2010 「邏輯、語言與計算」暑期研習營 (FLOLAC ’10)

FLOLAC 2010 的網站已經做好很久了。之前一直在等所上和台大進修推廣部正式通過。今年請到了、 Yale University 的 Paul Hudak 來演講。課程則聚焦在語意上，對於正式學習程式語言相關知識應會很有用。對了，還送課本一本唷！請大家多幫忙把消息傳出去吧！

2010 Formosan Summer School on Logic, Language, and Computation (FLOLAC ’10)

2010 「邏輯、語言與計算」暑期研習營暨「高等程式語言：語意、分析與工具」暑期課程碩士學分班。

• 日期: 2010 年六月廿八日（週一）至七月九日（週五）。
• 時間: 每週一至週五早上九點至下午五點。
• 地點: 國立台灣大學進修推廣部 2 樓 207 教室（台北市106羅斯福路4段107號）。

宗旨

近年來，從事基礎計算科學研究之台灣學者們已在各校各自成立研究團隊並相互合作。對基礎計算科學有興趣之學生須透過一系列課程學習基本知識。然而，國內從事此類研究的學者分散在各校，難以僅靠一己之力開設整套課程。因此，我們邀請有相同興趣的學者一同開課，訓練下一代的研究人才。

「邏輯、語言與計算」暑期研習營希望培養學員獨立進行基礎計算科學研究之能力。從第二年起，本研習營在兩大主題之間輪流替換。今年（偶數年）之主題為高等程式語言，奇數年則以模型檢查與程式驗證為主題。

本研習營同時為台灣大學進修推廣部「高等程式語言：語意、分析與工具」暑期碩士學分班，研習時數（含考試）共 54 小時。修習結束經考試及格後，授予碩士學分三學分。也歡迎有興趣之社會、業界人士參加。

「邏輯、語言與計算」暑期研習營曾在 2007、 2008 、2009 年舉辦，今年為第四屆。

課程與講者

課程	講者
函數編程 Functional Programming	陳恭 Kung Chen 政治大學資訊科學系
特別演講 Special Lecture	Paul Hudak Yale University
操作語意 Operational Semantics	陳恭 Kung Chen 政治大學資訊科學系
邏輯 Logic	謝邁思 Max Schäfer Oxford University Computing Laboratory 莊庭瑞 Tyng-Ruey Chuang 中央研究院資訊科學研究所, 台灣大學資訊管理學系
指稱語意 Denotational Semantics
程式建構與推理 Program Construction and Reasoning	穆信成 Shin-Cheng Mu 中央研究院資訊科學研究所
使用 Frama-C: 以整合靜態分析技術驗證 C 程式 Using Frama-C: Collaboration of static analysis techniques towards the verification of C code	Pascal Cuoq Commissariat à l’Énergie Atomique

主辦單位

中央研究院資訊科學研究所、台灣大學資訊管理學系、政治大學資訊科學系聯合主辦，台灣大學進修推廣部協辦。

課程委員

陳恭 Kung Chen, 政治大學資訊科學系。
莊庭瑞 Tyng-Ruey Chuang, 中央研究院資訊科學研究所、台灣大學資訊管理學系。
穆信成 Shin-Cheng Mu, 中央研究院資訊科學研究所。
謝邁思 Max Schaefer, Oxford University Computing Laboratory.
蔡益坤 Yih-Kuen Tsay, 台灣大學資訊管理學系。
王柏堯 Bow-Yaw Wang, 中央研究院資訊科學研究所、台灣大學資訊管理學系。

課務統籌

張少娟 Shao-Chuan Chang, 中央研究院資訊科學研究所。

報名資訊

詳見網站: http://flolac.iis.sinica.edu.tw/flolac10/