理化学研究所 計算科学研究センター

メニュー
メニュー

第28回

第28回
日時:2012年9月28日 (金), 15:00 - 16:00
場所: AICS 6階講堂

講演題目: 「A Gentle Introduction to Semantics of Programming Languages and Program Verification
講演者: 前田 俊行 (利用高度化研究チーム)