* [Caml-list] CFP: APLAS+CPP 2011
@ 2011-05-27 7:16 Tyng-Ruey Chuang
0 siblings, 0 replies; only message in thread
From: Tyng-Ruey Chuang @ 2011-05-27 7:16 UTC (permalink / raw)
To: caml-list; +Cc: trc
Dear Colleagues,
Sorry to intrude your Inbox. Abstraction submission deadline two weeks away:
Ninth Asian Symposium on Programming Languages and Systems (APLAS)
Kenting, Taiwan, December 5-7, 2011
> http://flolac.iis.sinica.edu.tw/aplas11/
and
First International Conference on Certified Programs and Proofs (CPP)
Kenting, Taiwan, December 7–9, 2011
> http://formes.asia/cpp/
# Abstract Deadline: June 13, 2011 (GMT)
# Submission Deadline: June 17, 2011 (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)
Please also help circulate the CFP. Thank you very much!
best,
Tyng-Ruey Chuang
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2011-05-27 7:17 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2011-05-27 7:16 [Caml-list] CFP: APLAS+CPP 2011 Tyng-Ruey Chuang
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox