最新消息

  • (2017/08/17) 旁聽報名將於 8/20 17:00 結束,名單將於 8/21 公布。
  • (2017/08/02) 課程異動,Boolean Satisfiability and Its Applications to Synthesis and Verification 與 Verification of String-Manipulating Programs 對調。
  • (2017/07/24) 收到校方通知,新增線上報名截止日。台大本校生線上報名於 7/31 截止,外校生報名於 7/25 截止。請務必報名並依選課程序進行選課、註冊等。
  • (2017/06/30) 台大暑期課程網台大本校生登記開跑,請欲修課的同學們前往登記以利開課。登記的同學仍請務必於選課期間選課

宗旨

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

「邏輯、語言與計算」暑期研習營希望培養學員獨立進行基礎計算科學研究之能力。從2008年起,本研習營在兩大主題之間輪流替換。今年之主題為邏輯與正規驗證。

自 2012 年起,本研習營正式成為台灣大學暑修課程,針對大學部學生開課,但亦歡迎研究生選修。台灣大學學生可透過國立台灣大學暑期課程網選課,有學籍之其他學校學生可透過校際選修選課。

「邏輯、語言與計算」暑期研習營從2007年開始至今每年舉辦,今年為第十一屆。

時間地點

日期:2017 年 8 月 28 日 (週一) 至 9 月 8 日 (週五),共計十天。

時間:每週一至週五早上九點十分至下午五點二十分。

地點:台大管理學院 一號館 103教室

課程與講者

課程內容:

課程講者:

時間 8/28(一) 8/29(二) 8/30(三) 8/31(四) 9/1(五)
09:00 - 12:00 Logic Computation SMT SMT Learning
12:00 - 14:00 Lunch
14:00 - 17:00 Logic Computation SMT SMT Learning
時間 9/4(一) 9/5(二) 9/6(三) 9/7(四) 9/8(五)
09:00 - 12:00 Synthesis Synthesis String VDM Final
12:00 - 14:00 Lunch
14:00 - 17:00 Synthesis String String VDM Seminar

報名資訊

台大學生:

  1. 線上報名(7/31截止)
  2. 台大暑期課程網選課
    1. 初選:07/31(一) ~ 08/01(二)
    2. 加退選:08/03(四) ~ 08/04(五)
  3. 繳費:08/18 ~ 08/22

非台大學生:

  1. 線上報名(7/25截止)
  2. 台大暑期課程網報名:07/25 ~ 07/26
  3. 報名後之手續請參閱外校生報名流程

主辦單位

籌辦委員會

  • 陳郁方 Yu-Fang Chen (中央研究院 資訊科學研究所)
  • 莊庭瑞 Tyng-Ruey Chuang (中央研究院 資訊科學研究所)
  • 穆信成 Shin-Cheng Mu (中央研究院 資訊科學研究所)
  • 蔡明憲 Ming-Hsien Tsai (中央研究院 資訊科學研究所)
  • 蔡益坤 Yih-Kuen Tsay (國立台灣大學 資訊管理學系)
  • 王柏堯 Bow-Yaw Wang (中央研究院 資訊科學研究所)
  • 郁方 Fang Yu (國立政治大學 資訊管理學系)