研究」カテゴリーアーカイブ

第73回先端ソフトウェア科学・工学に関するGRACEセミナー[4/17開催]

今回は、並行プロセスの解析や検証ツールの一つとして有名なPAT(プロセス 分析ツ … 続きを読む

カテゴリー: 研究, セミナー, 未分類 | 第73回先端ソフトウェア科学・工学に関するGRACEセミナー[4/17開催] はコメントを受け付けていません。

第69回先端ソフトウェア科学・工学に関するGRACEセミナー[9/25開催]

今回は、SEIの研究者でありセキュアコーディングを推進している David Ke … 続きを読む

カテゴリー: 研究, セミナー | 第69回先端ソフトウェア科学・工学に関するGRACEセミナー[9/25開催] はコメントを受け付けていません。

第68回先端ソフトウェア科学・工学に関するGRACEセミナー[9/6開催]

今回のGRACEセミナーでは,トップレベルの研究者2名の方に, 自己適応に関する … 続きを読む

カテゴリー: 研究, セミナー | 第68回先端ソフトウェア科学・工学に関するGRACEセミナー[9/6開催] はコメントを受け付けていません。

第67回先端ソフトウェア科学・工学に関するGRACEセミナー[4/4開催]

今回のGRACEセミナーでは,ロンドン大学の 研究者二人をお招きして,人工生命や … 続きを読む

カテゴリー: 研究, セミナー | タグ: | 第67回先端ソフトウェア科学・工学に関するGRACEセミナー[4/4開催] はコメントを受け付けていません。

第66回先端ソフトウェア科学・工学に関するGRACEセミナー[3/18開催]

今回のGRACEセミナーでは,上海交通大学のJianjun Zhao教授をお招き … 続きを読む

カテゴリー: 研究, セミナー | 第66回先端ソフトウェア科学・工学に関するGRACEセミナー[3/18開催] はコメントを受け付けていません。

第65回先端ソフトウェア科学・工学に関するGRACEセミナー[2/7開催]

この程、形式手法で世界のトッププラスの会議(CAV, FMなど)に多数の研究を発 … 続きを読む

カテゴリー: 研究, セミナー | 第65回先端ソフトウェア科学・工学に関するGRACEセミナー[2/7開催] はコメントを受け付けていません。

第64回先端ソフトウェア科学・工学に関するGRACEセミナー[1/21開催]

日時:2013年1月21日(月)14:00-15:30 場所:国立情報学研究所( … 続きを読む

カテゴリー: 研究, セミナー | 第64回先端ソフトウェア科学・工学に関するGRACEセミナー[1/21開催] はコメントを受け付けていません。

第63回先端ソフトウェア科学・工学に関するGRACEセミナー[12/12開催]

日時:2012年12月12日(水)10:00-11:00 場所:国立情報学研究所 … 続きを読む

カテゴリー: 研究, セミナー | 第63回先端ソフトウェア科学・工学に関するGRACEセミナー[12/12開催] はコメントを受け付けていません。

第62回先端ソフトウェア科学・工学に関するGRACEセミナー[11/30開催]

日時:2012年11月30日(金)15:00-16:00 場所:国立情報学研究所 … 続きを読む

カテゴリー: 研究, セミナー | 第62回先端ソフトウェア科学・工学に関するGRACEセミナー[11/30開催] はコメントを受け付けていません。

第61回先端ソフトウェア科学・工学に関するGRACEセミナー[10/31開催]

日時:2012年10月31日(水)16:00-18:00 場所:国立情報学研究所 … 続きを読む

カテゴリー: 研究, セミナー | 第61回先端ソフトウェア科学・工学に関するGRACEセミナー[10/31開催] はコメントを受け付けていません。