FLOLAC 2009

第三屆 FLOLAC 將在下週一開始。辦這個暑期課的初衷就如同網頁上所說的:

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

白話地說,台灣做我們這領域的人很少。如果系上只有一個老師,一年開一門課,沒辦法給學生完整的基本訓練 — 所謂的基本訓練可能要從邏輯、歸納證明之類的東西教起。學校課程不足以讓學生培養出可自己去探索的能力,少部份很有興趣的學生只能現學現賣地學些零碎的知識,而以後會往這方向走的就更少了。

為了改變這樣的現況,我們在 2007 年辦了第一次的 FLOLAC 研習營。第二年起我們在兩個主題:程式語言與模型檢查之間交替。2008 年是 “year of ocean”, 教程式語言;今年則是 “year of mountain”, 教模型檢查:

今年之主題為模型檢查與程式驗證,詳細課程包含模態邏輯、時態邏輯、模型檢查、及硬體驗證等。

雖然取了山與海的名字,去年和今年分別是在中研院與台大辦的。希望我們哪年起真有足夠的經費到墾丁或是溪頭去辦營隊囉。

This entry was posted in 活動消息 and tagged , . Bookmark the permalink. Post a comment or leave a trackback: Trackback URL.

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=""> <s> <strike> <strong>

*
*