2016「邏輯、語言與計算」暑期研習營 (FLOLAC ’16)
| 最新動態 | |
|---|---|
| 2016/07/14 | FLOLAC16 課程問卷、證書所需資訊調查 ！ |
| 2016/07/12 | 公佈 特別講座 教材！ |
| 2016/07/11 | 上傳 依值型別編程 教材！ |
| 2016/07/05 | 上傳 λ 演算與型別 教材！ |
| 2016/07/04 | 更新 Agda 安裝指南！ |
| 2016/07/04 | 上傳 函數編程、基礎邏輯、Martin-Löf 型別理論 教材！ |
| 2016/05/31 道歉啟事 |
由於設計上的錯誤，導致旁聽表格一度截止填單。 特此公告旁聽名額還沒有額滿，歡迎於 6/16(四) 24 時前線上填送旁聽用報名表 |
| 2016/05/23 | 報名細節出爐囉！ |
| 2016/05/10 | 重要日程請參考行事曆！ |
| 2016/05/09 | 特別講座 講者/講題出爐囉！ |
| 2016/05/03 | 邀請演講 講者/講題出爐囉！ |
| 2016/04/16 | 學生用報名表單 上線 |
| 2016/04/10 | 更新課程大綱 |
| 2016/04/01 | 網站上線 |
宗旨
「邏輯、語言與計算」暑期研習營希望培養學員獨立進行基礎計算科學研究之能力。從第二年起，本研習營在兩大主題 — 程式語言與形式驗證之間輪替。今年（偶數年）之主題為程式語言，正式學分班課程名稱為「程式語言理論與型態系統」。
本課程將講授程式語言與形式驗證領域之入門理論與知識，包含邏輯、λ calculus、函數編程 (functional programming)、Martin-Löf 型別、依值型別(dependent type)等等，希望培養學生以形式邏輯進行清晰思考的能力，了解邏輯與程式語言、型別系統的密切關係，以及型別系統在程式語言中扮演的角色，使學生能以歸納、遞迴方式理解並解決程式設計問題，能運用軟體工具輔助邏輯推理並證明程式之正確性，並具備在程式語言相關領域進行研究的能力。
自 2012 年起，本研習營正式成為台灣大學暑修課程，針對大學部學生開課，但亦歡迎研究生選修。台灣大學學生請填寫學生用報名表單。有學籍之其他學校學生可透過校際選修選課。無學籍之社會人士也可旁聽。更多細節請參考報名資訊頁。
「邏輯、語言與計算」暑期研習營曾在 2007、2008、2009、2010、2011、2012、2013、2014、2015 年舉辦，今年為第十屆。
時間地點
- 日期：2016 年 7 月 04 日 (週一) 至 7 月 15 日 (週五)，共計 10 天。
- 時間：每週一至週五早上 09:10 至下午 16:20。
- 地點：台灣大學管理學院一號館 102 教室。[地圖]
課程與講者
- 本次 FLOLAC 全面引進「實習制」：
- 課中將留大段時間讓學生手寫或上機練習，
- 並有助教群隨時協助解決問題。
- 請參加者自備電腦，可預先安裝 Haskell 和 Agda 環境，亦可於第一天實習時安裝。
- 更多課程簡介請參考課程簡介或是左側各課程分頁的連結。
課表
| Mon | Tue | Wed | Thu | Fri | Mon | Tue | Wed | Thu | Fri | ||
|---|---|---|---|---|---|---|---|---|---|---|---|
| 09:10 – 12:10 | FP | FP | FP | EmL | EmL | DTP | MLT | SL | SL | Exam | |
| 13:20 – 16:20 | FP | LCT | LCT | LCT | DTP | MLT | SL | DTP | Talk | Party |
報名方法與時間
主辦單位
聯合主辦。
課程委員
- 陳恭 Kung Chen, 政治大學資訊科學系
- 莊庭瑞 Tyng-Ruey Chuang, 中央研究院資訊科學研究所、台灣大學資訊管理學系
- 穆信成 Shin-Cheng Mu, 中央研究院資訊科學研究所、台灣大學資訊管理學系
- 蔡益坤 Yih-Kuen Tsay, 台灣大學資訊管理學系
- 王柏堯 Bow-Yaw Wang, 中央研究院資訊科學研究所
- 陳亮廷 Liang-Ting Chen, 美國夏威夷大學馬諾阿分校資訊與電腦科學系
- 柯向上 Hsiang-Shang Ko, 日本国立情報学研究所
課務統籌
- 張少娟 Shao-Chuan Chang, 中央研究院資訊科學研究所
聯絡資訊
- 如果有任何報名或是課程的問題，請寄信來 我們會儘快給予答覆與協助。
助教資訊
- 待公布。
