Dear colleagues,



To accommodate recent requests, we are extending the submission deadlines

of APLAS 2011 (Ninth Asian Symposium on Programming Languages and Systems)

and CPP 2011 (First International Conference on Certified Programs and Proofs)

by four days.



New Dates:



# Abstract Deadline (new): June 17, 2011 (23:59 GMT)

# Submission Deadline (new): June 21, 2011 (23:59 GMT)

# Notification: August 29, 2011

# Camera-Ready: September 19, 2011



Six invited speakers (APLAS and CPP combined):



* Andrew Appel (Princeton University)

* Nikolaj Bjorner (Microsoft Research)

* Ranjit Jhala (UC San Diego)

* Peter O'Hearn (Queen Mary, University of London)

* Sriram Rajamani (Microsoft Research India)

* Vladimir Voevodsky (Institute for Advanced Study, Princeton)



Conference Details:



Ninth Asian Symposium on Programming Languages and Systems (APLAS)

Kenting, Taiwan, December 5-7, 2011

http://flolac.iis.sinica.edu.tw/aplas11/



First International Conference on Certified Programs and Proofs (CPP)

Kenting, Taiwan, December 7?9, 2011

http://formes.asia/cpp/





Please kindly help circulate the CFPs. Thank you!



best regards,

APLAS and CPP 2011 PC Chairs and Organizers


----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.