Formosan Summer School on Logic, Language, and Computation
邏輯、語言與計算暑期研習營, 20266/29-7/10 09:10-12:10, 13:20–16:20
邏輯、語言與計算暑期研習營, 2026FLOLAC 2026「邏輯、語言、與計算暑期研習營」開設為台灣大學暑期第一梯次的三學分選修課，課名為「程式語言理論與型態系統」（暫定）。本課程開放在學大學生和研究生正式選課，亦開放旁聽。
本課程預設學員對函數程設（Functional Programming）有一定程度的理解，請於上課前
本研習營目前有以下幾種報名參與途徑，詳細報名方式與截止日期略微有異。
此途徑供台大在學學生修課。
此課程的課號為 U 字頭，屬於大學部高年級和研究所的選修課程，學士與碩士一般可以採計為系外選修學分。各系所仍可能有更嚴格或特殊的規定（如少數科系可以作為系訂選修）。如有疑慮請洽各系所相關單位。
注意：此課程為全線上報名，不受理學生逾期補加選。
台大在學學生
以不收費為原則（依台大暑修第二類課程規定）
網路初選： 6 月 9 日至 10 日
網路加退選： 6 月 15 日至 16 日
此途徑供非台大在學大專學生修課。
請注意各校系學分抵免規定不盡相同，選課前請洽貴校相關單位，確認是否可抵免學分並辦妥相關手續。
6 月 2 日與 3 日
在學大專院校學生
依台大校外暑修規定繳交學分費與手續費
此途徑沒有資格限制。
6 月 9 日至 16 日
無限制
無
線上填寫報名表（尚未開放）
預計於 6 月 19 日下午前以電子信箱通知篩選結果
本屆與中研院資訊科學研究所暑期實習生研究計畫獨立辦理，凡參與該計劃者並選陳亮廷、柯向上、穆信成三位研究員之學生，建議依循相應管道報名。