因為今年做的種種改變，FLOLAC 2012 的籌備比起往年慢了一些。這兩天發現已經有人在詢問了。是的，今年 FLOLAC 照常舉辦，而且將成為大學部的正式暑修課程！也因此，FLOLAC 開課時間改為暑期後半（8月27日至9月7日）而非傳統的七月。今年的國外講者是任職於 Max Planck Institute for Software Systems 的 Arthur Charguéraud, 將為我們介紹程式語言學界影響力日增的定理證明/程式驗證工具 Coq.
2012 Formosan Summer School on Logic, Language, and Computation (FLOLAC ’12)
2012 「邏輯、語言與計算」暑期研習營暨「程式語言理論與型態系統」暑期課程。
- 日期: 2012 年八月廿七日（週一）至九月七日（週五）。
- 時間: 每週一至週五早上九點至下午五點。
- 地點: 台大共同教室(暫定)。
宗旨
近年來，從事基礎計算科學研究之台灣學者們已在各校各自成立研究團隊並相互合作。對基礎計算科學有興趣之學生須透過一系列課程學習基本知識。然而，國內從事此類研究的學者分散在各校，難以僅靠一己之力開設整套課程。因此，我們邀請有相同興趣的學者一同開課，訓練下一代的研究人才。
「邏輯、語言與計算」暑期研習營希望培養學員獨立進行基礎計算科學研究之能力。從第二年起，本研習營在兩大主題 — 程式語言，模型檢查與程式驗證之間輪流替換。今年（偶數年）之主題為程式語言理論與型態系統。
今年的 FLOLAC 研習營有如下改變：
- 本研習營首次成為台灣大學正式暑修課程，針對大學生開課。台灣大學學生可透過國立台灣大學暑期課程網選課，有學籍之其他學校學生可透過校際選修選課。無學籍之社會人士也可旁聽。詳見報名資訊頁。
- 為配合暑修時間，今年 FLOLAC 改於暑期後段（8月27日至9月7日）舉辦。
- 今年請到任職於 Max Planck Institute for Software Systems 的 Arthur Charguéraud 介紹程式語言學界影響力日增的定理證明/程式驗證工具Coq.
「邏輯、語言與計算」暑期研習營曾在 2007、 2008 、2009 、2010 、2011 年舉辦，今年為第六屆。
主辦單位
中央研究院資訊科學研究所、台灣大學資訊管理學系聯合主辦。
課程委員
陳恭 Kung Chen, 政治大學資訊科學系。
莊庭瑞 Tyng-Ruey Chuang, 中央研究院資訊科學研究所、台灣大學資訊管理學系。
穆信成 Shin-Cheng Mu, 中央研究院資訊科學研究所。
謝邁思 Max Schaefer, Oxford University Computing Laboratory.
蔡益坤 Yih-Kuen Tsay, 台灣大學資訊管理學系。
王柏堯 Bow-Yaw Wang, 中央研究院資訊科學研究所、台灣大學資訊管理學系。
楊武 Wuu Yang, 交通大學資訊工程學系
課務統籌
張少娟 Shao-Chuan Chang, 中央研究院資訊科學研究所。
Pingback: letoh’s workshop » Blog Archive » 2012 Sep‧東京 Day 3 - 1