若有疑問，請聯繫公告聯絡人:

FLOLAC 2026 籌辦團隊 she28694@as.edu.tw
-----------------------------------------------------------------------------------

敬啟者：

您好。由中央研究院資訊科學研究所與國立臺灣大學資訊管理學系共同主辦之 「2026 邏輯、語言與計算暑期研習營（FLOLAC 2026）」 報名作業即將展開。

本研習營旨在引導學生深入探索程式語言背後的核心數學與邏輯，歷年來吸引許多對計算理論、形式驗證與資訊科學感興趣的學子參與。本屆活動於臺灣大學暑期第一梯次開設正式選修課程，開放校外大專院校在學學生修課，亦歡迎申請旁聽。

特此致信，懇請 貴系所協助將此暑修及旁聽資訊轉發至系所學士與碩士學生電子郵件群組，鼓勵同學踴躍報名參加。

以下為本屆研習營之重要資訊與報名時程，供貴系所及同學參考：

暑期課程摘要
* 課名：程式語言理論與型態系統
* 課程課號：725 U3500
* 學分數：3 學分（請同學選課前先洽貴系所確認學分抵免相關規定並辦妥手續）
* 上課時間：2026 年 6 月 29 日至 7 月 10 日（每日 09:10-12:10, 13:20–16:20）
* 上課地點：國立臺灣大學管理學院一號管 102教室
* 暑修費用：依臺灣大學校外暑修規定缴交學分費與手續費

校外學生報名與選課時程
本活動區分為「正式修課」與「旁聽」兩種參與途徑：
* 非臺灣大學學生（修課）：
    * 報名時間：6 月 2 日 與 6 月 3 日（僅有兩日，請務必留意）
    * 報名管道：請至「臺大暑期課程網」進行報名，報名後須辦理臺大規定之外校報名相關手續，方完成選課。
* 社會人士及在學學生（旁聽）：
    * 報名時間：6 月 9 日 至 6 月 16 日
    * 報名管道：請至 FLOLAC 官方網站填寫線上旁聽報名表（若人數超額將依資料進行篩選，預計 6 月 19 日下午前以電子郵件通知結果）。

有關課程預習材料（如 Haskell 函數式程式設計基礎）、詳細報名辦法及規範，請同學務必至官方網站之報名專頁確認。

FLOLAC 2026 官方報名資訊網頁： https://flolac.iis.sinica.edu.tw/zh/2026/registration.html
FLOLAC 2026 臉書粉絲頁：https://www.facebook.com/flolac.tw