flolac-2020.txt

FLOL∀C 2020 邏輯、語言與計算暑期研習營

--

===================================================================
  2020 Formosan Summer School on Logic, Language, and Computation
       FLOL∀C '20

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

  日期: 2020 年八月十日（週一）至八月廿一日（週五）。
  時間: 每週一至週五早上九點至下午五點。
===================================================================

因應台大校方行事曆調整，今年 FLOLAC 將在 8/10 – 8/21 舉行。

與 FLOLAC'18 ㄧ樣，今年我們也要求學員具備一定的 Haskell 函式編程 (functional programming) 知識。

推薦讀物為《Learn You a Haskell for Great Good!》
  * http://learnyouahaskell.com/chapters

課堂上需要用到的章節分別為 1-6, 8, 9.1 (Hello, world!), 11.2 (Applicative functors), 12
我們會設計一些習題讓大家練習，報名時也會要求大家通過一些評量！

今年的寒假特別漫長，如果閒得發慌就玩玩 Haskell 吧！

另開放《外地實習生》名額提供獎助金，惟需全程參加 FLOLAC 課程，結束後額外文獻討論報告，申請辦法將另行公佈。

因應武漢病毒疫情 🧟‍♀️🧟‍♂️ ，防疫遵循國家以及台大校方政策，另有以下對應措施 ：
  * 若改網路授課，則期末考改為報告或專題。
  * 如同往年將借用 80 人教室，但除實習生外不開放旁聽。
  
詳見網站： https://www.facebook.com/flolac.tw/