2010 Formosan Summer School on Logic, Language, and Computation FLOLAC '10 2010 「邏輯、語言與計算」暑期研習營 暨「高等程式語言：語意、分析與工具」暑期課程碩士學分班。 http://flolac.iis.sinica.edu.tw/flolac10/ 日期: 2010 年六月廿八日（週一）至七月九日（週五）。 時間: 每週一至週五早上九點至下午五點。 地點: 國立台灣大學進修推廣部 2 樓 207 教室（台北市106羅斯福路4段107號）。 ====================================================================== 宗旨 ---- 近年來，從事基礎計算科學研究之台灣學者們已在各校各自成立研究團隊並相互合作。 對基礎計算科學有興趣之學生須透過一系列課程學習基本知識。然而，國內從事此類研 究的學者分散在各校，難以僅靠一己之力開設整套課程。因此，我們邀請有相同興趣的 學者一同開課，訓練下一代的研究人才。 「邏輯、語言與計算」暑期研習營希望培養學員獨立進行基礎計算科學研究之能力。從 第二年起，本研習營在兩大主題之間輪流替換。今年（偶數年）之主題為高等程式語言， 奇數年則以模型檢查與程式驗證為主題。 本研習營同時為台灣大學進修推廣部「高等程式語言：語意、分析與工具」暑期碩士學 分班，研習時數（含考試）共 54 小時。修習結束經考試及格後，授予碩士學分三學 分。也歡迎有興趣之社會、業界人士參加。 「邏輯、語言與計算」暑期研習營曾在 2007、 2008 、2009 年舉辦，今年為第四屆。 課程與講者 ---------- o 函數編程 (Functional Programming). 陳恭, 政治大學資訊科學系. o 特別演講. Paul Hudak, Yale University. o 操作語意 (Operational Semantics). 陳恭, 政治大學資訊科學系 o 邏輯 (Logic). 謝邁思 (Max Schaefer), Oxford University Computing Laboratory. 莊庭瑞, 中央研究院資訊科學研究所, 台灣大學資訊管理學系. o 指稱語意 (Denotational Semantics). 謝邁思 (Max Schaefer), Oxford University Computing Laboratory. 莊庭瑞, 中央研究院資訊科學研究所, 台灣大學資訊管理學系. o 程式建構與推理 (Program Construction and Reasoning). 穆信成, 中央研究院資訊科學研究所. o 使用 Frama-C: 以整合靜態分析技術驗證 C 程式 (Using Frama-C: Collaboration of static analysis techniques towards the verification of C code) Pascal Cuoq, Commissariat a l'Energie Atomique. 主辦單位 ------- 中央研究院資訊科學研究所、台灣大學資訊管理學系、政治大學資訊科學系聯合主辦， 台灣大學進修推廣部協辦。 課程委員 陳恭 Kung Chen, 政治大學資訊科學系。 莊庭瑞 Tyng-Ruey Chuang, 中央研究院資訊科學研究所、台灣大學資訊管理學系。 穆信成 Shin-Cheng Mu, 中央研究院資訊科學研究所。 謝邁思 Max Schaefer, Oxford University Computing Laboratory. 蔡益坤 Yih-Kuen Tsay, 台灣大學資訊管理學系。 王柏堯 Bow-Yaw Wang, 中央研究院資訊科學研究所、台灣大學資訊管理學系。 課務統籌 張少娟 Shao-Chuan Chang, 中央研究院資訊科學研究所。 報名資訊 ------- 詳見網站: http://flolac.iis.sinica.edu.tw/flolac10/ --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 82.36.65.98 ※ 編輯: xcycl 來自: 82.36.65.98 (04/22 21:52) ※ xcycl:轉錄至看板 CSSE 04/22 21:52 ※ xcycl:轉錄至看板 Math 04/22 21:54 ※ xcycl:轉錄至看板 logic 04/23 01:51 ※ noctem:轉錄至看板 Programming 05/18 10:44 ※ 編輯: xcycl 來自: 147.188.193.87 (05/18 21:28)