2012 "邏輯、語言與計算"暑期研習營 FLOLAC '12
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
年舉辦，今年為第六屆。
課程與講者
--------
* 邏輯 (Logic)
柯向上 Oxford University
* 函數編程 (Functional Programming)
莊庭瑞 中央研究院資訊科學研究所, 台灣大學資訊管理學系
* lambda-Calculus
陳恭 政治大學資訊科學系
* 型別系統 (Type Systems)
陳恭 政治大學資訊科學系
* Hoare 邏輯 (Hoare Logic)
陳郁方 中央研究院資訊科學研究所, 台灣大學資訊管理學系
* 程式建構 (Program Construction)
穆信成 中央研究院資訊科學研究所, 台灣大學資訊管理學系
* Coq 程式驗證
Arthur Chargueraud
Max Planck Institute for Software Systems
報名方法與時間
-----------
本課程於台灣大學暑期第二梯次開授，課號 725 U3500，為三學分
之大學部選修課。依據學校暑期行事曆，將在6/28公告課程訊息。
* 台大在校生
. 請至國立台灣大學暑期課程網選課。
http://coursemap.aca.ntu.edu.tw/summer/
. 網路選課: 2012 年 7 月 30 日 至 7 月 31 日。
. 人工加退選: 2012 年 8 月 2 日 至 8 月 3 日。
* 非台大學生
. 至國立台灣大學暑期課程網辦理「外校學生上網報名」。
http://coursemap.aca.ntu.edu.tw/summer/
. 網路選課: 2012 年 7 月 24 日 至 7 月 25 日。
* 無學籍之社會人士若欲旁聽，請聯絡 scm@iis.sinica.edu.tw
報名資格、費用、其他注意事項等詳細資訊詳見課程網頁
http://flolac.iis.sinica.edu.tw/flolac12/
主辦單位
-------
中央研究院資訊科學研究所、台灣大學資訊管理學系聯合主辦。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 220.135.50.10
※ noctem:轉錄至看板 Programming 05/11 13:43
※ noctem:轉錄至看板 CSSE 05/11 13:49
推
05/19 19:31, , 1F
05/19 19:31, 1F
推
05/19 22:25, , 2F
05/19 22:25, 2F
→
05/19 22:27, , 3F
05/19 22:27, 3F
推
05/26 09:34, , 4F
05/26 09:34, 4F