年別アーカイブ: 2015

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

投稿日: 2015年12月10日作成者: grace-office

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

カテゴリー: メルマガ | コメントを受け付けていません

投稿日: 2015年12月10日作成者: grace-office

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

カテゴリー: 研究, セミナー, 未分類 | コメントを受け付けていません

投稿日: 2015年07月08日作成者: grace-office

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

カテゴリー: メルマガ | コメントを受け付けていません

投稿日: 2015年07月07日作成者: grace-office

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

カテゴリー: 研究, セミナー, 未分類 | コメントを受け付けていません

投稿日: 2015年06月03日作成者: grace-office

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

カテゴリー: メルマガ | コメントを受け付けていません

投稿日: 2015年04月08日作成者: grace-office

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

カテゴリー: メルマガ | コメントを受け付けていません

投稿日: 2015年04月08日作成者: grace-office

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

カテゴリー: 研究, セミナー, 未分類 | コメントを受け付けていません

投稿日: 2015年04月01日作成者: grace-office

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

カテゴリー: メルマガ | コメントを受け付けていません

投稿日: 2015年03月30日作成者: grace-office

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

カテゴリー: 研究, セミナー, 未分類 | コメントを受け付けていません

投稿日: 2015年01月21日作成者: grace-office

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

カテゴリー: メルマガ | コメントを受け付けていません