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.


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

Keynote and Invited Speakers


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


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


Workshop Chair

Program Co-Chairs

Program Committee

Local Arrangements


SKLSDE (State Key Laboratory of Software Development Environment), Beihang University


All inquiries should be sent to the program co-chairs at
Last Updated on May 6, 2010, by Yukiyoshi Kameyama.