FLOLAC 2018 「邏輯、語言與計算」暑期研習營

07/09	07/10	07/11	07/12	07/13
F	F	L	F	L
L	λ	λ	λ	T

07/16	07/17	07/18	07/19	07/20
π	π	π	π	Exam
L	F	λ	T

F : 函數編程 Functional programming
L : 邏輯 Logic
λ : λ 演算與型別 λ-calculus and types
π : 並行計算模型與訊程型別 Models of concurrent computation and session types
T : Talk & Tutorial
Exam : 期末測驗