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

Invited Speakers

Main invited talks will be given by: 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

Sponsors

NLSDE and LMIB, Beihang University
Software School, Japanese Research Institute, and International College, Xiamen University
Asian Association for Foundation of Software

Registration, lodging, and travel information in English and Chinese


Links: ICCS 2007 (Beijing, China, May 27-30, 2007) - TASE 2007 (Shanghai, China, June 6-8, 2007)