課程及講師資訊:
函數編程/操作語意 陳恭/政大資科系
邏輯 Max Schafer/Oxford University
特別演講 Paul Hudak/Yale University
指稱語意 莊庭瑞/中研院資訊所、台大資管系
程式建構與推理 穆信成/中研院資訊所
使用Frama-C Pascal Cuoq/Commissariat al Energie Atomique
報名資訊請上網站
◆6/3(四)下午15:00, IBM 智慧生活前瞻研究中心資深技術經理Hung-yang (Henry) Chang於大仁樓200301教室進行演講,講題為「Beyond Cloud Computing --- an ecosystem vision for disruptive services using a cloud platform 」,由陳良弼老師主持。