« Eclipseでのモデリングを環境を確立 | トップページ | 『特許証』が特許庁から届いた »

2016年11月22日 (火)

『Event-B Day』のworkshop

国立情報学研究所(NII)@学術総合センターに来てます。

形式手法であるEvent-Bの『Event-B Day』のworkshopが開催されています。
 
参加者のほとんどが外国人で世界中から研究者がきていますが,UKとFranceの方が多いです。
 
アジェンダ(スケジュール)は下記です。
http://research.nii.ac.jp/eventb2016/

Eventbday

|

« Eclipseでのモデリングを環境を確立 | トップページ | 『特許証』が特許庁から届いた »

「パソコン・インターネット」カテゴリの記事