年別アーカイブ: 2012

GRACEセンターメールマガジン2012/11/7 第25号

◆□◆GRACEメールマガジン2012/11/7 第25号◆□◆ — … 続きを読む

カテゴリー: メルマガ | GRACEセンターメールマガジン2012/11/7 第25号 はコメントを受け付けていません。

第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開催] はコメントを受け付けていません。

GRACEセンターメールマガジン2012/9/24 第24号

◆□◆GRACEメールマガジン2012/9/24 第24号◆□◆ — … 続きを読む

カテゴリー: メルマガ | GRACEセンターメールマガジン2012/9/24 第24号 はコメントを受け付けていません。

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

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

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

GRACEセンターメールマガジン2012/7/23 第23号

◆□◆GRACEメールマガジン2012/7/23 第23号◆□◆ — … 続きを読む

カテゴリー: メルマガ | GRACEセンターメールマガジン2012/7/23 第23号 はコメントを受け付けていません。

GRACEセンターメールマガジン2012/7/3 第22号

◆□◆GRACEメールマガジン2012/7/3 第22号◆□◆ —& … 続きを読む

カテゴリー: メルマガ | GRACEセンターメールマガジン2012/7/3 第22号 はコメントを受け付けていません。

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

タイトル;
数学的にプログラム品質の正当性を静的に検証するソリューション
Separation Logic による自動メモリセーフティ検証

日時:2012年6月13日(水)13:00-15:00
場所:国立情報学研究所(NII)(地図)
20階 ミーティングルーム1・2(2009・2010) 続きを読む

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

GRACEメールマガジン2012/5/25 第21号

◆□◆GRACEメールマガジン2012/5/25 第21号◆□◆ — … 続きを読む

カテゴリー: メルマガ | GRACEメールマガジン2012/5/25 第21号 はコメントを受け付けていません。

GRACEメールマガジン2012/5/8 第20号

◆□◆GRACEメールマガジン2012/5/8 第20号◆□◆ —& … 続きを読む

カテゴリー: メルマガ | GRACEメールマガジン2012/5/8 第20号 はコメントを受け付けていません。