From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p4R7HlSU008411 for ; Fri, 27 May 2011 09:17:47 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Al8MAOFO302MbRQxgWdsb2JhbABUmCuOCxQBARYmFhC8UIh0hhwEhmGOOIpJ X-IronPort-AV: E=Sophos;i="4.65,279,1304287200"; d="scan'208";a="109670637" Received: from unknown (HELO mx.iis.sinica.edu.tw) ([140.109.20.49]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 27 May 2011 09:17:40 +0200 Received: from mail.iis.sinica.edu.tw (mail [192.168.0.50]) by mx.iis.sinica.edu.tw (8.14.3/8.14.3) with ESMTP id p4R7GJ0t032902; Fri, 27 May 2011 15:16:19 +0800 (CST) (envelope-from trc@iis.sinica.edu.tw) Received: from trc.iis.sinica.edu.tw (trc.iis.sinica.edu.tw [140.109.20.136]) (authenticated bits=0) by mail.iis.sinica.edu.tw (8.13.8/8.13.8) with ESMTP id p4R7GJim011803 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Fri, 27 May 2011 15:16:19 +0800 (CST) (envelope-from trc@iis.sinica.edu.tw) Message-ID: <4DDF4FC3.6090805@iis.sinica.edu.tw> Date: Fri, 27 May 2011 15:16:19 +0800 From: Tyng-Ruey Chuang User-Agent: Thunderbird 2.0.0.23 (Macintosh/20090812) MIME-Version: 1.0 To: caml-list@inria.fr CC: trc@iis.sinica.edu.tw Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 8bit X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.3 (mx.iis.sinica.edu.tw [192.168.0.49]); Fri, 27 May 2011 15:16:20 +0800 (CST) X-Spam-Score: 0.615 () ALL_TRUSTED,SUBJ_ALL_CAPS,T_RP_MATCHES_RCVD X-Scanned-By: MIMEDefang 2.67 on 192.168.0.49 Subject: [Caml-list] CFP: APLAS+CPP 2011 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