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

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

2010 Formosan Summer School on Logic, Language, and Computation (FLOLAC ’10)

2010 「邏輯、語言與計算」暑期研習營暨「高等程式語言:語意、分析與工具」暑期課程碩士學分班。

  • 日期: 2010 年六月廿八日(週一)至七月九日(週五)。
  • 時間: 每週一至週五早上九點至下午五點。
  • 地點: 國立台灣大學進修推廣部 2 樓 207 教室(台北市106羅斯福路4段107號)。

宗旨

近年來,從事基礎計算科學研究之台灣學者們已在各校各自成立研究團隊並相互合作。對基礎計算科學有興趣之學生須透過一系列課程學習基本知識。然而,國內從事此類研究的學者分散在各校,難以僅靠一己之力開設整套課程。因此,我們邀請有相同興趣的學者一同開課,訓練下一代的研究人才。

「邏輯、語言與計算」暑期研習營希望培養學員獨立進行基礎計算科學研究之能力。從第二年起,本研習營在兩大主題之間輪流替換。今年(偶數年)之主題為高等程式語言,奇數年則以模型檢查與程式驗證為主題。

本研習營同時為台灣大學進修推廣部「高等程式語言:語意、分析與工具」暑期碩士學分班,研習時數(含考試)共 54 小時。修習結束經考試及格後,授予碩士學分三學分。也歡迎有興趣之社會、業界人士參加。

「邏輯、語言與計算」暑期研習營曾在 2007、 2008 、2009 年舉辦,今年為第四屆。

課程與講者

課程 講者
函數編程
Functional Programming
陳恭 Kung Chen
政治大學資訊科學系
特別演講
Special Lecture
Paul Hudak
Yale University
操作語意
Operational Semantics
陳恭 Kung Chen
政治大學資訊科學系
邏輯
Logic
謝邁思 Max Schäfer
Oxford University Computing Laboratory
莊庭瑞 Tyng-Ruey Chuang
中央研究院資訊科學研究所, 台灣大學資訊管理學系
指稱語意
Denotational Semantics
程式建構與推理
Program Construction and Reasoning
穆信成 Shin-Cheng Mu
中央研究院資訊科學研究所
使用 Frama-C: 以整合靜態分析技術驗證 C 程式
Using Frama-C: Collaboration of static analysis techniques towards the verification of C code
Pascal Cuoq
Commissariat à l’Énergie Atomique

主辦單位

中央研究院資訊科學研究所、台灣大學資訊管理學系、政治大學資訊科學系聯合主辦,台灣大學進修推廣部協辦。

課程委員

陳恭 Kung Chen, 政治大學資訊科學系。
莊庭瑞 Tyng-Ruey Chuang, 中央研究院資訊科學研究所、台灣大學資訊管理學系。
穆信成 Shin-Cheng Mu, 中央研究院資訊科學研究所。
謝邁思 Max Schaefer, Oxford University Computing Laboratory.
蔡益坤 Yih-Kuen Tsay, 台灣大學資訊管理學系。
王柏堯 Bow-Yaw Wang, 中央研究院資訊科學研究所、台灣大學資訊管理學系。

課務統籌

張少娟 Shao-Chuan Chang, 中央研究院資訊科學研究所。

報名資訊

詳見網站: http://flolac.iis.sinica.edu.tw/flolac10/

This entry was posted in 未分類. Bookmark the permalink. Post a comment or leave a trackback: Trackback URL.

2 Trackbacks

  1. By 2010-06 久違的Blog更新 | 大貓新樂園 on 十一月 1, 2010 at 4:11 下午

    [...] 今年終於跟公司請了十天的假,去參FLOLAC 2010的課程 看完了龍紋身的女孩三部曲,讓我熱血(?)的研究了一陣子破解技術 雖然目前還只是基礎Wargame都可能卡關的肉腳程度啦 我大概還滿嚮往「在資訊領域中極度自由」的感覺的 不管是「在Open Source的世界中,想要什麼都可以自己來」 或是「在資訊安全的領域中,如入無人之境」 不過這種「想要什麼,信手拈來」的自由,先決條件是在該領域各方面都很強吧… GCJ打到前3000名不是什麼太好看的成積 [...]

  2. By 2010-06 久違的Blog更新 | Mr. Big Cat on 一月 30, 2011 at 2:03 上午

    [...] 今年終於跟公司請了十天的假,去參FLOLAC 2010的課程 看完了龍紋身的女孩三部曲,讓我熱血(?)的研究了一陣子破解技術 雖然目前還只是基礎Wargame都可能卡關的肉腳程度啦 我大概還滿嚮往「在資訊領域中極度自由」的感覺的 不管是「在Open Source的世界中,想要什麼都可以自己來」 或是「在資訊安全的領域中,如入無人之境」 不過這種「想要什麼,信手拈來」的自由,先決條件是在該領域各方面都很強吧… GCJ打到前3000名不是什麼太好看的成積 [...]

Post a Comment

Your email is never published nor shared. Required fields are marked *

*
*

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>