A Movie of a speech and slides of keynote have been updated!(12/22)

Time: 13:00-15:00, Dec. 2nd, 2008
Place: Lecture Room 1 (2005), 20F, National Institute of Informatics (map)
Inquiry: Nobukazu Yoshioka (nobukazu_AT_nii.ac.jp)
Fee: Free
You need to register your name, affiliation and e-mail address in
advance, by 1st Dec. Please send a mail titled "11th Grace Seminar"
including the information to event-info@grace-center.jp.

Programme:
13:00-13:20 Introduction to Grace Center (in Japanese)
Shinichi Honiden, Director of Grace Center
13:20-14:00 Introduction to a Grace Center's project:
Linguistic Foundation for Bidirectional Model Transformation, Movie
Zhenjiang Hu, National Institute of Informatics
14:00-15:00 Keynote: Software Process Research: Evolve or Die, Slides
Speaker: Professor Kevin Ryan, Centre Director of Lero

Sponsored by GRACE Center
Date: 28 October, 2008 (Tue)
Place: Kitakyushu International Conference Center, Kitakyushu-City, Japan
Contact: Kenji Taguchi (ktaguchi _AT_ nii.ac.jp)

See details at
http://www.grace-center.jp/events/fmet2008/programme.html

The proceedings will be publihsed as a GRACE Technical Report (GRACE-TR-2008-03).
http://www.grace-center.jp/rsc_tr.html

Date: 23 October, 2008 (Wed)
Time: 10:00-12:00
Place: Seminar Room 1 (2006) on 20F, NII
Fee: Free
Contact: Kenji Taguchi (ktaguchi_AT_ nii.ac.jp)

−Towards Flexible and Efficient Fair System Verification
Jun Sun, School of Computing, National University of Singapore (NUS)
− Property Specifications for Workflow Modelling
Peter Wong, the Computing Laboratory, University of Oxford

Date: 11 September, 2008 (Wed)
Time: 10:00-12:00
Place: Seminar Room 1 (2006) on 20F, NII
Fee: Free
Contact: Nobukazu Yoshioka (nobukazu _AT_ nii.ac.jp)

−Open Semantics for the Digital Economy
Professor Jim Davies
(University of Oxford)
−Unfolding Abstract Datatypes
Jeremy Gibbons
(University of Oxford)