2012 "邏輯、語言與計算"暑期研習營 FLOLAC '12

看板PLT (程式語言與理論)作者noctem (noctem)時間12年前 (2012/05/11 13:43)推噓3(3推 0噓 1→)

留言4則, 3人參與討論串1/1

2012 「邏輯、語言與計算」暑期研習營暨學分班 (FLOLAC '12) http://flolac.iis.sinica.edu.tw/flolac12/ 日期：2012 年 8 月 27 日 (週一) 至 9 月 07 日 (週五)，共計十天。時間：每週一至週五早上九點十分至下午四點二十。地點：台灣大學共同教室(暫定)。近年來，從事基礎計算科學研究之台灣學者們已在各校各自成立研究團隊並相互合作。對基礎計算科學有興趣之學生須透過一系列課程學習基本知識。然而，國內從事此類研究的學者分散在各校，難以僅靠一己之力開設整套課程。因此，我們邀請有相同興趣的學者一同開課，訓練下一代的研究人才。「邏輯、語言與計算」暑期研習營希望培養學員獨立進行基礎計算科學研究之能力。從第二年起，本研習營在兩大主題 — 程式語言，模型檢查與程式驗證之間輪流替換。今年（偶數年）之主題為程式語言理論與型態系統。今年的 FLOLAC 研習營有如下改變： * 本研習營首次成為台灣大學正式暑修課程，針對大學生開課。台灣大學學生可透過國立台灣大學暑期課程網選課，有學籍之其他學校學生可透過校際選修選課。無學籍之社會人士也可旁聽。詳見報名資訊頁。 * 為配合暑修時間，今年 FLOLAC 改於暑期後段（8月27日至9月7日）舉辦。 * 今年請到任職於 Max Planck Institute for Software Systems 的 Arthur Chargueraud介紹程式語言學界影響力日增的定理證明/程式驗證工具Coq. 「邏輯、語言與計算」暑期研習營曾在 2007、 2008 、2009 、2010 、2011 年舉辦，今年為第六屆。課程與講者 -------- * 邏輯 (Logic) 柯向上 Oxford University * 函數編程 (Functional Programming) 莊庭瑞中央研究院資訊科學研究所, 台灣大學資訊管理學系 * lambda-Calculus 陳恭政治大學資訊科學系 * 型別系統 (Type Systems) 陳恭政治大學資訊科學系 * Hoare 邏輯 (Hoare Logic) 陳郁方中央研究院資訊科學研究所, 台灣大學資訊管理學系 * 程式建構 (Program Construction) 穆信成中央研究院資訊科學研究所, 台灣大學資訊管理學系 * Coq 程式驗證 Arthur Chargueraud Max Planck Institute for Software Systems 報名方法與時間 ----------- 本課程於台灣大學暑期第二梯次開授，課號 725 U3500，為三學分之大學部選修課。依據學校暑期行事曆，將在6/28公告課程訊息。 * 台大在校生 . 請至國立台灣大學暑期課程網選課。 http://coursemap.aca.ntu.edu.tw/summer/ . 網路選課: 2012 年 7 月 30 日至 7 月 31 日。 . 人工加退選: 2012 年 8 月 2 日至 8 月 3 日。 * 非台大學生 . 至國立台灣大學暑期課程網辦理「外校學生上網報名」。 http://coursemap.aca.ntu.edu.tw/summer/ . 網路選課: 2012 年 7 月 24 日至 7 月 25 日。 * 無學籍之社會人士若欲旁聽，請聯絡 scm@iis.sinica.edu.tw 報名資格、費用、其他注意事項等詳細資訊詳見課程網頁 http://flolac.iis.sinica.edu.tw/flolac12/ 主辦單位 ------- 中央研究院資訊科學研究所、台灣大學資訊管理學系聯合主辦。 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 220.135.50.10 ※ noctem:轉錄至看板 Programming 05/11 13:43 ※ noctem:轉錄至看板 CSSE 05/11 13:49