第28回 日時:2012年9月28日 (金), 15:00 - 16:00 場所: AICS 6階講堂
講演題目: 「A Gentle Introduction to Semantics of Programming Languages and Program Verification 」講演者: 前田 俊行 (利用高度化研究チーム)
