年別アーカイブ: 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 場所:国立情報学研究所 … 続きを読む
第62回先端ソフトウェア科学・工学に関するGRACEセミナー[11/30開催]
日時:2012年11月30日(金)15:00-16:00 場所:国立情報学研究所 … 続きを読む
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 場所:国立情報学研究所 … 続きを読む
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) 続きを読む
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号 はコメントを受け付けていません