AWFS 2009

Sixth Asian Workshop on Foundations of Software

GRACE Center of National Institute of Informatics, Tokyo, Japan
April 6-8, 2009

| Program | Registration | Access | Hotels |

Asian Workshop on Foundations of Software (AWFS) addresses foundational problems in current and future software design, development, and analysis. The previous five AWFS were held in Hangzhou in 2002, Nanjing in 2003, Xi'an in 2004, Beijing in 2005, and Xiamen in 2007. It is expected that this workshop will further stimulate various activities leading to formation of new forums for Asian researchers in the area of software science and technology.


Specific topics for AWFS 2009 include (but are not limited to):

Invited Speakers


Potential participants of AWFS 2009 are invited to submit either to be presented at the workshop. Abstracts should be prepared using LaTeX (preferably with the ENTCS style files), and submitted electronically via the EasyChair system.

The submitted abstracts will be judged on its significance, technical quality, relevance to AWFS, and presentation. The authors will be notified of acceptance or rejection of their abstracts by January 22, 2009. Accepted (extended) abstracts or full papers will be printed in the informal proceedings of AWFS 2009 for distribution at the workshop. Authors of selected papers will be invited after the workshop to submit for publication of a full version in a special issue of the Electronic Notes in Theoretical Computer Science. -> Three selected papers were revised and published in the journal Frontiers of Computer Science in China, Volume 4, Number 2 (June 2010).


Deadline for abstract submission: December 22, 2008 -> January 12, 2009
Notification of acceptance or rejection: January 22, 2009 -> February 5, 2009
Workshop taking place: April 6-8, 2009


Workshop Chair

Tetsuo Ida, University of Tsukuba, Japan

Program Co-Chairs

Zhenjiang Hu, National Institute of Informatics, Japan
Jian Zhang, Chinese Academy of Sciences, China

Program Committee

Yiyun Chen (University of Science and Technology of China, China)
Wei-Ngan Chin (National University of Singapore, Singapore)
Jin Song Dong (National University of Singapore, Singapore)
Yuxi Fu (Shanghai Jiaotong University, China)
Qingshan Jiang (Xiamen University, China)
Xuandong Li (Nanjing University, China)
Shaoying Liu (Hosei University, Japan)
Zhiming Liu (UNU/IIST, China)
Shilong Ma (Beihang University, China)
Shin-Cheng Mu (Academia Sinica, Taiwan)
Yasuhiko Minamide (Tsukuba University, Japan)
Mizuhito Ogawa (JAIST, Japan)
Atsushi Ohori (Tohoku University, Japan)
Nguyen Hua Phung (Ho Chi Minh City Univ. of Technology, Vietnam)
Zongyan Qiu (Peking University, China)
Masahiko Sato (Kyoto University, Japan)
Zhong Shao (Yale University, USA)
Masato Takeichi (University of Tokyo, Japan)
Dongming Wang (Beihang University, China and UPMC-CNRS, France)
Ji Wang (National University of Defense Technology, China)
Yi Wang (Uppsala University, Sweden)
Kwangkeun Yi (Seoul National University, Korea)
Mingsheng Ying (Tsinghua University, China)
Nobukazu Yoshioka (National Institute of Informatics, Japan)
Taiichi Yuasa (Kyoto University, Japan)
Wenhui Zhang (Chinese Academy of Sciences, China)
Jianjun Zhao (Shanghai Jiaotong University, China)

Local Arrangements

Akimasa Morihata (University of Tokyo, Japan)
Yingfei Xiong (University of Tokyo, Japan)


GRACE_logoGRACE Center, National Institute of Informatics
Asian Association for Foundation of Software (AAFS)

Last Updated on December 23, 2008.