Dear Colleague,

Please see attached a call-for-participation for the 9th Asian Symposium on
Programming Languages and Systems, and the 1st International Conference on
Certified Programs and Proofs, to be held in Kenting, Taiwan, on Dec 4-9, 2011.

Please help circulate the call-for-participation, and please take advantage of the
early registration fees by registering to the conferences by Nov 12.

best,
Tyng-Ruey Chuang