First International Workshop on Formal Methods Education and Training (FMET) 2008

GRACEセンター協賛
日 時: 2008年10月28日(火)
場 所: 北九州国際会議場
お問い合わせ: 田口 研治 (ktaguchi _AT_ nii.ac.jp)

詳細は下記Webページをご参照下さい.
http://www.grace-center.jp/events/fmet2008/

ワークショップのプロシーディングはGRACEレポートとして公開されます(GRACE-TR-2008-03).
http://www.grace-center.jp/rsc_tr.html

カテゴリー: 教育, イベント パーマリンク

コメントは停止中です。