2017 Formosan Summer School on Logic, Language, and Computation http://flolac.iis.sinica.edu.tw/flolac17/
「邏輯、語言與計算」暑期研習營希望培養學員獨立進行基礎計算科學研究之能力。從2008年起，本研習營在兩大主題之間輪流替換。今年之主題為邏輯與正規驗證。
自 2012 年起，本研習營正式成為台灣大學暑修課程，針對大學部學生開課，但亦歡迎研究生選修。台灣大學學生可透過國立台灣大學暑期課程網選課，有學籍之其他學校學生可透過校際選修選課。
「邏輯、語言與計算」暑期研習營從2007年開始至今每年舉辦，今年為第十一屆。
最新消息
(2017/07/24) 收到校方通知，新增線上報名截止日。台大本校生線上報名於 7/31 截止，外校生報名於 7/25 截止。請務必報名並依選課程序進行選課、註冊等。