本屆已開放報名。
FLOLAC 2023「邏輯、語言、與計算暑期研習營」開設為台灣大學暑期第二梯次的三學分選修課，課名為「自動化正規驗證」。本課程開放在學大學生和研究生正式選課。
本屆開放旁聽。相關資訊請參考課程網站公告和 Facebook 粉絲頁公告。
本暑期營目前有以下四種報名參與途徑，詳細報名方式與截止日期略微有異。
本屆未開放「外地實習生」名額。
此途徑限台大在學學生修課。
請注意報名截止日期與一般暑期課程線上選課截止日期不同。
此課程的課號為 U 字頭，屬於大學部高年級和研究所的選修課程，學士與碩士一般可以採計為系外選修學分。各系所仍可能有更嚴格或特殊的規定（如少數科系可以作為系訂選修）。如有疑慮請洽各系所相關單位。
7 月 20 日（四）23:59
限台大在學學生
無（但特殊情況須依台大規定繳交學分費）
此途徑限在學大專學生修課。
請注意各校系學分抵免規定不盡相同，選課前請洽貴校相關單位，確認是否可抵免學分並辦妥相關手續。
7 月 14 日（五）23:59
在學大專院校學生
依台大校外暑修規定繳交學分費與手續費
此途徑沒有資格限制。
7 月 24 日（一）23:59
無限制
無
線上填寫報名表
預計於 7 月 31 日（一）以 email 通知篩選結果