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 c5ff346549e7 (Postfix) with ESMTPS id 241725D5 for ; Wed, 17 Jul 2019 18:52:26 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,275,1559512800"; d="scan'208";a="392192378" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 17 Jul 2019 20:52:24 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 3DC45826E5; Wed, 17 Jul 2019 20:52:24 +0200 (CEST) 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 7EE2F826E3 for ; Wed, 17 Jul 2019 20:52:11 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=icfp.publicity@googlemail.com; spf=Pass smtp.mailfrom=icfp.publicity@googlemail.com; spf=None smtp.helo=postmaster@mail-io1-f47.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AZK3a4BEX6UnhH/IdakOLCZ1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ7yosmwAkXT6L1XgUPTWs2DsrQY0rCQ7furADReqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjWwba5sIBmsrAjcuMYajZZ+Jqsw1xDEvmZGd+?= =?us-ascii?q?NKyG1yOFmdhQz85sC+/J5i9yRfpfcs/NNeXKv5Yqo1U6VWACwpPG4p6sLrswLD?= =?us-ascii?q?TRaU6XsHTmoWiBtIDBPb4xz8Q5z8rzH1tut52CmdIM32UbU5Uims4qt3VBPljj?= =?us-ascii?q?oMODkk/mHKkcxwlLxUrw69pxJxxI7UZZuaNPt4fqjAed8XSm5MUsNXWidcAI2z?= =?us-ascii?q?cpEPAvIBM+hWsYfzpEYAohSiCgejH+7v1iZIi2Xq0aEmz+gsEwfL1xEgEdIUt3?= =?us-ascii?q?TUqc34OroIXuCw0aLG0zLDYOhX2Tf78YTGcBchru2MXbJrbcre01QgFx/YhViX?= =?us-ascii?q?qIzqIz2V1vwXv2iD8upvTuavi287pAFwvjiuxtwhiobOhoISxVDE8Tt2wIMvKt?= =?us-ascii?q?25TE53e8KrEJxVtyyDMYZ9X80sQ2ZtuCkgy70Gv4a2fDMLyJQo3x7fb+aIc46S?= =?us-ascii?q?7hLkTuaRLi90hG5rebK+mxay7VavyvfmWsao11ZKqzJJktbNtnAR1xzT99OIRu?= =?us-ascii?q?F8/kemwTqPzR7c6u5BIU8ujqrbN4AuwqQ/m5YJrUvDGSr2lUPrh6GVbkUp4vak?= =?us-ascii?q?5/jjb7n8pZKRN5V4hhz/P6kvgMCyDuY1PhATU2WY9umwzrnu8E/jTLlXkvE7kL?= =?us-ascii?q?PVvI3YKMgHoKOyHhVb3Zw56xmlCjeryNQYkmcDLFJCYB+HipLmO1DKIPzhDPe/?= =?us-ascii?q?hEmgnC5lx/3JPLDtGJrNLn/EkLfuebZy9VRQxxY0zdBa/55UC7cBL+zvWkLpqt?= =?us-ascii?q?DUEhs0Pxa3zuvnEtlxy4ITVGOVDqKWMq7eqVqI6fguI+mIao8VojH9K/096v7v?= =?us-ascii?q?kXA5l0cdcbOx3ZsKc3+4GvVmLFmYYXrwgtYMCmgKvg05TOzljF2NTztTaGyzX6?= =?us-ascii?q?I4/D00FIWmDYLbSoC3nLOBxDu7HoFRZm1eFl+DC3Lod4GdV/cIaSKSOdNhnycf?= =?us-ascii?q?VbmhTo8hzQuhuBX7y7phNOrU+zcXuYjt1NhvtKXvkkQ5/DlwSsCcyH2lTmdun2?= =?us-ascii?q?pOSSVl8rp4pBlGw1LL7a9ygvodNdtY5+hVWwsmfcrdxOJiTcjvUAbAddaVWX6p?= =?us-ascii?q?RdKpBTw0R9M1hdQJZhAuSJ2Zkhnf0n/yUPcunLuRCcloo/uNjUi0HN50zjP97I?= =?us-ascii?q?dkilAnRsVVMmj/2Pxw8A/cA4PMmkSd0a2tcPZFhXOfxCK41WOL+XpgfktwXKHC?= =?us-ascii?q?By1NY0LXqZH44RqHQePxT7sgNQRFxIiJLa4YMoS132UDf+/qPZHlW0z0g325XE?= =?us-ascii?q?jaybSLY47nfmwc2GPWD01Wyw0=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DqAQBnbS9dfy+mVdFMGoUPDlJcg1xAk?= =?us-ascii?q?mIBAQeCNJkkBVIJAQMBCgEBBR4KAgEBg3qDEBsHAQQ0EwEDAQEEAQECAQIDARM?= =?us-ascii?q?BAQkLCwgnhUUMgjoMgxcRBh0BJQIKCAMSAxwCJgI2AQUBPRKDCYFpAQMJFA83j?= =?us-ascii?q?3yQDjyLIYEygnoFgTMBAwWDCgpADYIeAgcJAQh6KItfgQ+BB4ERgl1zgQSBUgs?= =?us-ascii?q?BAQGBPYMuglgEig6BcQSeA10HAoIbhVGBB4sBgjMbgxqDJYZmimWUfYRYgS+GM?= =?us-ascii?q?oNPAgoHBg8hgUaBeTQZI4M8CYFAgRCDWYJkgjCFWyMzgQWNRQEB?= X-IPAS-Result: =?us-ascii?q?A0DqAQBnbS9dfy+mVdFMGoUPDlJcg1xAkmIBAQeCNJkkBVI?= =?us-ascii?q?JAQMBCgEBBR4KAgEBg3qDEBsHAQQ0EwEDAQEEAQECAQIDARMBAQkLCwgnhUUMg?= =?us-ascii?q?joMgxcRBh0BJQIKCAMSAxwCJgI2AQUBPRKDCYFpAQMJFA83j3yQDjyLIYEygno?= =?us-ascii?q?FgTMBAwWDCgpADYIeAgcJAQh6KItfgQ+BB4ERgl1zgQSBUgsBAQGBPYMuglgEi?= =?us-ascii?q?g6BcQSeA10HAoIbhVGBB4sBgjMbgxqDJYZmimWUfYRYgS+GMoNPAgoHBg8hgUa?= =?us-ascii?q?BeTQZI4M8CYFAgRCDWYJkgjCFWyMzgQWNRQEB?= X-IronPort-AV: E=Sophos;i="5.64,275,1559512800"; d="scan'208";a="392192256" X-MGA-submission: =?us-ascii?q?MDHTTIRYFY9VksSJLVu8h3jF7SxY1ZwImlZKer?= =?us-ascii?q?7jnTsO0QYRmBe2Vz6fzuhopHLyob3r/uYip0a52E6Jk+NR7G/MAU7/YZ?= =?us-ascii?q?K6aQPRiFkepTEbU0TsrkLSxCMGxweFCssB4ELbZAfDkJXE5r8hJ5RhFd?= =?us-ascii?q?2y12FS7scMww7Id+8qMYnuaA=3D=3D?= Received: from mail-io1-f47.google.com ([209.85.166.47]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 17 Jul 2019 20:52:10 +0200 Received: by mail-io1-f47.google.com with SMTP id s7so47329641iob.11 for ; Wed, 17 Jul 2019 11:52:10 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20161025; h=from:date:to:message-id:subject:mime-version :content-transfer-encoding; bh=E9CTxt4LR12PUDM4AVKL6mxuLQ1EZkxfMOMOo8RJHSQ=; b=PLrkGpvd8gDf8tFkh+QIoL43V2pk0Yk5OiTExBSypMwaByqfh0cnzAa+8m2D9W/Y6j rrOPxLE3GkCIjJQl2+4GOTlazRMgIiVN4vboyjGbmv8cix9ljH82snuZ0ULZW4lJF5bv Y8gtd2/mzS3Xh2aiwXHLmofSJSMkIp/jKpcgM8gJxfvX3gutK35sbn7QmCtP3aDFuOin fIde0RKx4UqyYM3RvQ6iQY5U6F4VQiRyaDUamJjjfKsP2AUlqWhps6kvE92eBix3pHqG JhegF03PG1p8AGKiMyu5ZvnmRYWeaHT92VJZkZf4QtCAoZ8IxkbtdQ+URuoNusuyJsuJ dyTA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:date:to:message-id:subject:mime-version :content-transfer-encoding; bh=E9CTxt4LR12PUDM4AVKL6mxuLQ1EZkxfMOMOo8RJHSQ=; b=H1xdp9iyTOeX6YKyRYSSXVUC+224m02eMBj17K9DY+1PkkAoIkwrYFWYtH+vkdvpr6 lDlvmQEp/ABx9ClXrfrxo82bQ2CURmkSOgmKSo1pp8pwRaUX1hzNBUFlLsNoVInpQJfF DkKe21mJFtZhLJUgcoDSDtgCh0m6QcZr/aEgqiydAKTAwKB2Rzz0G09Z/UmaoIGLoCpe 7YMp08gvTxQHMGgd9QPMo7cEBoYlLl5sQJDiUdb8PVntLmzR4YWa9kHdlcc+Ewi2IR8c J/l1irkeJWfr/gf2SCPWf2iUgzdzPVUQ9yudXfxMf8uvwLC1sUo2vOqH9TCYolg7DhXB HPFQ== X-Gm-Message-State: APjAAAXTsmJJohHbuS9EbPRAeohfpLL4sklyJzBz8/ISzetfbJCLdezB /CdkmNf9+eXbV56SIcjmug2ltsjFIOI= X-Google-Smtp-Source: APXvYqxomgelAUZ8yDnPQEK80q7g0jVcTBLsz3PAVfomzQqGRLjUWdprjF4ErGI5tW/8bZN9EIDTVQ== X-Received: by 2002:a02:c6a9:: with SMTP id o9mr44580515jan.90.1563389529012; Wed, 17 Jul 2019 11:52:09 -0700 (PDT) Received: from icfp.publicity ([184.97.107.170]) by smtp.gmail.com with ESMTPSA id s10sm73188749iod.46.2019.07.17.11.52.07 for (version=TLS1_3 cipher=AEAD-AES256-GCM-SHA384 bits=256/256); Wed, 17 Jul 2019 11:52:08 -0700 (PDT) From: Sam Tobin-Hochstadt X-Google-Original-From: Sam Tobin-Hochstadt Date: Wed, 17 Jul 2019 14:52:07 -0400 To: caml-list@inria.fr Message-ID: <5d2f6e57d9351_68f92ae6da55e5c44437f@homer.mail> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] Second Call for Participation: ICFP 2019 Reply-To: Sam Tobin-Hochstadt X-Loop: caml-list@inria.fr X-Sequence: 17688 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: ** The Early Registration deadline is tomorrow! ** =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Call for Participation ICFP 2019 24th ACM SIGPLAN International Conference on Functional Programming and affiliated events August 18 - August 23, 2019 Berlin, Germany http://icfp19.sigplan.org/ Early Registration until July 18! =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries. This year, ICFP is co-located with BOBKonf! * Overview and affiliated events: http://icfp19.sigplan.org/home * Program: http://icfp19.sigplan.org/program/program-icfp-2019 * Accepted papers: http://icfp19.sigplan.org/track/icfp-2019-papers * Registration is available via: https://regmaster4.com/2019conf/ICFP19/register.php Early registration ends 18 July, 2019. * Programming contest: https://icfpcontest2019.github.io/ * Student Research Competition: https://icfp19.sigplan.org/track/icfp-2019-Student-Research-Competiti= on * Follow us on Twitter for the latest news: http://twitter.com/icfp_conference In addition to BOBKonf (8/21), there are several events co-located with I= CFP: * Erlang Workshop (8/18) * Functional Art, Music, Modeling and Design (8/23) * Functional High-Performance and Numerical Computing (8/18) * Haskell Implementors' Workshop (8/23) * Haskell Symposium (8/22-8/23) * miniKanren Workshop (8/22) * ML Family Workshop (8/22) * OCaml Workshop (8/23) * Programming Languages Mentoring Workshop (8/18) * Scheme Workshop (8/18) * Type-Driven Development (8/18) ### ICFP Organizers General Chair: Derek Dreyer (MPI-SWS, Germany) Artifact Evaluation Co-Chairs: Simon Marlow (Facebook, UK) Industrial Relations Chair: Alan Jeffrey (Mozilla Research, USA) Programming Contest Organiser: Ilya Sergey (Yale-NUS College, Singapore) Publicity and Web Chair: Sam Tobin-Hochstadt (Indiana University, USA) Student Research Competition Chair: William J. Bowman (University of Brit= ish Columbia, Canada) Workshops Co-Chair: Christophe Scholliers (Universiteit Gent, Belgium) Jennifer Hackett (University of Nottingham, UK) Conference Manager: Annabel Satin (P.C.K.) = ### PACMPL Volume 3, Issue ICFP 2019 Principal Editor: Fran=C3=A7ois Pottier (Inria, France) Review Committee: Lennart Beringer (Princeton University, United States) Joachim Breitner (DFINITY Foundation, Germany) Laura M. Castro (University of A Coru=C3=B1a, Spain) Ezgi =C3=87i=C3=A7ek (Facebook London, United Kingdom) Pierre-Evariste Dagand (LIP6/CNRS, France) Christos Dimoulas (Northwestern University, United States) Jacques-Henri Jourdan (CNRS, LRI, Universit=C3=A9 Paris-Sud, France) Andrew Kennedy (Facebook London, United Kingdom) Daan Leijen (Microsoft Research, United States) Kazutaka Matsuda (Tohoku University, Japan) Bruno C. d. S. Oliveira (University of Hong Kong, China) Klaus Ostermann (University of T=C3=BCbingen, Germany) Jennifer Paykin (Galois, United States) Frank Pfenning (Carnegie Mellon University, USA) Mike Rainey (Indiana University, USA) Chung-chieh Shan (Indiana University, USA) Sam Staton (University of Oxford, UK) Pierre-Yves Strub (Ecole Polytechnique, France) German Vidal (Universitat Politecnica de Valencia, Spain) External Review Committee: Michael D. Adams (University of Utah, USA) Robert Atkey (University of Strathclyde, IK) Sheng Chen (University of Louisiana at Lafayette, USA) James Cheney (University of Edinburgh, UK) Adam Chlipala (Massachusetts Institute of Technology, USA) Evelyne Contejean (LRI, Universit=C3=A9 Paris-Sud, France) = Germ=C3=A1n Andr=C3=A9s Delbianco (IRIF, Universit=C3=A9 Paris Diderot, = France) Dominique Devriese (Vrije Universiteit Brussel, Belgium) Richard A. Eisenberg (Bryn Mawr College, USA) Conal Elliott (Target, USA) Sebastian Erdweg (Delft University of Technology, Netherlands) Michael Greenberg (Pomona College, USA) Adrien Guatto (IRIF, Universit=C3=A9 Paris Diderot, France) Jennifer Hackett (University of Nottingham, UK) Troels Henriksen (University of Copenhagen, Denmark) Chung-Kil Hur (Seoul National University, Republic of Korea) Roberto Ierusalimschy (PUC-Rio, Brazil) Ranjit Jhala (University of California, San Diego, USA) Ralf Jung (MPI-SWS, Germany) Ohad Kammar (University of Oxford, UK) Oleg Kiselyov (Tohoku University, Japan) Hsiang-Shang =E2=80=98Josh=E2=80=99 Ko (National Institute of Informatic= s, Japan) Ond=C5=99ej Lhot=C3=A1k (University of Waterloo, Canada) Dan Licata (Wesleyan University, USA) Geoffrey Mainland (Drexel University, USA) Simon Marlow (Facebook, UK) Akimasa Morihata (University of Tokyo, Japan) Shin-Cheng Mu (Academia Sinica, Taiwan) Guillaume Munch-Maccagnoni (Inria, France) Kim Nguy=E1=BB=85n (University of Paris-Sud, France) Ulf Norell (Gothenburg University, Sweden) Atsushi Ohori (Tohoku University, Japan) Rex Page (University of Oklahoma, USA) Zoe Paraskevopoulou (Princeton University, USA) Nadia Polikarpova (University of California, San Diego, USA) Jonathan Protzenko (Microsoft Research, USA) Tiark Rompf (Purdue University, USA) Andreas Rossberg (Dfinity, Germany) KC Sivaramakrishnan (University of Cambridge, UI) Nicholas Smallbone (Chalmers University of Technology, Sweden) Matthieu Sozeau (Inria, France) Sandro Stucki (Chalmers | University of Gothenburg, Sweden) Don Syme (Microsoft, UK) Zachary Tatlock (University of Washington, USA) Sam Tobin-Hochstadt (Indiana University, USA) Takeshi Tsukada (University of Tokyo, Japan) Tarmo Uustalu (Reykjavik University, Iceland) Benoit Valiron (LRI, CentraleSupelec, Univ. Paris Saclay, France) Daniel Winograd-Cort (University of Pennsylvania, USA) Nicolas Wu (University of Bristol, UK)