From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 708FF7EE35 for ; Mon, 18 Apr 2016 03:49:04 +0200 (CEST) IronPort-PHdr: 9a23:FbYKXBVu1ZL6CB+sdj6wBk7C+EHV8LGtZVwlr6E/grcLSJyIuqrYZxCCt8tkgFKBZ4jH8fUM07OQ6PCwHzJZqsvd+Fk5M7VyFDY9wf0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3CwN5K6zPF5LIiIzvjqbpq82VPVwD2Wb1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu2pN5g/GKBJFDk9dmkz4sr2sxLOZQ+O/WcHFH4bmwEOHhDI6he8U5vs9mP3ve16wGybO8PxZb0/XjO6qaBxR1ugjSALKjow6mDLm4l5iqRcvRSqqjRwxInbZIyaLv1jZribdtQfASJKV8NVEihAGZ+Ubo0VDuNHM/wLgZP6og4nsQCjHgmtTMLgwyVBnX/3lfk73O07GBrG3SQjAtMV9nfFq8nycbpUWOvzzrGenmaLVO9fxTqosNuASRsmu/zZBb8= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=igarashi@kuis.kyoto-u.ac.jp; spf=None smtp.mailfrom=igarashi@kuis.kyoto-u.ac.jp; spf=None smtp.helo=postmaster@io.fos.kuis.kyoto-u.ac.jp Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of igarashi@kuis.kyoto-u.ac.jp) identity=pra; client-ip=130.54.22.140; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="igarashi@kuis.kyoto-u.ac.jp"; x-sender="igarashi@kuis.kyoto-u.ac.jp"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of igarashi@kuis.kyoto-u.ac.jp) identity=mailfrom; client-ip=130.54.22.140; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="igarashi@kuis.kyoto-u.ac.jp"; x-sender="igarashi@kuis.kyoto-u.ac.jp"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@io.fos.kuis.kyoto-u.ac.jp) identity=helo; client-ip=130.54.22.140; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="igarashi@kuis.kyoto-u.ac.jp"; x-sender="postmaster@io.fos.kuis.kyoto-u.ac.jp"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0D5AQCVOxRX/4wWNoJRCg4Ig3V+uA+CDwENgXEigjyFDBQBAQEBAQEBAWQngi2COAZFRgImAhJOJogVDqhPjDuEWh58iyiCXQSDJoJWBY5GiQREhXiIFoFnTocGI4UzjyseAQFCghGBHEotiAKBPQEBAQ X-IPAS-Result: A0D5AQCVOxRX/4wWNoJRCg4Ig3V+uA+CDwENgXEigjyFDBQBAQEBAQEBAWQngi2COAZFRgImAhJOJogVDqhPjDuEWh58iyiCXQSDJoJWBY5GiQREhXiIFoFnTocGI4UzjyseAQFCghGBHEotiAKBPQEBAQ X-IronPort-AV: E=Sophos;i="5.24,500,1454972400"; d="scan'208";a="214700823" Received: from io.kuis.kyoto-u.ac.jp (HELO io.fos.kuis.kyoto-u.ac.jp) ([130.54.22.140]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 18 Apr 2016 03:49:02 +0200 Received: from [10.229.55.115] (helo=earth.fos.kuis.kyoto-u.ac.jp) by io.fos.kuis.kyoto-u.ac.jp with esmtp (Exim 4.80) (envelope-from ) id 1aryIw-00079n-C3; Mon, 18 Apr 2016 10:48:46 +0900 Date: Mon, 18 Apr 2016 10:48:48 +0900 Message-ID: From: Atsushi Igarashi To: types-announce@lists.seas.upenn.edu, ecoop-info@ecoop.org, modularity-announce@googlegroups.com, caml-list@inria.fr User-Agent: User-Agent: Wanderlust/2.15.9 (Almost Unreal) Emacs/24.3 Mule/6.0 (HANACHIRUSATO) MIME-Version: 1.0 (generated by SEMI-EPG 1.14.7 - "Harue") Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] APLAS 2016 Call for papers ********************************************************************* APLAS 2016, Call for Papers 14th Asian Symposium on Programming Languages and Systems Hanoi, Vietnam, November 21-23, 2016 http://soict.hust.edu.vn/~aplas2016/ ********************************************************************* *IMPORTANT DATES* Abstract deadline: June 12, 2016 Submission deadline: June 17, 2016 Author notification: August 15, 2016 Final version: August 31, 2016 Conference: November 21 - 23, 2016 *ABOUT* APLAS aims to stimulate programming language research by providing a=20 forum for the presentation of latest results and the exchange of=20 ideas in programming languages and systems. APLAS is based in Asia,=20 but is an international forum that serves the worldwide programming=20 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. Past APLAS symposiums were successfully held in Pohang ('15), Singapore ('14), Melbourne ('13), Kyoto ('12), Kenting ('11), 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's LNCS. *TOPICS* The symposium is devoted to foundational and practical issues in=20 programming languages and systems. Papers are solicited on topics=20 such as * semantics, logics, foundational theory * design of languages, type systems and foundational calculi * domain-specific languages * compilers, interpreters, abstract machines * program derivation, synthesis and transformation * program analysis, verification, model-checking * logic, constraint, probabilistic and quantum programming * software security * concurrency and parallelism * tools and environments for programming and implementation Topics are not limited to those discussed in previous symposiums.=20 Papers identifying future directions of programming and those=20 addressing the rapid changes of the underlying computing platforms=20 are especially welcome. Demonstration of systems and tools in the=20 scope of APLAS are welcome to the System and Tool demonstrations category. Authors concerned about the appropriateness of a topic are=20 welcome to consult with program chair prior to submission. *SUBMISSION* We solicit submissions in two categories: a) Regular research papers - describing original scientific research results, including system development and case studies. Regular research papers should not exceed 18 pages in the Springer LNCS format, including bibliography and figures. This category encompasses both theoretical and implementation (also known as system descriptions) papers. In either case, submissions 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. System descriptions papers should contain a link to a working system and will be judged on originality, usefulness, and design. In case of lack of space, proofs, experimental results, or any information supporting the technical results of the paper could be provided as an appendix or a link to a web page, but reviewers are not obliged to read them. b) System and tool demonstrations - describing a demonstration of a tool or a system that support theory, program construction, reasoning, or program execution=20 in the scope of APLAS. The main purpose of a tool paper is to=20 display a completed, robust and well-documented tool --=20 highlighting the overall functionality of the tool, the interfaces=20 of the tool, interesting examples and applications of the tool,=20 an assessment of the tool's strengths and weaknesses, and a summary of documentation/support available with the tool. Authors of tool demonstration proposals are expected to present a live demonstration of the tool at the conference. It is highly desirable that the tools are available on the web. System and Tool papers should not exceed 8 pages in the Springer=20 LNCS format, including bibliography and figures. They may include an additional appendix of up to 6 extra pages giving the outline, screenshots, examples, etc. to indicate the content of the proposed live demo. Papers should be submitted electronically via the submission web page=20 using EasyChair. Acceptable formats are PDF.=20 Submitted papers must be unpublished and not submitted for=20 publication elsewhere. Papers must be written in English.=20 The proceedings will be published as a volume in Springer's=20 LNCS series. Accepted papers must be presented at the conference. *ORGANIZERS* General Co-Chairs: Thang Huynh Quyet (Hanoi University of Science and Technology, Vietnam) Nguyen Viet Ha (Vietnam National University, Hanoi, Vietnam) Program Chair: Atsushi Igarashi (Kyoto University, Japan) Program Committee: Andreas Abel (Gothenburg University, Sweden) Walter Binder (University of Lugano, Switzerland) Sandrine Blazy (University of Rennes 1 =E2=80=93 IRISA, France) Iliano Cervesato (CMU, Qatar) Bor-Yuh Evan Chang (University of Colorado Boulder, USA) Kung Chen (National Chengchi University, Taipei, Taiwan) Yuxi Fu (Shanghai Jiao Tong University, China) Oleg Kiselyov (Tohoku University, Japan) Anthony W. Lin (Yale-NUS College, Singapore) David Yu Liu (SUNY Binghamton, USA) Hidehiko Masuhara (Tokyo Institute of Techonology, Japan) Bruno C. d. S. Oliveira (The University of Hong Kong, Hong Kong) Nadia Polikarpova (MIT, USA) Alex Potanin (Victoria University of Wellington, New Zealand) G. Ramalingam (Microsoft Research, India) Quan-Thanh Tho (Ho Chi Minh City University of Technology, Vietnam) Tamara Rezk (INRIA, France) Sukyoung Ryu (KAIST, Korea) Ulrich Sch=C3=B6pp (Ludwig-Maximilians-Universit=C3=A4t M=C3=BCnchen, Germa= ny) =C3=89ric Tanter (University of Chile, Chile) Tachio Terauchi (JAIST, Japan)