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 網站上線

本研習營亦為台灣大學暑修課程「程式語言理論與型態系統」(課號:725 U3500)。
有學籍、欲選修本課程之同學請填寫學生用報名表單。更多細節請參考報名資訊

宗旨

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

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

自 2012 年起,本研習營正式成為台灣大學暑修課程,針對大學部學生開課,但亦歡迎研究生選修。台灣大學學生請填寫學生用報名表單。有學籍之其他學校學生可透過校際選修選課。無學籍之社會人士也可旁聽。更多細節請參考報名資訊頁

「邏輯、語言與計算」暑期研習營曾在 200720082009201020112012201320142015 年舉辦,今年為第十屆。

時間地點

  • 日期:2016 年 7 月 04 日 (週一) 至 7 月 15 日 (週五),共計 10 天。
  • 時間:每週一至週五早上 09:10 至下午 16:20
  • 地點:台灣大學管理學院一號館 102 教室。[地圖]

課程與講者

課程名稱 縮寫 堂數 講者
函數編程 (Functional Programming) FP 12 陳恭 Kung Chen
穆信成 Shin-Cheng Mu
λ 演算與型別 (Lambda Calculus and Types) LCT 09 陳亮廷 Liang-Ting Chen
基礎邏輯 (Elementary Logic) EmL 06 柯向上 Hsiang-Shang Ko
Martin-Löf 型別理論 (Martin-Löf Type Theory) MLT 06 柯向上 Hsiang-Shang Ko
依值型別編程 (Dependently Typed Programming) DTP 09 穆信成 Shin-Cheng Mu
特別講座:概率編程與塑模初探
(The taste of probabilistic programming and modeling)
SL 09 Oleg Kiselyov
邀請演講:程式語言設計實務
(Pragmatics of Programming Language Design)
Talk 03 Robby Findler
  • 本次 FLOLAC 全面引進「實習制」:
    • 課中將留大段時間讓學生手寫或上機練習,
    • 並有助教群隨時協助解決問題。
  • 請參加者自備電腦,可預先安裝 HaskellAgda 環境,亦可於第一天實習時安裝。
  • 更多課程簡介請參考課程簡介或是左側各課程分頁的連結。

課表

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

報名方法與時間

請參考報名資訊頁行事曆

主辦單位

聯合主辦。

課程委員

課務統籌

聯絡資訊

  • 如果有任何報名或是課程的問題,請寄信來 我們會儘快給予答覆與協助。

助教資訊

  • 待公布