Category Archives: 活動消息

2012 「邏輯、語言與計算」暑期研習營 (FLOLAC ’12)

因為今年做的種種改變,FLOLAC 2012 的籌備比起往年慢了一些。這兩天發現已經有人在詢問了。是的,今年 FLOLAC 照常舉辦,而且將成為大學部的正式暑修課程!也因此,FLOLAC 開課時間改為暑期後半(8月27日至9月7日)而非傳統的七月。今年的國外講者是任職於 Max Planck Institute for Software Systems 的 Arthur Charguéraud, 將為我們介紹程式語言學界影響力日增的定理證明/程式驗證工具 Coq.

Posted in 活動消息 | Tagged | 1 Comment

Noam Chomsky 來台演講

Noam Chomsky 將於八月九、十兩日分別在中央研究院、清華大學進行兩場演講。

Posted in 活動消息 | Tagged | Leave a comment

傑出學者系列講座: Euterpea: from Signals to Symphonies

中研院資科所傑出學者系列講座六月份邀請到了函數語言學界有名的 Paul Hudak. Hudak 是 Haskell 語言設計者之一,IFIP Working Group 2.8 (函數編程) 的成員,以及 Journal of Functional Programming 共同總編輯之一。 1992 – 1996 年間他曾在自己的 Jazz 樂團擔任鋼琴手,難怪他很受函數語言初學和入門者喜愛的 The Haskell School of Expression 一書會以音樂、繪圖、動畫為例示範如何以函數語言思考和解決問題。他也是耶魯大學「計算與藝術創意交融(C2 – the Creative Consilience of computing and the arts)」學程創辦人之一。這次他將介紹一個描述電腦音樂的特殊領域語言 Euterpea。 主題 : Euterpea: from Signals to Symphonies 主講人 : Dr. Paul Hudak 主講人單位 : Department of [...]

Posted in 活動消息 | Tagged , | Leave a comment

2010 「邏輯、語言與計算」暑期研習營 (FLOLAC ’10)

FLOLAC 2010 的網站已經做好很久了。之前一直在等所上和台大進修推廣部正式通過。今年請到了、 Yale University 的 Paul Hudak 來演講。課程則聚焦在語意上,對於正式學習程式語言相關知識應會很有用。對了,還送課本一本唷!請大家多幫忙把消息傳出去吧!

Posted in 活動消息 | Tagged | 2 Comments

中研院資訊所誠徵 2010 年暑期實習生

為鼓勵與學校教授學術交流,本所徵求暑期實習生10名。

Posted in 活動消息 | Leave a comment

OOPSLA 改名為 SPLASH

物件導向技術的頂尖會議 OOPSLA 從今年起改名為 SPLASH — Systems, Programming, Languages and Applications: Software for Humanity。而 OOPSLA 則成為協同舉辦的兩個會議之一。

Posted in 活動消息 | 2 Comments

泛型與索引編程春季班

今年三月,EPSRC 補助的泛型與索引編程計畫將在牛津大學開設五天的課程: Spring School on Generic and Indexed Programming

Posted in 活動消息 | Tagged , | Leave a comment

Algol 60 五十週年紀念

紀念 ALGOL 60 報告 50 週年。

Posted in 活動消息 | Tagged , | Leave a comment

Erik Meijer 在 Channel 9 講授函數編程

Erik Meijer 正在微軟社群 Channel 9 上發佈一系列十三集的教學影片 Functional Programming Fundamentals,講解函數編程。第一集在第一天就達到了一萬次點閱量,兩週內得到十萬次點閱。

Also posted in 計算算計 | Tagged , , | 1 Comment

傑出學者系列講座: Coq, a Proof Assistant Based On Type Theory

中研院資科所傑出學者系列講座:Coq, a Proof Assistant Based On Type Theory.

Posted in 活動消息 | Tagged , , | Leave a comment