Category Archives: Research

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 →

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 →

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

Time: 15:00-17:00, October 3rd, 2011
Place:Meeting Room (2009/2010), 20F, National Institute of Informatics（map） Continue reading →

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

Time: 13:00-17:00, Jun 24th, 2011
Place: Meeting Room (2009/2010), 20F, National Institute of Informatics
(map) Continue reading →

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

Time: 10:00-11:00, Apr 25th, 2011
Place: Lecture Room1 (2005), 20F, National Institute of Informatics
(map) Continue reading →

Due to the earthquake and subsequent incidents, we have decided to cancel the following GRACE seminars in March.
Thank you for your understanding. Continue reading →