From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 7E3197F029 for ; Fri, 30 Sep 2016 02:33:21 +0200 (CEST) Authentication-Results: mail3-smtp-sop.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.kuis.kyoto-u.ac.jp Received-SPF: None (mail3-smtp-sop.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=mail3-smtp-sop.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 (mail3-smtp-sop.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=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@io.kuis.kyoto-u.ac.jp) identity=helo; client-ip=130.54.22.140; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="igarashi@kuis.kyoto-u.ac.jp"; x-sender="postmaster@io.kuis.kyoto-u.ac.jp"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AjIiOhhwp0Oui4AjXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?0OkfIJqq85mqBkHD//Il1AaPBtSBragcwLCH+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2WVTerzWI4CIIHV2nbEwu?= =?us-ascii?q?d76zQNaZ1ZX//tvx0qWbWx9Piju5bOE6BzSNhiKViPMrh5B/IL060BrDrygAUe?= =?us-ascii?q?1XwWR1OQDbxE6ktY/jtKJkpjhBo/86ssdGV6Lnea81ZbhZFyg9dXs47datqAHO?= =?us-ascii?q?Sw3J63cBFi0bmR1PG03E6h/9dpr6tSzi8O1n123SOMr6ULQ9QzW+/uJiThnvlS?= =?us-ascii?q?EMOhY292bYjsF/lqVGuAnnrBt6h8bfaYSRcf5/Zb/1fNUARGMHUNwCeTZGB9aV?= =?us-ascii?q?c5ASFOoAdcdXppP0vFsP5U+/CgC2DfjvyxdLm37tm64r1PgmVByA1QdmHcpY4y?= =?us-ascii?q?ecl8n8KKpHCbP996LP1ziWN/4=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ArAwBuse1X/4wWNoJdDggIBgwXAQEWA?= =?us-ascii?q?QEFAQGDBwEBAQEBHld9gwC1UoIGASOHZjgUAQEBAQEBAQEBAQFdJ4IyGIIqEQZ?= =?us-ascii?q?FBSUcAiYCEk4miDkOkXKdJolHGYNCgQaLQoYMgloFhkMHiGGKTIYngwSGRYI8j?= =?us-ascii?q?TKMbIN9HjaCTQwBUIEkSi+HYQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0ArAwBuse1X/4wWNoJdDggIBgwXAQEWAQEFAQGDBwEBAQE?= =?us-ascii?q?BHld9gwC1UoIGASOHZjgUAQEBAQEBAQEBAQFdJ4IyGIIqEQZFBSUcAiYCEk4mi?= =?us-ascii?q?DkOkXKdJolHGYNCgQaLQoYMgloFhkMHiGGKTIYngwSGRYI8jTKMbIN9HjaCTQw?= =?us-ascii?q?BUIEkSi+HYQEBAQ?= X-IronPort-AV: E=Sophos;i="5.31,417,1473112800"; d="scan'208";a="195130411" Received: from io.kuis.kyoto-u.ac.jp ([130.54.22.140]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 30 Sep 2016 02:33:19 +0200 Received: from earth.fos.kuis.kyoto-u.ac.jp ([10.229.55.115]) by io.fos.kuis.kyoto-u.ac.jp with esmtp (Exim 4.80) (envelope-from ) id 1bpll9-0001H2-Lh; Fri, 30 Sep 2016 09:33:03 +0900 Date: Fri, 30 Sep 2016 09:33:03 +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.5 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] APLAS2016 call for participation Call for Participation APLAS2016 14th Asian Symposium on Programming Languages and Systems November 21-23, 2016 Hanoi, Vietnam http://soict.hust.edu.vn/~aplas2016/ Early Registration Deadline: October 15th APLAS aims to stimulate programming language research by providing a forum for the presentation of latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia, but is an international forum that serves the worldwide programming language community. APLAS 2016 will be held in Hanoi, Vietnam. The venue is Hanoi University of Science and Technology. The symposium features invited talks by distinguished researchers: Kazuaki Ishizaki (IBM Research -- Tokyo) Making Hardware Accelerator Easier to Use =09 Frank Pfenning (CMU) Substructural Proofs as Automata =09 Adam Chlipala (MIT) Fiat: A New Perspective on Compiling Domain-Specific Languages in a Proof Assistant Registration: See http://soict.hust.edu.vn/~aplas2016/registration/ for details. (Registration is already open but we are still preparing online payment, which will be available on October 3rd.) Poster session (abstract submissions due on Octber 1st):=20 You can still submit a poster proposal and present a poster during the symposium! See http://soict.hust.edu.vn/~aplas2016/call-for-posters/ for details. Technical Program: Day 1 (Mon, Nov. 21) 8:50-9:00 Opening 9:00-10:00 Invited talk I Kazuaki Ishizaki (IBM Research =E2=80=94 Tokyo) Making Hardware Accelerator Easier to Use=20 10:30-12:00 Sooyoung Cha, Sehun Jeong and Hakjoo Oh Learning a Strategy for Choosing Widening Thresholds from a Large Codebase Jiaqi Tan, Hui Jun Tay, Rajeev Gandhi and Priya Narasimhan AUSPICE-R: Automatic Safety-Property Proofs for Realistic Features in Mach= ine Code Tatsuya Abe and Toshiyuki Maeda Observation-based Concurrent Program Logic for Relaxed Memory Consistency = Models =20 13:30-14:30 Oleg Kiselyov Probabilistic Programming Language and its Incremental Evaluation Gabriel Radanne, Vincent Balat and J=C3=A9r=C3=B4me Vouillon Eliom: A core ML language for tierless Web programming 15:00-16:30 Taichi Yachi and Eijiro Sumii A Sound and Complete Bisimulation for Contextual Equivalence in =CE=BB-cal= culus with Call/cc Daniel J. Dougherty, Ugo De=E2=80=99 Liguoro, Luigi Liquori and Claude Sto= lze A Realizability Interpretation for Intersection and Union Types Beniamino Accattoli and Giulio Guerrieri Open Call-by-Value 17:00-18:00 Andrea Ros=C3=A0, Lydia Y. Chen and Walter Binder AkkaProf: a Profiler for Akka Actors in Parallel and Distributed Applicati= ons Ryoya Arai, Shigeyuki Sato and Hideya Iwasaki A Debugger-Cooperative Higher-Order Contract System in Python Day 2 (Tue, Nov. 22) 9:00-10:00 Invited talk II Frank Pfenning Substructural Proofs as Automata 10:30-12:00 Furio Honsell, Marina Lenisa, Luigi Liquori and Ivan Scagnetto Implementing Cantor=E2=80=99s ParadiseYanpeng Yang, Xuan Bi and Bruno C. D= . S. Oliveira Unified Syntax with Iso-Types Oleg Kiselyov, Yukiyoshi Kameyama and Yuto Sudo Refined Environment Classifiers: Type- and Scope-safe Code Generation with= Mutable Cells 13:30-15:00 Taku Terao, Takeshi Tsukada and Naoki Kobayashi Verification of Higher-Order Concurrent Programs with Dynamic Resource Cre= ation Azalea Raad, Aquinas Hobor, Philippa Gardner and Jules Villard Verifying Concurrent Graph Algorithms Kazuhide Yasukata, Takeshi Tsukada and Naoki Kobayashi Higher-Order Model Checking in Direct Style =20 15:00-16:30 Poster Session 16:30-18:00 Alwen Tiu, Nam Nguyen and Ross Horne SPEC: An Equivalence Checker for Security Protocols Hans H=C3=BCttel Binary session types for psi-calculi Kai Stadtm=C3=BCller, Martin Sulzmann and Peter Thiemann Static Trace-Based Deadlock Analysis for Synchronous Mini-Go Day 3 (Wed, Nov. 23) 9:00-10:00 Invited talk III Adam Chlipala Fiat: A New Perspective on Compiling Domain-Specific Languages in a Proof = Assistant 10:30-12:00 Azalea Raad, Jos=C3=A9 Fragoso Santos and Philippa Gardner DOM: Specification and Client Reasoning Makoto Tatsuta, Quang Loc Le and Wei-Ngan Chin Decision Procedure for Separation Logic with Inductive Definitions and Pre= sburger Arithmetic Zhe Hou and Alwen Tiu Completeness for a First-order Abstract Separation Logic Conference Organizers: General Cochairs Quyet-Thang Huynh, Hanoi University of Science and Technology, Vietnam Viet-Ha Nguyen, Vietnam National University, Vietnam Program Chair Atsushi Igarashi, Kyoto University, Japan Poster Chair Hung Nguyen, Hanoi University of Science and Technology, Vietnam