From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 09E587FF37 for ; Mon, 1 Aug 2016 08:34:23 +0200 (CEST) IronPort-PHdr: 9a23:6jBN3BBQk+UPGZmlFosMUyQJP3N1i/DPJgcQr6AfoPdwSP74psbcNUDSrc9gkEXOFd2CrakV06yJ7+u5AT1IyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWD14Loi6vro8ybSj4LrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYeVcyDAgD1uSmxHh+pX4p8Y7oGwD884mosVJVKG/e6UjUZRZCi4nOiY7/p7Frx7GGCiC4HoXUmReuwFBAkCR5QrzX7/wqW39vep0niCRe8/uG+NnEQ++5rtmHUe7wBwMMCQ0pTna Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=asai@is.ocha.ac.jp; spf=Pass smtp.mailfrom=asai@is.ocha.ac.jp; spf=None smtp.helo=postmaster@web.is.ocha.ac.jp Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of asai@is.ocha.ac.jp) identity=pra; client-ip=133.65.64.10; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="asai@is.ocha.ac.jp"; x-sender="asai@is.ocha.ac.jp"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of asai@is.ocha.ac.jp designates 133.65.64.10 as permitted sender) identity=mailfrom; client-ip=133.65.64.10; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="asai@is.ocha.ac.jp"; x-sender="asai@is.ocha.ac.jp"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@web.is.ocha.ac.jp) identity=helo; client-ip=133.65.64.10; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="asai@is.ocha.ac.jp"; x-sender="postmaster@web.is.ocha.ac.jp"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CQAAA+7J5XfwpAQYVdhBt9uRCBfQEjhyI4FAEBAQEBAQEBEQEBCxZPgjIWgi8LHSwMQzQFIAEFAT4ZiA4BDqEOggeBMj4xlyYag08BCyUQjCCDU4F9C1iCLwWGNAeIT4opgTaEYoJ8hWEKgjmHDIV6jDCCODCBDx6CVYFqiTABAQE X-IPAS-Result: A0CQAAA+7J5XfwpAQYVdhBt9uRCBfQEjhyI4FAEBAQEBAQEBEQEBCxZPgjIWgi8LHSwMQzQFIAEFAT4ZiA4BDqEOggeBMj4xlyYag08BCyUQjCCDU4F9C1iCLwWGNAeIT4opgTaEYoJ8hWEKgjmHDIV6jDCCODCBDx6CVYFqiTABAQE X-IronPort-AV: E=Sophos;i="5.28,453,1464645600"; d="scan'208";a="228593815" Received: from web.is.ocha.ac.jp ([133.65.64.10]) by mail2-smtp-roc.national.inria.fr with ESMTP; 01 Aug 2016 08:34:21 +0200 Received: from mail-pa0-f72.google.com (mail-pa0-f72.google.com [209.85.220.72]) by web.is.ocha.ac.jp (Postfix) with ESMTP id 5F299996523 for ; Mon, 1 Aug 2016 15:34:18 +0900 (JST) Received: by mail-pa0-f72.google.com with SMTP id ag5so229529555pad.2 for ; Sun, 31 Jul 2016 23:34:18 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:date:from:to:subject:message-id:mime-version :content-disposition:user-agent; bh=obJkcofcxqKU3fH4vWVqEgndHuG0IcUL5iy919HPHNI=; b=bquoZhnk684KZJYMDV8qXfT0/fC0/INiXtLoLqzXsRcRTMNMu2CA0AfwOP9Cdr4Feu D7Hs0zeCOW8HQtQ+8B3KqSzI9MA/Ntl13l6SqqwfmcpdDQ3n23ZuJ8rf5TUyO46B0Sy3 Zbb4cF0qahQ4PDfuDA4lvD7bW6xvuaZogI0yLV4nkb/MvO/70TeiJaqQScBEu+tNBZ2x cIHCMty6D/h8shWconP7TStwFP8hsgeR0V9lOTl77DyB2kXTK/57cLe/shvmh96CeE4z osYJ2L64xMXZZZy3By+N4dp8pY3l8Bt51nhXp6i7P4/+pYA3bv3CmBLAdFr1xd5NXE+T rb9w== X-Gm-Message-State: AEkoouvak4e6rr455wDKWXGm5m2FrHedTKpb644rpaRnLhOP1fPuQobNSK9HSZvUiYso7o7uDH58HgEnv3n+RZ6x6bGAHbRXwak4jIB7kDdX1QvheeL+T5igu2acdsEco4eFl7U= X-Received: by 10.98.200.142 with SMTP id i14mr92771189pfk.136.1470033257696; Sun, 31 Jul 2016 23:34:17 -0700 (PDT) X-Received: by 10.98.200.142 with SMTP id i14mr92771174pfk.136.1470033257535; Sun, 31 Jul 2016 23:34:17 -0700 (PDT) Received: from localhost ([133.65.65.2]) by smtp.gmail.com with ESMTPSA id k9sm42304311pfj.63.2016.07.31.23.34.16 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 31 Jul 2016 23:34:17 -0700 (PDT) Date: Mon, 1 Aug 2016 15:34:10 +0900 From: Kenichi Asai To: caml-list@inria.fr Message-ID: <20160801063410.GA404@pllab.is.ocha.ac.jp> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.23 (2014-03-12) Subject: [Caml-list] Call for participation: ML 2016 Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop Thursday September 22, 2016, Nara, Japan (co-located with ICFP) Call For Participation: http://www.mlworkshop.org/ml2016/ Early registration deadline: Wednesday 17 August 2016 Register online: http://conf.researchr.org/attending/icfp-2016/Registration The ML Family Workshop brings together researchers, implementors and users of languages in the extended ML family and provides a forum to present and discuss common issues, both practical (compilation techniques, tooling, embedded programming) and theoretical (fancy types, module systems, type inference). ML 2016 will be held in Nara on September 22nd, immediately after ICFP and close to a number of other related events, including the OCaml Workshop on the following day. Tentative Program * Making Reactive Programs Function (Invited Talk) Neelakantan Krishnaswami * WebAssembly: high speed at low cost for everyone Andreas Rossberg * Extracting from F* to C: a progress report Jonathan Protzenko, Karthikeyan Bhargavan, Jean-Karim Zinzindohoue Abhishek Anand, Cedric Fournet, Bryan Parno, Aseem Rastogi and Nikhil Swamy * Compiling with Continuations and LLVM Kavon Farvardin and John Reppy * SML# with Natural Join Tomohiro Sasaki, Katsuhiro Ueno and Atsushi Ohori * Eff Directly in OCaml Oleg Kiselyov and Kc Sivaramakrishnan * Compiling Links Effect Handlers to the OCaml Backend Daniel Hillerstrom, Sam Lindley and Kc Sivaramakrishnan * Classes for the Masses Claudio Russo and Matthew Windsor * Close Encounters of the Higher Kind - Emulating Constructor Classes in Standard ML Yutaka Nagashima and Liam O'Connor * Malfunctional Programming Stephen Dolan * Ambiguous pattern variables Gabriel Scherer, Luc Maranget and Thomas Refis * Typed Embedding of Relational Language in OCaml Dmitri Kosarev and Dmitri Boulytchev * Sundials/ML: interfacing with numerical solvers Timothy Bourke, Jun Inoue and Marc Pouzet (The last talk is accepted for ML workshop, but presented in OCaml workshop with the agreement from authors and ML/OCaml workshop PCs) Programme Committee Nada Amin (EPFL, Switzerland) Kenichi Asai (Ochanomizu University, Japan) (PC chair) Jacques Carette (McMaster University, Canada) Arthur Chargueraud (INRIA, France) Yan Chen (Google, USA) Jan Midtgaard (Technical University of Denmark, Denmark) John Reppy (University of Chicago, USA) Mark Shinwell (Jane Street Europe, UK) Nikhil Swamy (Microsoft Research, USA) Katsuhiro Ueno (Tohoku University, Japan)