周承滿 cmchou@csie.ntu.edu.tw
---
各位同學:
此研習營首次成為臺灣大學正式暑修課程，針對大學部學生開課，
亦歡迎研究所同學選修，歡迎有興趣同學參考下列資訊。
系辦公室
------------------------------------------------------------------------------
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)
莊庭瑞 中央研究院資訊科學研究所, 台灣大學資訊管理學系
* λ-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/
: 台大在校生
: 不收費用，但下列學生需繳交每學分新台幣 1150 元
: ‧學士班延畢生於學期中修習 9 學分(含)以下者。
: ‧進修學士班學生。
: ‧當學年度第二學期休學學生。
: 非台大學生
: 每學分新台幣 1380 元
: 修課學生無論是否為台大在校生，若學期成績及格，本研習營將視經費狀況提供獎助學
: 金以補助學分費。
主辦單位
-------
中央研究院資訊科學研究所、台灣大學資訊管理學系聯合主辦。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.30.97