Yearly Archives: 2012

(Japanese) GRACEセンターメールマガジン2012/11/7　第25号

Posted on Monday November 26th, 2012 by grace-office

Sorry, this entry is only available in Japanese.

Posted in magazine | Comments Off on (Japanese) GRACEセンターメールマガジン2012/11/7　第25号

The 63rd GRACE Seminar on Advanced Software Science and Engineering(Dec.12,2012)

Posted on Tuesday November 13th, 2012 by grace-office

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 →

Posted in Research, Seminar | Comments Off on The 63rd GRACE Seminar on Advanced Software Science and Engineering(Dec.12,2012)

The 62nd GRACE Seminar on Advanced Software Science and Engineering(Nov.30,2012)

Posted on Tuesday November 13th, 2012 by grace-office

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 →

Posted in Research, Seminar | Comments Off on The 62nd GRACE Seminar on Advanced Software Science and Engineering(Nov.30,2012)

(Japanese) GRACEセンターメールマガジン2012/9/24　第24号

Posted on Thursday October 4th, 2012 by grace-office

Sorry, this entry is only available in Japanese.

Posted in magazine | Comments Off on (Japanese) GRACEセンターメールマガジン2012/9/24　第24号

The 61st GRACE Seminar on Advanced Software Science and Engineering(Oct.31,2012)

Posted on Friday September 21st, 2012 by grace-office

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 →

Posted in Research, Seminar | Comments Off on The 61st GRACE Seminar on Advanced Software Science and Engineering(Oct.31,2012)

(Japanese) GRACEセンターメールマガジン2012/7/23　第23号

Posted on Monday July 30th, 2012 by grace-office

Sorry, this entry is only available in Japanese.

Posted in magazine | Comments Off on (Japanese) GRACEセンターメールマガジン2012/7/23　第23号

(Japanese) GRACEセンターメールマガジン2012/7/3　第22号

Posted on Thursday July 19th, 2012 by grace-office

Sorry, this entry is only available in Japanese.

Posted in magazine | Comments Off on (Japanese) GRACEセンターメールマガジン2012/7/3　第22号

The 60th GRACE Seminar on Advanced Software Science and Engineering

Posted on Friday May 25th, 2012 by grace-office

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 →

Posted in Research, Seminar | Comments Off on The 60th GRACE Seminar on Advanced Software Science and Engineering

(Japanese) GRACEメールマガジン2012/5/25　第21号

Posted on Friday May 25th, 2012 by grace-office

Sorry, this entry is only available in Japanese.

Posted in magazine | Comments Off on (Japanese) GRACEメールマガジン2012/5/25　第21号

(Japanese) GRACEメールマガジン2012/5/8　第20号

Posted on Tuesday May 8th, 2012 by grace-office

Sorry, this entry is only available in Japanese.

Posted in magazine | Comments Off on (Japanese) GRACEメールマガジン2012/5/8　第20号