邏輯、語言與計算暑期研習營
Formosan Summer School on Logic, Language, and Computation, 20247/1-7/12 09:10-12:10, 13:20–16:20
地點：國立臺灣大學管理學院一號館103教室
Formosan Summer School on Logic, Language, and Computation, 2024FLOLAC 2024「邏輯、語言、與計算暑期研習營」開設為台灣大學暑期第一梯次的三學分選修課，課名為「程式語言理論與型態系統」。本課程開放在學大學生和研究生正式選課，亦開放旁聽。
本屆開放少數「外地實習生」名額，報名時間為 2/15–3/15，併入中研院資訊所暑期實習辦理，歡迎對程式語言學有強烈興趣但在臺北市無居所需要住宿的學生申請。
本課程預設學員對函數程設（Functional Programming）有一定程度的理解，請於上課前
報名人數超過名額上限時，將依報名表所填內容篩選。
本研習營目前有以下四種報名參與途徑，詳細報名方式與截止日期略微有異。
FLOLAC ’24 開放少數「外地實習」名額，鼓勵對程式語言學有強烈興趣但在臺北市無居所需要住宿的學生申請，協助申請通過者解決住宿問題。
FLOLAC ’24 外地實習將併入「2024 中研院資訊科學研究所暑期實習生研究計畫」辦理。外地實習申請通過者將優先錄取為 FLOLAC ’24 三位資訊所講師之一的暑期實習生。暑期實習提供獎助金，可支付住宿費用。且依往年慣例，資訊所會提供住宿地供實習生選擇。（若資訊所因故無法提供住宿，或對提供住宿不滿意，實習生仍須自行投宿。）
外地實習名額有限，僅能錄取有志從事程式語言學相關研究的學生。報名時須提出適合從事此方向研究的具體理由供篩選。（詳見下方「報名方式」。）
同中研院資訊所暑期實習報名時間（2024 年 2 月 15 日至 3 月 15 日）。
FLOLAC ’24 課程期間於臺北市無居所需要住宿，且須具備中研院資訊所暑期實習資格。
同中研院資訊所暑期實習時間（2024 年 7 月 1 日至 8 月 30 日）。
同中研院資訊所暑期實習內容，且須全程參與 FLOLAC ’24 並參加期末考試，但不要求正式選課。
請報名中研院資訊所暑期實習，並將穆信成、柯向上、和陳亮廷三位老師的研究主題當中至少一個列為志願。（若對多個主題有興趣，請都列為志願。）
報名時，請於自傳內特別註明申請 FLOLAC ’24 外地實習，並提出適合從事此方向研究的具體理由，方能優先錄取。「具體理由」可自由發揮，或參考以下論述方向：
若申請成功，系統將自動寄一封確認信給您。
此途徑供台大在學學生修課。
請注意報名截止日期早於一般暑期課程線上選課截止日期。
此課程的課號為 U 字頭，屬於大學部高年級和研究所的選修課程，學士與碩士一般可以採計為系外選修學分。各系所仍可能有更嚴格或特殊的規定（如少數科系可以作為系訂選修）。如有疑慮請洽各系所相關單位。
為配合學校作業時程，今年的修課報名時間較為緊湊，建議仔細注意一下時間與流程，不便之處，敬請諸多包涵。
本次報名共分成兩階段，第一階段為正式報名，第二階段為候補報名，詳細規則如下：
台大在學學生
以不收費為原則（依台大暑修第二類課程規定）
正式報名截止： 6 月 9 日（日）23：59
報名結果通知： 6 月 10 日（一）12：00
錄取回覆截止： 6 月 12 日（三）12：00
報名表候補報名供時間安排趕不上正式報名者考慮，建議盡量採用正式報名管道。
在正式報名截止後所填寫的報名表單，將自動視為候補報名。
候補報名者在正式報名篩選後若有缺額方進入篩選名單。
候補報名截止： 6 月 12 日（三）12：00
報名結果通知： 6 月 12 日（三）下午
錄取回覆截止： 6 月 13 日（四）12：00
報名表此途徑供非台大在學大專學生修課。
請注意各校系學分抵免規定不盡相同，選課前請洽貴校相關單位，確認是否可抵免學分並辦妥相關手續。
6 月 5 日（三）23：59
在學大專院校學生
依台大校外暑修規定繳交學分費與手續費
預計於 6 月 6 日（四）以電子信箱通知篩選結果
報名表 台大暑期課程網此途徑沒有資格限制。
6 月 12 日（三）12：00
無限制
無
線上填寫報名表
預計於 6 月 12 日（三）下午以電子信箱通知篩選結果
報名表