Sixth Asian Workshop on Foundations of Software

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.

Topics

• Logics of programs, program generation, transformation, evolution, and reasoning
• Formal methods and artificial intelligence for software development
• Programming methodologies and paradigms
• Programming language design and semantics
• Symbolic Computation
• Software development methodologies, tools, and environments
• Software specification, verification, testing, analysis, refinement, and model checking
• Software architectures, software reuse, and user interface design
• Software for distributed, parallel, web/Internet-based, and mobile computing
• Software Engineering in Multi-Agent Systems and Service-Oriented Computing
• Empirical studies of software tools and methods

Invited Speakers

• Yike Guo (Imperial College, UK)
• Shinichi Honiden (National Institute of Informatics, Japan)
• David Parnas (Professor Emeritus, McMaster Uiversity, Canada)

Submission

• abstracts of 1-2 pages for the work which has been published, or
• extended abstracts of 6-10 pages for the new work

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).

Dates

Organization

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)

Sponsors