The PDF version of Programs and workshops related information is ready here.
The aim of this workshop is to bring together the developers of CT methods, techniques and tools, and the users and testers to share experiences and issues in the application of CT methods.
The 1st French Singaporean Workshop in Formal Methods and Applications (FSFMA) aims at sharing research interests and launching collaborations in the area of formal methods for constructing reliable and secure systems.
The 1st Singapore-Japan Joint Workshop on Programming Languages and 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.