The 4th Asian Workshop on Advanced Software Engineering (AWASE) aims at providing a forum for researchers and educators to present and discuss the most recent innovations, trends, advances, experience and concerns in the generative approach to software development, as well as to promote the interaction between participators. The scientific subject of the workshop covers (but does not limit to) areas such as software engineering, formal method, model checking, program analysis/transformation , and applications in major areas of computer science. The workshop will be held on October 11th and 12th, 2014, at Peking University in Beijing, China.
The venue is Hall No.4, Da Xue Tang at The Lakeview Hotel. It is at Floor B1. Please walk downstairs from the first floor, and then walk along the right-hand side to reach the venue.
The scientific topics of the workshop include, but are not limited to: