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
--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
No comments:
Post a Comment