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

[noctem (noctem)]

※ [本文轉錄自 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
推 popux:請問可以旁聽嗎
推 Wolfram:我也想知道
→ noctem:我去問一下之後再答覆 :)
推 demintree:直接去報名就好啦~~~
→ demintree:去年我有參加，我覺得收獲不少
→ demintree:不過進修推廣部的學分，很多研究所都不能抵就是了
→ demintree:去年有人旁聽，但為數不多...真的修下去收獲會比較多
推 yen3:可以旁聽的話，我就可以向系上學弟妹推薦了:)
推 popux:大學部的去會不會聽不懂 不知道需要什麼預備知識
→ yen3:去年聽的感想是，就去聽就對了，不過在這兩個禮拜中要花
→ yen3:很多時間在複習上就是了
推 Wolfram:去報不見得會報得上