Current Event
Registration
Past Events
Type-Theoretic Foundations
2022
2020
2018
2016
2014
2012
2010
Automated Verification
2021
2019
2017
2015
2011
2009
2008
2007
中
Formosan Summer School on Logic, Language, and Computation, 2021
邏輯、語言與計算暑期研習營
Cancelled
臺灣大學管理學院
招收人數
修課人數 40 人
旁聽人數 40 人
報名人數超過名額上限時,將依報名所填的修課理由篩選。
報名資訊
本年度暑期營宣佈停辦。