因為今年做的種種改變，FLOLAC 2012 的籌備比起往年慢了一些。這兩天發現已經有人在詢問了。是的，今年 FLOLAC 照常舉辦，而且將成為大學部的正式暑修課程！也因此，FLOLAC 開課時間改為暑期後半（8月27日至9月7日）而非傳統的七月。今年的國外講者是任職於 Max Planck Institute for Software Systems 的 Arthur Charguéraud, 將為我們介紹程式語言學界影響力日增的定理證明/程式驗證工具 Coq.
Noam Chomsky 將於八月九、十兩日分別在中央研究院、清華大學進行兩場演講。
中研院資科所傑出學者系列講座六月份邀請到了函數語言學界有名的 Paul Hudak. Hudak 是 Hask …
FLOLAC 2010 的網站已經做好很久了。之前一直在等所上和台大進修推廣部正式通過。今年請到了、 Yale University 的 Paul Hudak 來演講。課程則聚焦在語意上，對於正式學習程式語言相關知識應會很有用。對了，還送課本一本唷！請大家多幫忙把消息傳出去吧！
為鼓勵與學校教授學術交流，本所徵求暑期實習生10名。
物件導向技術的頂尖會議 OOPSLA 從今年起改名為 SPLASH — Systems, Programming, Languages and Applications: Software for Humanity。而 OOPSLA 則成為協同舉辦的兩個會議之一。
今年三月，EPSRC 補助的泛型與索引編程計畫將在牛津大學開設五天的課程： Spring School on Generic and Indexed Programming。
紀念 ALGOL 60 報告 50 週年。
Erik Meijer 正在微軟社群 Channel 9 上發佈一系列十三集的教學影片 Functional Programming Fundamentals，講解函數編程。第一集在第一天就達到了一萬次點閱量，兩週內得到十萬次點閱。
中研院資科所傑出學者系列講座：Coq, a Proof Assistant Based On Type Theory.