※ [本文轉錄自 CSSE 看板] 作者: noctem (noctem) 看板: CSSE 標題: Re: FLOLAC 2008 「邏輯、語言與計算」暑期研習營 時間: Thu May 1 14:52:17 2008 借這個板回覆一下大家的問題，並謝謝對這門課表示興趣的朋友們。 許多朋友問到是否可以旁聽。經籌辦人員討論過後，雖然我們辦這 個研習營的初衷是為了推廣和訓練下一代的人才，照理來說應該是 越多人來上課越高興。後來研習營成為提供學分的課程，則是希望 對學生提供多一項利多。但如此一來就得要遵守發給學分單位的規 定了。很可惜，按照規定，原則上這種課程是不能旁聽的。 另一方面，由於我們必須要有一定的學生數量（四十人）才能開課， 但授課場地能容納的也差不多是這樣的人數。如果再有多數的旁聽 學生，恐無法容納，所以只能對想旁聽的朋友們說聲抱歉了。 我們還是希望有興趣的朋友們盡量報名（要快唷～）。另外一方面， 本著以推廣為目的的初衷，不希望學費造成門檻，所以另外還有提 供獎學金。去年是大部分成績及格的同學都有拿到，剛好可以抵掉 學費。今年也是盡量。請大家踴躍報名。 有朋友問到要什麼樣的程度才能來上課。demintree 有稍微介紹一 下去年的狀況（謝謝！）。另外補充一下：我們從今年開始將在兩 個主題（程式語言、與 model checking）之間輪流切換。去年兩 個主題都講，今年則以前者為主。去年普遍覺得進度太快了，今 年應該會放慢一點。另外今年的六門課中，兩門國外講者的課是 不列入考試的，希望這樣會讓大家的負擔變少一點。 去年有來過的同學也可以再來唷，今年新增的課都不錯，Neil Jones, Oleg Kiselyov 等人都是這個領域內大家熟知的學者。 應該會很精彩的！ --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.109.20.217 --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.109.20.217