2012 「邏輯、語言與計算」暑期研習營 (FLOLAC '12)

總成績已經出來了！希望大家可以看一下自己的成績！ 請進入更多公告看成績細目！ :) 有問題請發 mail 給 jaiyalas(at)iis.sinica.edu.tw

• [2012/09/11] 期末考照片已經上傳。
• [2012/09/09] 第九天照片已經上傳。
• [2012/09/06] 型別系統作業解答已更新。
• [2012/09/06] 函數編程作業四及解答上網，請大家自行參考。
• [2012/09/06] λ 演算及型別系統作業解答上網。
• [2012/09/05] 函數編程作業三及解答上網。
• [2012/09/04] 第八天照片已經上傳。
• [2012/09/04] 第七天照片已經上傳。
• [2012/09/05] 邏輯作業二（部分）解答上網。
• [2012/09/04] 第六天照片已經上傳。
• [2012/09/03] 函數編程作業一、二解答上網。
• [2012/09/03] 邏輯作業一解答上網。
• [2012/09/02] 邏輯投影片更新。
• [2012/09/01] 第五天的課程照片！
• [2012/08/31] 特別演講: 給電腦科學家的邏輯系統 投影片更新。
• [2012/08/30] 第四天的課程照片也上傳了唷。
• [2012/08/29] 第三天的課程照片！
• [2012/08/28] 函數編程 exercise 2 題目與Caesar.ml均已更新，加入更多資訊。請抓最新版本。
• [2012/08/28] 第二天的課程照片也上線了！
• [2012/08/28] 第一天的課程照片上線了！
• [2012/08/27] 函數編程 講義、投影片、與作業 00, 01, 02 上網。
• [2012/08/27] FLOLAC 2012 正式開場！
• [2012/08/09] 函數編程 (Functional Programming) 講者由莊庭瑞老師改為穆信成老師。
• [2012/08/08] 特別演講 2 大綱上網。
  • Title: Gödel's Incompleteness Theorem
  • Lecturer: 董世平。
• [2012/08/02] 邏輯課程投影片上網。
• [2012/07/24] 特別演講 1 大綱上網。
  • Title: 給電腦科學家的邏輯系統
  • Lecturer: 侯昆邦 Kuen-Bang Hou (Favonia)。
• [2012/05/11] 更新報名細節。
• [2012/05/01] 網站上線。

「邏輯、語言與計算」暑期研習營希望培養學員獨立進行基礎計算科學研究之能力。從第二年起，本研習營在兩大主題 — 程式語言與正規驗證之間輪替。今年（偶數年）之主題為程式語言，正式學分班課程名稱為「程式語言理論與型態系統」。

本課程將講授程式語言與形式驗證領域之入門理論與知識，包含邏輯、λ calculus, 函數編程(functional programming)、型別(types) 等等，希望培養學生以形式邏輯進行清晰思考的能力，了解邏輯與程式語言、型別系統的密切關係和型態系統在程式語言中扮演的角色，使學生能以歸納、遞迴方式理解並解決程式設計問題，能運用軟體工具輔助邏輯推理並證明程式之正確性，並具備在程式語言相關領域進行研究的能力。

今年的 FLOLAC 研習營有如下改變：

• 本研習營首次成為台灣大學正式暑修課程，針對大學部學生開課，但亦歡迎研究生選修。台灣大學學生可透過國立台灣大學暑期課程網選課，有學籍之其他學校學生可透過校際選修選課。無學籍之社會人士也可旁聽。詳見報名資訊頁。
• 為配合暑修時間，今年 FLOLAC 改於暑期後段（8月27日至9月7日）舉辦。
• 今年請到任職於 Max Planck Institute for Software Systems 的 Arthur Charguéraud介紹程式語言學界影響力日增的定理證明/程式驗證工具Coq.

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

• 日期：2012 年 8 月 27 日 (週一) 至 9 月 07 日 (週五)，共計十天。
• 時間：每週一至週五早上九點十分至下午四點二十分。
• 地點：台大共同教室 203。

本課程於台灣大學暑期第二梯次開授，課號 725 U3500，為三學分之選修課。依據學校暑期行事曆，將在6/28公告課程訊息。

• 台大在校生
  • 請至國立台灣大學暑期課程網選課。
  • 網路選課: 2012 年 7 月 30 日 至 7 月 31 日。
  • 人工加退選: 2012 年 8 月 2 日 至 8 月 3 日。
• 非台大學生
  • 可至國立台灣大學暑期課程網辦理「外校學生上網報名」。
  • 網路選課: 2012 年 7 月 24 日 至 7 月 25 日。
• 無學籍之社會人士若欲旁聽，請聯絡 scm.

報名資格、費用、其他注意事項等詳細資訊詳見報名資訊頁。

中央研究院資訊科學研究所、台灣大學（資訊管理學系、資訊工程學系）、政治大學資訊科學系聯合主辦。

• 陳恭 Kung Chen, 政治大學資訊科學學系
• 莊庭瑞 Tyng-Ruey Chuang, 中央研究院資訊科學研究所、台灣大學資訊管理學系
• 穆信成 Shin-Cheng Mu, 中央研究院資訊科學研究所、台灣大學資訊管理學系
• 蔡益坤 Yih-Kuen Tsay, 台灣大學資訊管理學系
• 王柏堯 Bow-Yaw Wang, 中央研究院資訊科學研究所、台灣大學資訊管理學系
• 楊武 Wuu Yang, 交通大學資訊工程學系

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