投稿者「grace-office」のアーカイブ

【GRACEセンターメールマガジン】第51号

◆□◆GRACEメールマガジン2016/4/20 第51号◆□◆ — … 続きを読む

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

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

今回のGRACEセミナーでは,ブエノスアイレス大学のSebastian Uchi … 続きを読む

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

【GRACEセンターメールマガジン】第50号

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

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

【GRACEセンターメールマガジン】第49号

◆□◆GRACEメールマガジン2016/1/13 第49号◆□◆ — … 続きを読む

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

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

今回のGRACEセミナーでは,Design by Contractを始め,プログ … 続きを読む

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

GRACEメールマガジン2015/12/10 第48号

◆□◆GRACEメールマガジン2015/12/10 第48号◆□◆ —————— … 続きを読む

カテゴリー: メルマガ | GRACEメールマガジン2015/12/10 第48号 はコメントを受け付けていません。

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

今回のGRACEセミナーでは,形式手法やプログラム解析の専門家であるJun Su … 続きを読む

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

GRACEメールマガジン2015/7/8 第47号

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

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

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

今回のGRACEセミナーでは形式手法の第一人者であるウィーン工科大の Helmu … 続きを読む

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

GRACEメールマガジン2015/6/3 第46号

◆□◆GRACEメールマガジン2015/6/3 第46号◆□◆ —& … 続きを読む

カテゴリー: メルマガ | GRACEメールマガジン2015/6/3 第46号 はコメントを受け付けていません。