• 報名資格
  1. 資訊、電機、數學相關學系在學大學生，修業兩年（含）以上，或
  2. 資訊、電機、數學相關學系研究所在學學生，或
  3. 專科或大學畢業，現從事資訊相關行業工作者。
• 招收班別及人數: 一班 40 名為原則，共一班。得不足額錄取。
• 報名日期: 即日起至 2010 年 5 月 28 日止。
• 報名手續: 線上報名
  • 請至台灣大學進修推廣部網站點選「高等程式語言：語意、分析與工具暑期課程碩士學分班」，依線上操作步驟完成報名程序。
  • 完成線上報名後二天內，請傳真學歷證件影本（在學生請附學生證或在學證明影本）至台灣大學進修推廣部，逾二天未傳證件資料者，將不予保留名額。
  • 傳真證件後，請主動電話詢問台灣大學進修推廣部是否收到，電話：(02-23620502分機210)。
• 甄選方式: 依相關學經歷審查成績高低決定。
• 放榜日期: 2010 年 6 月 4 日於本網站公佈錄取名單並寄發入學通知。
• 繳費須於 2010 年 6 月 15 日前完成。

• 每學分學費 1200 元，共 3600 元整。確定錄取後繳交。
• 全程出席、考試成績優異者，中央研究院資訊科學研究所另以獎助學金方式補助部份學分費。
• 修課學生另發給課本 Semantics with Applications: An Appetizer (Springer) 一本，供上課使用（視經費許可情形決定）。
• 修課學生需自備筆記型電腦，並能自行安裝 Frama-C 系統。

研習營學生可用優惠專案方式住宿於台大修齊會館，雙人房 NTD 2,025, 單人房 NTD1,350. 有需求者請洽主辦單位。以居住外縣市者優先。

• 項目表(符號)修習結束經考試及格後，由台灣大學進修推廣部授予碩士學分三學分並發給推廣教育證明書及學分成績證明。
• 本班與國內外大學相關研究所學分之抵免，依各校規定辦理。欲獲得學分之學員請先向所屬學校查詢學分抵免相關規定。
• 本班為學分班，僅授予學分，不授予學位證書。
• 本課程可登錄公務員終身學習時數。