年別アーカイブ: 2015

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

GRACEメールマガジン2015/4/8 第45号

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

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

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

今回のGRACEセミナーでは大阪大学Gaikovina助教をお招きし,リポジトリ … 続きを読む

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

GRACEメールマガジン2015/4/1 第44号

◆□◆GRACEメールマガジン2015/4/1 第44号◆□◆ —& … 続きを読む

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

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

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

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

GRACEメールマガジン2015/1/21 第43号

◆□◆GRACEメールマガジン2015/1/21 第43号◆□◆ — … 続きを読む

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