Program | GRACE International Symposium on Advanced Software Engineering 2010

Monday, 15th March 2010
	Conference Room I,II	NII 12F 1208,1210	Conference Room III, IV	Conference Room 101,102,103
8:30-	Registration
9:00-10:00	Invited Talk 1 Sebastian Uchitel, Imperial College London Title: Partial Behaviour Modelling: Foundations for Incremental and Iterative Model-Based Software Engineering		Posters and Demos
10:00-10:20	Coffee Break
10:20-11:50	Workshop 1 Workshop on Industrial Applications of Formal Methods	Workshop 2 Security Software Engineering Workshop	Posters and Demos	Workshop 3 Workshop on Bidirectional Transformation
12:00-13:00	Lunch
13:00-14:00	Invited Talk 2 Hong Mei, Peking University Title: Internetware: A new software paradigm for Internet as a computer		Posters and Demos
14:00-14:20	Coffee Break
14:20-15:50	Workshop 1 Workshop on Industrial Applications of Formal Methods	Workshop 2 Security Software Engineering Workshop	Posters and Demos	Workshop 3 Workshop on Bidirectional Transformation
15:50-16:10	Coffee Break
16:10-17:40	Workshop 1 Workshop on Industrial Applications of Formal Methods	Workshop 2 Security Software Engineering Workshop	Posters and Demos	Workshop 3 Workshop on Bidirectional Transformation
18:00-20:00			Welcome Reception & Poster Presentations

Tuesday, 16th March 2010
	Hitotsubashi Memorial Hall	Conference Room III, IV	Conference Room 101,102,103
8:30-	Registration
9:30-10:00	Opening Remarks Masao Sakauchi, Director General, National Institute of Informatics	Posters and Demos	1st Asian Conference on Patterns and Languages of Programs
10:00-10:40	GRACE Center Activity Report Shinichi Honiden, Director, GRACE Center, National Institute of Informatics	Posters and Demos	1st Asian Conference on Patterns and Languages of Programs
10:40-11:00	Coffee Break
11:00-12:00	Keynote 1 Jeff Kramer, Imperial College London	Posters and Demos
12:00-13:30	Lunch
13:30-15:30	GRACE Center Research Report Zhenjiang Hu, Fuyuki Ishikawa, Keiji Tei, Nailah Abdullah TopSE Project Activity Report Kenji Taguchi	Posters and Demos	1st Asian Conference on Patterns and Languages of Programs
15:30-15:50	Coffee Break
15:50-16:20	Invited Talk 3 Masaharu Niwa, IT Skill Standards Center, IT Human Resource Development Headquarters, Information-Technology Promotion Agency(IPA), Japan Title: ITSS(Skill Standards for IT Professionals) Overview and Worldwide Promotion	Posters and Demos
16:20-16:50	Invited Talk 4 Bashar Nuseibeh, Open University Title: Privacy Requirements in Mobile and Ubiquitous Computing	Posters and Demos
16:50-17:50	Panel Discussion Title: The Future of Software Engineering: a historical perspective Anthony Finkelstein, Koukichi Futatsugi, Katsuro Inoue, Kyo Kang, Bashar Nuseibeh (Chair)	Posters and Demos
18:30-20:30	Banquet at Josui Kaikan 2F Star Hall

Wednesday, 17th March 2010
	Conference Room I,II	NII 12F 1208/1210	Conference Room III, IV	Conference Room 101,102,103
8:30-	Registration
9:00-10:00	Invited Talk 5 Joshua Kerievsky, Title: A Timeless Way Of Communicating		Posters and Demos
10:00-10:20	Coffee Break
10:20-11:50	Workshop 4 B Dissemination Day	Workshop 5 Workshop on New-Generation Networked Computing Paradigms: from Sensors to Services	Posters and Demos	1st Asian Conference on Patterns and Languages of Programs
12:00-13:00	Lunch
13:00-14:00	Invited Talk 6 Jin Song Dong Title: Expressive Design Techniques and Efficient Model Checking		Posters and Demos
14:00-14:20	Coffee Break
14:20-15:50	Workshop 4 B Dissemination Day	Workshop 5 Workshop on New-Generation Networked Computing Paradigms: from Sensors to Services	Posters and Demos	1st Asian Conference on Patterns and Languages of Programs
15:50-16:10	Coffee Break
16:10-17:40	Workshop 4 B Dissemination Day	Workshop 5 Workshop on New-Generation Networked Computing Paradigms: from Sensors to Services	Posters and Demos	1st Asian Conference on Patterns and Languages of Programs