※ [本文转录自 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