AWFS 2007

Fifth Asian Workshop on Foundations of Software

Xiamen, China, June 1-3, 2007

Program - Registration

Asian Workshop on Foundations of Software (AWFS) addresses foundational problems in current and future software design, development, and analysis. The previous four AWFS were held in Hangzhou in 2002, Nanjing in 2003, Xi'an in 2004, and Beijing in 2005. The scope of the 5th AWFS is extended to include artificial intelligence methodologies and the design and implementation of symbolic computation software. 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

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

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
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
Design and implementation of symbolic computation software
Empirical studies of software tools and methods
Database theory and data mining

Invited Speakers

Main invited talks will be given by:

Jifeng He (East China Normal University)
Wei Li (Beihang University, China)
Masahiko Sato (Kyoto University, Japan)
Yingxu Wang (University of Calgary, Canada)

Other invited speakers include: Huacan He (Xi'an), Zhenjiang Hu (Tokyo), Shigeru Igarash (Tsukuba), Andrés Iglesias Prieto (Santander), Tomoaki Kawaguchi (Tsukuba), Shilong Ma (Beijing), Marc Moreno Maza (London), Atsushi Ohori (Sendai), Zongyan Qiu (Beijing), Renaud Rioboo (Paris), Ali Yazici (Ankara), Taiichi Yuasa (Kyoto), Jian Zhang (Beijing).

Submission

Potential participants of AWFS 2007 are invited to submit (extended) abstracts of 1-3 pages for presentation at the workshop. Abstracts should be prepared using LaTeX (preferably with the LNCS style files) and sent in PDF or PS format as e-mail attachments to Professor Dongming Wang by March 15, 2007. The submitted abstracts will be reviewed by the program committee, and the authors will be notified of acceptance or rejection of their abstracts by April 15, 2007. Accepted (extended) abstracts or full papers will be printed in the informal proceedings of AWFS 2007 for distribution at the workshop. Selected papers of AWFS 2007 will be published in a book after the workshop.

Dates

Deadline for abstract submission:	March 15, 2007
Notification of acceptance or rejection:	April 15, 2007
Workshop taking place:	June 1-3, 2007

Organization

Workshop Chair

Wei Li, Beihang University, China

Program Co-Chairs

Tetsuo Ida, University of Tsukuba, Japan
Qingshan Jiang, Xiamen University, China
Dongming Wang, Beihang University, China and UPMC-CNRS, France

Local Arrangements

Tongtao Zheng, Xiamen University, China