FLOLAC 2008 「邏輯、語言與計算」暑期研習營

看板CSSE (電腦科學及軟體工程)作者noctem (noctem)時間16年前 (2008/04/24 00:44)推噓6(6推 0噓 6→)

留言12則, 5人參與討論串1/4 (看更多)

※ [本文轉錄自 PLT 看板] 作者: noctem (noctem) 看板: PLT 標題: FLOLAC 2008 「邏輯、語言與計算」暑期研習營時間: Thu Apr 24 00:44:08 2008 Formosan Summer School on Logic, Language, and Computation 2008 「邏輯、語言與計算」暑期研習營暨「高等程式語言與型態系統」暑期課程碩士學分班 http://flolac.iis.sinica.edu.tw/flolac08/ 「邏輯、語言與計算」暑期研習營望培養學員獨立進行基礎計算科學研究之能力。從今年起，本研習營將在兩大主題之間輪流替換。今年之主題為程式語言與形態系統，詳細課程包含邏輯、語意、函數語言、型態理論、程式建構、及抽象詮釋等。明年則以模型檢查與程式驗證為主題。本研習營同時為台灣大學進修推廣部「高等程式語言與型態系統暑期碩士學分班」，研習時數（含考試）共 54 小時。修習結束經考試及格後，授予碩士學分三學分。也歡迎有興趣之社會、業界人士參加。時間與地點日期: 2008 年六月卅日（週一）至七月十一日（週五）時間: 每週一至週五早上九點至下午五點，依課程排定時間上課地點: 中央研究院資訊科學研究所新館一樓 106 教室課程與講者 o 邏輯 Logic Max Schaefer, Oxford University Computing Laboratory o 函數式程式語言的語意 Semantics of Functional Programming Languages 莊庭瑞, 中央研究院資訊科學研究所 o 函數式程式設計與型態推演系統導論 Introduction to Functional Programming and the Hindley-Milner Type System 陳恭, 政治大學資訊科學系 o 程式建構與推理 Program Construction and Reasoning 穆信成, 中央研究院資訊科學研究所 o 部份求值法之技術與應用 Partial Evaluation: Types, Binding Times and Optimal Specialisation Neil Jones, University of Copenhagen (DIKU) o 型態的另一種詮釋：抽象值 Interpreting Types as Abstract Values Oleg Kiselyov, FNMOC 單中杰 (待確認), Rutgers University 報名資訊詳見課程網站： http://flolac.iis.sinica.edu.tw/flolac08/ 修習結束經考試及格後，由台灣大學進修推廣部授予碩士學分三學分並發給推廣教育證明書及學分成績證明。本班與國內外大學相關研究所學分之抵免，依各校規定辦理。欲獲得學分之學員請先向所屬學校查詢學分抵免相關規定。 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 123.192.157.71 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 123.192.157.71