※ [本文轉錄自 PLT 看板 #1FhARqxt ]
作者: noctem (noctem) 看板: PLT
標題: 2012 "邏輯、語言與計算"暑期研習營 FLOLAC '12
時間: Fri May 11 13:43:13 2012
2012 「邏輯、語言與計算」暑期研習營暨學分班 (FLOLAC '12)
http://flolac.iis.sinica.edu.tw/flolac12/
日期：2012 年 8 月 27 日 (週一) 至 9 月 07 日 (週五)，共計十天。
時間：每週一至週五早上九點十分至下午四點二十。
地點：台灣大學共同教室(暫定)。
近年來，從事基礎計算科學研究之台灣學者們已在各校各自成立研究團隊並相
互合作。對基礎計算科學有興趣之學生須透過一系列課程學習基本知識。然而，
國內從事此類研究的學者分散在各校，難以僅靠一己之力開設整套課程。因此，
我們邀請有相同興趣的學者一同開課，訓練下一代的研究人才。
「邏輯、語言與計算」暑期研習營希望培養學員獨立進行基礎計算科學研究之
能力。從第二年起，本研習營在兩大主題 — 程式語言，模型檢查與程式驗證
之間輪流替換。今年（偶數年）之主題為程式語言理論與型態系統。
今年的 FLOLAC 研習營有如下改變：
* 本研習營首次成為台灣大學正式暑修課程，針對大學生開課。台灣大學學
生可透過國立台灣大學暑期課程網選課，有學籍之其他學校學生可透過校
際選修選課。無學籍之社會人士也可旁聽。詳見報名資訊頁。
* 為配合暑修時間，今年 FLOLAC 改於暑期後段（8月27日至9月7日）舉辦。
* 今年請到任職於 Max Planck Institute for Software Systems
的 Arthur Chargueraud介紹程式語言學界影響力日增的定理證明/程式
驗證工具Coq.
「邏輯、語言與計算」暑期研習營曾在 2007、 2008 、2009 、2010 、2011
年舉辦，今年為第六屆。
課程與講者