Category Archives: Seminar

The 63rd GRACE Seminar on Advanced Software Science and Engineering http://grace-center.jp/ Time: 10:00-11:00, Dec 12th, 2012 Place: Seminar Room, 20F, National Institute of Informatics（map） Inquiry: Fuyuki Ishikawa(seminar-steering_AT_nii.ac.jp) Fee: Free Please register via the following page: http://form1.fc2.com/form/?id=628975″ ============================================ [Program] * Lecture … Continue reading →

The 62nd GRACE Seminar on Advanced Software Science and Engineering http://grace-center.jp/ Time: 15:00-16:00, Nov 30th, 2012 Place: Lecture Room, 20F, National Institute of Informatics（map） Inquiry: Fuyuki Ishikawa(seminar-steering_AT_nii.ac.jp) Fee: Free Please register via the following page: http://form1.fc2.com/form/?id=489702″ ============================================ [Program] * Lecture … Continue reading →

The 61st GRACE Seminar on Advanced Software Science and Engineering http://grace-center.jp/ Time: 16:00-18:00, Oct 31st, 2012 Place: Meeting Room, 12F, National Institute of Informatics（map） Inquiry: Fuyuki Ishikawa(seminar-steering_AT_nii.ac.jp) Fee: Free Please register via the following page: http://form1.fc2.com/form/?id=489702″ ============================================ [Program] * Lecture … Continue reading →

Title :
Software quality assurance through formal verification.
Automatic memory safety verification by means of Separation Logic

Time: 13:00-15:00, Jun 13th, 2012
Place:Meeting Room (2009/2010), 20F, National Institute of Informatics（map） Continue reading →

The 59th GRACE Seminar on Advanced Software Science and Engineering
http://grace-center.jp/

Time: 14:00-15:00, May 18th, 2012 Continue reading →

(Japanese) ━━ Hadoop体験セミナーのご案内 ━━━━━━━━━━━━━━
■日　程：2012年4月27日(金) 10:00～17:00 (受付開始: 9:30)
■会　場：国立情報学研究所 20階　ミーティングルーム1・2（2009・2010）
　　　　　〒101-8430 東京都千代田区一ツ橋２－１－２
　　　　　http://www.nii.ac.jp/introduce/access1-j.shtml Continue reading →

The 58th GRACE Seminar on Advanced Software Science and Engineering
http://grace-center.jp/

Time: 15:00-17:00, April 10th, 2012
Place:Meeting Room (2009/2010), 20F, National Institute of Informatics（map） Continue reading →

(Japanese) 第57回先端ソフトウェア科学･工学に関するGRACEセミナー

セミナーの資料をアップ致しました。
下記をご覧ください。

http://opencarf.org/?page_id=598 Continue reading →

The 55th GRACE Seminar on Advanced Software Science and Engineering
October 25, 2011 – 17:22 |

2011
research
seminar

The 55th GRACE Seminar on Advanced Software Science and Engineering
http://grace-center.jp/ Continue reading →

The 56th GRACE Seminar on Advanced Software Science and Engineering
http://grace-center.jp/

Time: 10:00-12:00, November 28th, 2011
Place:Meeting Room (2009/2010), 20F, National Institute of Informatics（map） Continue reading →