AWFS 2010

The Seventh Asian Workshop on Foundation of Software

Chun Hui Yuan Hotel, Beijing, China.
Hosted by SKLSDE, Beihang University
May 14-16, 2010

Program | Local Info

Important Notice. The venue and the schedule of AWFS2010 were changed from the previous announcement. The new venue is Chun Hui Yuan Hotel, Beijing, and the new schedule is from May 14th evening (at around 19:00pm) to May 16th noon. The final program can be seen at the web page .

The Seventh Asian Workshop on Foundations of Software (AWFS) addresses foundational problems in current and future software design, development, and analysis. The previous AWFS meetings were held in Hangzhou in 2002, Nanjing in 2003, Xi'an in 2004, Beijing in 2005, Xiamen in 2007, and Tokyo in 2009.

The aim of this workshop is to stimulate various activities leading to the formation of new forums for Asian researchers in the foundational aspects of software science and technology.

Topics

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

Formal methods and artificial intelligence for software development
Logics of programs, program generation, transformation, evolution, and reasoning
Programming language design and semantics, programming methodologies and paradigms
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

Keynote and Invited Speakers

Prof. Chaochen Zhou (Chinese Academy of Science)
Prof. Yike Guo (Imperial College, London, UK)
Prof. Tetsuo Ida (University of Tsukuba, Japan)
Prof. Depei Qian (Beihang University)

Submission

Closed. Potential participants of AWFS 2010 are invited to submit abstracts of 1-2 pages for the work to be presented at the workshop. Abstracts (in pdf) should be submitted electronically to the program co-chairs.

The submitted abstracts will be judged on its significance, technical quality, and the relevance to AWFS.

Important Dates

Deadline for abstract submission:	March 30, 2010
Notification:	April 14, 2010
Workshop:	May 14-16, 2010

Venue

AWFS 2010 will be held at Chun Hui Yuan Hotel, Beijing, China.

Organization

Workshop Chair

Wei Li (Beihang University, China)

Program Co-Chairs

Yukiyoshi Kameyama (University of Tsukuba, Japan)
Shilong Ma (Beihang University, China)

Program Committee

Zhenjiang Hu (National Institute of Informatics, Japan)
Yukiyoshi Kameyama (University of Tsukuba, Japan), Co-Chair
Shilong Ma (Beihang University, China), Co-Chair
Yasuhiko Minamide (University of Tsukuba, Japan)
Shin Nakajima (National Institute of Informatics, Japan)
Zongyan Qiu (Peking University, China)
Hiroyuki Seki (Nara Institute of Science and Technology, Japan)
Dongming Wang (CNRS, France and Beihang University, China)
Ke Xu (Beihang University, China)
Shoji Yuen (Nagoya University, Japan)
Jianjun Zhao (Shanghai Jiao Tong University, China)
Jian Zhang (Chinese Academy of Sciences, China)

Local Arrangements

Dan Yu (Beihang University, China)
Bo Cheng (Beihang University, China)

Inquiry

All inquiries should be sent to the program co-chairs at awfs2010@logic.cs.tsukuba.ac.jp.

Last Updated on May 6, 2010, by Yukiyoshi Kameyama.