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

2018/07/09 - 2018/07/20

http://flolac.iis.sinica.edu.tw/flolac18/

https://www.facebook.com/flolac.tw/

（選課 deadline： 06/01 (五) ）

程式語言理論 (programming language theory) 的一大關注是如何設計好的語言協助我們寫出想要的（例如正確的、有效率的、易懂的）程式。方法上，程式語言研究者繼承數理邏輯的傳統，以數學方法模塑程式語言的語法 (syntax)、語意 (semantics)、型別系統 (type systems)，並證明其性質，從而能夠得到很強的成果如「在某特定語言裡寫出的合法程式一定都不會出某一種類的錯」。

《邏輯、語言、與計算暑期研習營》(FLOLAC) 自 2007 年創辦以來，偶數年專門介紹程式語言理論，並偏重於函數編程 (functional programming)：函數程式之本質與數學概念相近，因而特別相容於程式語言理論採用的數學方法，不僅在學界相關理論與工具蓬勃發展，近年於業界也漸獲重視。

以函數編程為引，FLOLAC 也會介紹其背後的理論基礎，包括數理邏輯和 λ 演算 (λ-calculus)。今年我們更邀請到倫敦帝國學院的吉田展子 (Nobuko Yoshida) 教授和 Rumyana Neykova 研究員為我們講授程式語言理論在並行計算 (concurrent computing) 上的成果，介紹如何以訊程型別 (session types) 描述行程 (processes) 間的通訊協定 (communication protocols) 並靜態地保證並行執行時通訊一定依照協定進行，不會發生死結 (deadlock) 之類的錯誤。

• 日期：2018 年 7 月 09 日 (週一) 至 7 月 20 日 (週五)，共計 10 天。

• 時間：每週一至週五早上 09:10 至下午 16:20。

• 地點：台灣大學管理學院一號館 102 教室。

本課程於台灣大學暑期第一梯次開授，為三學分之選修課，正式課號與課名為：「725 U3500 程式語言理論與型態系統」。

報名資訊請見網頁： http://flolac.iis.sinica.edu.tw/flolac18/  

選課 deadline 為 06/01 (五) ！請把握機會唷！