From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p5D3TdJD006120 for ; Mon, 13 Jun 2011 05:29:39 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ai0BAPKC9U2MbRQxgWdsb2JhbABEDoRJgiWQaI54FAEBFiYlqFKORoZtiHeDGYIBgQoEhwuBMJIIhls X-IronPort-AV: E=Sophos;i="4.65,356,1304287200"; d="txt'?scan'208";a="96649570" Received: from mx.iis.sinica.edu.tw ([140.109.20.49]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 13 Jun 2011 05:29:31 +0200 Received: from webmail.iis.sinica.edu.tw ([192.168.0.51]) by mx.iis.sinica.edu.tw (8.14.3/8.14.3) with ESMTP id p5D3TNul099859 for ; Mon, 13 Jun 2011 11:29:23 +0800 (CST) (envelope-from bywang@iis.sinica.edu.tw) Received: from webmail.iis.sinica.edu.tw (localhost [127.0.0.1]) by webmail.iis.sinica.edu.tw (8.14.4/8.14.4) with ESMTP id p5D3TM11015726 for ; Mon, 13 Jun 2011 11:29:23 +0800 (CST) (envelope-from bywang@iis.sinica.edu.tw) Received: (from www@localhost) by webmail.iis.sinica.edu.tw (8.14.4/8.14.4/Submit) id p5D3TMGb015725 for caml-list@yquem.inria.fr; Mon, 13 Jun 2011 11:29:22 +0800 (CST) (envelope-from bywang@iis.sinica.edu.tw) X-Authentication-Warning: webmail.iis.sinica.edu.tw: www set sender to bywang@iis.sinica.edu.tw using -f Received: from tu140081.ip.tsinghua.edu.cn (tu140081.ip.tsinghua.edu.cn [166.111.140.81]) by webmail.iis.sinica.edu.tw (Horde Framework) with HTTP; Mon, 13 Jun 2011 11:29:22 +0800 Message-ID: <20110613112922.167012n992wg3mdu@webmail.iis.sinica.edu.tw> Date: Mon, 13 Jun 2011 11:29:22 +0800 From: bywang@iis.sinica.edu.tw To: caml-list@yquem.inria.fr MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="=_x4n17cozuil" Content-Transfer-Encoding: 7bit User-Agent: Internet Messaging Program (IMP) H3 (4.3.8) / FreeBSD-8.1 X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.3 (mx.iis.sinica.edu.tw [192.168.0.49]); Mon, 13 Jun 2011 11:29:23 +0800 (CST) X-Spam-Score: -0.99 () ALL_TRUSTED,T_MIME_NO_TEXT X-Scanned-By: MIMEDefang 2.67 on 192.168.0.49 X-Validation-by: bywang@iis.sinica.edu.tw Subject: [Caml-list] Call for Papers: APLAS+CPP (new deadlines) This message is in MIME format. --=_x4n17cozuil Content-Type: text/plain; charset=ISO-8859-1; DelSp="Yes"; format="flowed" Content-Disposition: inline Content-Transfer-Encoding: 7bit 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. --=_x4n17cozuil Content-Type: text/plain; charset=UTF-8; name="aplas2011-cfp.txt" Content-Disposition: attachment; filename="aplas2011-cfp.txt" Content-Transfer-Encoding: 7bit ========================================================== APLAS 2011 Call For Papers Ninth Asian Symposium on Programming Languages and Systems Kenting, Taiwan, December 5--7, 2011 (co-located with CPP 2011) http://flolac.iis.sinica.edu.tw/aplas11/ ========================================================== BACKGROUND: APLAS aims at stimulating programming language research by providing a forum for the presentation of latest results and the exchange of ideas in topics concerned with programming languages and systems. APLAS is based in Asia, but is an international forum that serves the worldwide programming language community. APLAS is sponsored by the Asian Association for Foundation of Software (AAFS) founded by Asian researchers in cooperation with many researchers from Europe and the USA. The past APLAS symposiums were successfully held in Shanghai ('10), Seoul ('09), Bangalore ('08), Singapore ('07), Sydney ('06), Tsukuba ('05), Taipei ('04) and Beijing ('03) after three informal workshops. Proceedings of the past symposiums were published in Springer-Verlag's LNCS 6461, 5904, 5356, 4807, 4279, 3780, 3302, and 2895. The 2011 edition will be held at Kenting, a seaside resort in Southern Taiwan. TOPICS: The symposium is devoted to both foundational and practical issues in programming languages and systems. Papers are solicited on, but not limited to, the following topics: + semantics, logics, foundational theory; + design of languages and foundational calculi; + type systems; + compilers, interpreters, abstract machines; + program derivation and transformation; + program analysis, verification, model-checking, software security; + concurrency, constraints, domain-specific languages; + tools for programming, verification, implementation. APLAS 2011 is not limited to topics discussed in previous symposiums. Papers identifying future directions of programming and those addressing the rapid changes of the underlying computing platforms are especially welcome. Demonstration of systems and tools in the scope of APLAS are welcome to the System and Tool presentations category. Authors concerned about the appropriateness of a topic are welcome to consult with Program Chair prior to submission. IMPORTANT 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 INVITED SPEAKERS: Nikolaj Bjorner, Microsoft Research Redmond Ranjit Jhala, UC San Diego Peter O'Hearn, Queen Mary U. London Sriram Rajamani, Microsoft Research India SUBMISSION INFORMATION: We solicit submissions in two categories: Regular research papers, describing original research results, including tool development and case studies, from a perspective of scientific research. Regular research papers should not exceed 16 pages in the Springer LNCS format, including bibliography and figures. They should clearly identify what has been accomplished and why it is significant. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. In case of lack of space, proofs, experimental results, or any information supporting the technical results of the paper could be provided as Appendix or a link to a web page. System and Tool presentations, describing systems or tools that support theory, program construction, reasoning, and/or program execution in the scope of APLAS. Unlike presentations of regular research papers, presentation of accepted papers in this category is expected to be centered around a demonstration. The paper and the demonstration should identify the novelties of the tools and use motivating examples. System and Tool papers should not exceed 8 pages in the Springer LNCS format, including bibliography and figures. Submissions will be judged based on both the papers and the systems or tools as described in the papers. It is highly desirable that the tools are available on the web. Papers should be submitted electronically via the submission web page at http://www.easychair.org/conferences/?conf=aplas2011. Acceptable formats are PostScript or PDF, viewable by Ghostview or Acrobat Reader. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English. The proceedings are planned to be published as a volume in Springer-Verlag's Lecture Notes in Computer Science series. Accepted papers must be presented at the conference. GENERAL CHAIR: Tyng-Ruey Chuang, Academia Sinica, Taiwan PROGRAM CHAIR: Hongseok Yang, U. Oxford aplas2011@easychair.org PROGRAM COMMITTEE: Lars Birkedal (ITU, Denmark) James Brotherston (Imperial College, UK) Kung Chen (National Chengchi U., Taiwan) Wenguang Chen (Tsinghua U., China) Wei-Ngan Chin (NUS, Singapore) Javier Esparza (TUM, Germany) Xinyu Feng (USTC, China) Jerome Feret (INRIA, France) Matthew Fluet (RIT, USA) Rajiv Gupta (UC Riverside, USA) Masahito Hasegawa (Kyoto U., Japan) Radha Jagadeesan (Depaul U., USA) Naoki Kobayashi (Tohoku U., Japan) Daniel Kroening (U. Oxford, UK) Rupak Majumdar (MPI-SWS, Germany) Andrzej Murawski (U. Leicester, UK) Paulo Oliva (Queen Mary U. London, UK) Doron Peled (Bar Ilan U., Israel) Sukyoung Ryu (KAIST, Korea) Sriram Sankaranarayanan (U. Colorado, USA) Armando Solar-Lezama (MIT, USA) Sam Staton (U. Cambridge, UK) Viktor Vafeiadis (MPI-SWS, Germany) Kapil Vaswani (MSR, India) Martin Vechev (IBM, USA) Peng Wu (IBM, USA) Hongseok Yang (U. Oxford, UK) Pen-Chung Yew (Academia Sinica, Taiwan) ORGANIZERS: Mike Dodds, U. Cambridge (Poster chair) Shin-Cheng Mu, Academia Sinica, Taiwan (Local arrangement chair) Noam Rinetzky, Queen Mary U. London (Publicity chair) Yih-Kuen Tsay, National Taiwan University (Finance chair) --=_x4n17cozuil Content-Type: text/plain; charset=UTF-8; name="cpp2011-cfp.txt" Content-Disposition: attachment; filename="cpp2011-cfp.txt" Content-Transfer-Encoding: quoted-printable The First International Conference on Certified Programs and Proofs (CPP 2011) FINAL CALL FOR PAPERS (with extended deadlines) Kenting, Taiwan=20 December 7--9, 2011=20 http://formes.asia/cpp (co-located with APLAS 2011) CPP is a new international forum on theoretical and practical topics in all areas, including computer science, mathematics, and education, that consider certification as an essential paradigm for their work. Certification here means formal, mechanized verification of some sort, preferably with production of independently checkable certificates. We invite submissions on topics that fit under this rubric. Suggested, but not exclusive, specific topics of interest for submissions include: certified or certifying programming, compilation, linking, OS kernels, runtime systems, and security monitors; program logics, type systems, and semantics for certified code; certified decision procedures, mathematical libraries, and mathematical theorems; proof assistants and proof theory; new languages and tools for certified programming; program analysis, program verification, and proof-carrying code; certified secure protocols and transactions; certificates for decision procedures, including linear algebra, polynomial systems, SAT, SMT, and unification in algebras of interest; certificates for semi-decision procedures, including equality, first-order logic, and higher-order unification; certificates for program termination; logics for certifying concurrent and distributed programs; higher-order logics, logical systems, separation logics, and logics for security; and teaching mathematics and computer science with proof assistants. INVITED SPEAKERS: * Andrew Appel (Princeton University) * Nikolaj Bj=C3=B8rner (Microsoft Research) * Peter O'Hearn (Queen Mary, University of London) * Vladimir Voevodsky (Institute for Advanced Study, Princeton University) IMPORTANT DATES: Authors are required to submit a paper title and a short abstract before submitting the full paper. The submission should include when necessary a url where to find the formal development assessing the essential aspects of the work. All submissions will be electronic. All deadlines are at midnight (GMT). Abstract Deadline: Monday, June 17, 2011 (new) Paper Submission Deadline: Friday, June 21, 2011 (new) Author Notification: Monday, August 29, 2011 Camera Ready: Monday, September 19, 2011 Conference: December 7-9, 2011 SUBMISSION INSTRUCTIONS:=20 Papers should be submitted electronically online via the conference submission web page at URL:=20 http://www.easychair.org/conferences/?conf=3Dcpp2011 Acceptable formats are PostScript or PDF, viewable by Ghostview or Acrobat Reader. Submissions should not exceed 16 pages in LNCS format, including bibliography and figures. Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should clearly identify what has been accomplished and why it is significant. The proceedings of the symposium will=20 be published as a volume in Springer-Verlag's Lecture Notes in Computer Science series.=20 Each submission must be written in English and provide sufficient detail to allow the program committee to assess the merits of the paper. It should begin with a succinct statement of the issues, a summary of the main results, and a brief explanation of their significance and relevance to the conference, all phrased for the non-specialist. Technical and formal developments directed to the specialist should follow. Whenever appropriate, the submission should come along with a formal development, using whatever prover, e.g., Agda, Coq, Elf, HOL, HOL-Light, Isabelle, Matita, Mizar, NQTHM, PVS, Vampire, etc. References and comparisons with related work should be included. Papers not conforming to the above requirements concerning format and length may be rejected without further consideration. The results must be unpublished and not submitted for publication elsewhere, including the proceedings of other published conferences or workshops. The PC chairs should be informed of closely related work submitted to a conference or journal in advance of submission. Original formal proofs of known results in mathematics or computer science are among the targets. One author of each accepted paper is expected to present it at the conference. AWARD FOR BEST PAPER: An award will be given for the best accepted paper, as judged by the program committee. The committee may decline to make the award or split=20 it among several papers. PROGRAM CO-CHAIRS: Jean-Pierre Jouannaud (INRIA and Tsinghua University) Zhong Shao (Yale University) Email: cpp2011pc@gmail.com GENERAL CHAIR: Yih-Kuen Tsay (National Taiwan University) PROGRAM COMMITTEE: Andrea Asperti (University of Bologna) Gilles Barthe (IMDEA Software Institute) Xiao-Shan Gao (Chinese Academy of Sciences) Georges Gonthier (Microsoft Research Cambridge) Chris Hawblitzel (Microsoft Research Redmond) John Harrison (Intel Corporation) Jean-Pierre Jouannaud (INRIA and Tsinghua University) Akash Lal (Microsoft Research India)=20 Xavier Leroy (INRIA Paris-Rocquencourt) Yasuhiko Minamide (University of Tsukuba) Shin-Cheng Mu (Academia Sinica) Michael Norrish (NICTA) Brigitte Pientka (McGill University) Sandip Ray (University of Texas at Austin) Natarajan Shankar (SRI International)=20 Zhong Shao (Yale University)=20 Christian Urban (TU Munich) Viktor Vafeiadis (Max Planck Institute for Software Systems) Stephanie Weirich (University of Pennsylvania) Kwangkeun Yi (Seoul National University) PUBLICITY CHAIR: Bow-Yaw Wang (Academia Sinica, INRIA and Tsinhua University) ORGANIZING COMMITTEE:=20 Tyng-Ruey Chuang (chair), Shin-Cheng Mu, Yih-Kuen Tsay (Academia Sinica and National Taiwan University) Email: cpp2011oc@gmail.com --=_x4n17cozuil--