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 ESMTP id 9F6495D4 for ; Mon, 24 Jun 2019 21:13:10 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.63,413,1557180000"; d="scan'208";a="388877555" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 24 Jun 2019 23:13:09 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 6A90D826E1; Mon, 24 Jun 2019 23:13:09 +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 8FC827ED69 for ; Mon, 24 Jun 2019 23:13:00 +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-pf1-f180.google.com IronPort-PHdr: =?us-ascii?q?9a23=3ApwTiBxxiP48VjOrXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2uMTIJqq85mqBkHD//Il1AaPAdyBrasewLOI6+igATVGvc/Y9ihaMdRlbFwssY?= =?us-ascii?q?0uhQsuAcqIWwXQDcXBSGgEJvlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfQV6?= =?us-ascii?q?Kf7oFYHMks+5y/69+4HJYwVPmTGxfa5+IA+5oAnMqMUam5ZuJrg+xhfUo3ZEZ/?= =?us-ascii?q?ldyWd0KV6OhRrx6dq88IN5/yhMp/4t8tNLXLnncag/UbFWFiktPXov5M3suxnD?= =?us-ascii?q?TA+P6WUZX24LjBdGABXL4Q/jUJvpvST0quRy2C+BPc3rVr80Qiit771qSBDzli?= =?us-ascii?q?gKMSMy/XzNhcxxiKJbpw+hpwB6zoXJboyZKOZyc6XAdtwdWGRBQ91RVzRfDYyg?= =?us-ascii?q?c4sBAe0BPeNCoIn8oVsFsB+yCAaoCe/qzDJDm3340rAg0+k5EQ/I0hIuEdETvn?= =?us-ascii?q?vbsNr7O7wfUfyszKTS0TnPc+9a1DX75YPVch4hu/aMXbdofMTM00YvEh7OgEuX?= =?us-ascii?q?qYP+PjOV0P0BvWqc7+V8VeKvkHInpBtsrTiz28whjYjJiZ4bylDc7yl52Js1Ks?= =?us-ascii?q?a8SE56fdGkEYdQtiGBOot5RcMiRG5ouCIkxb0Do5G7fSwKxI47yB7YbvyKao6F?= =?us-ascii?q?6Q/tWuaWJDd3nnNleLSnihap8EigxfX8Vs2u31ZMtCZFlcPMtn8V2xzP5MmHS+?= =?us-ascii?q?d9/lu/1jaVzQzc9uZEIUUsmarUKp4h3r4wlocIvkjZHy/2n136jLWIeUUr/+in?= =?us-ascii?q?8f/nYqn4qZ+GOIJ4kB3xMqMrmsG5HO82MRAOUnCF9eig0LDv5070TbVQgvEoj6?= =?us-ascii?q?XVrIrWKdkYq6KlGwNZz4Uu5hmlAzu709kVk2MLIVZfdB6ai4XkP1fDK+3iA/il?= =?us-ascii?q?mVSjijJryujGPrL/BpXNKWDOkLL7crZ8705Q0RIzzd5C655NBLENPfH+VlPruN?= =?us-ascii?q?zXCR85NAO0w+L5B9lnyoweXmePDreYMKPUr1CI+voiL/eQaIIRojrwKPgo6+Tw?= =?us-ascii?q?gXMkhVMRZ7Sl0JgLZHygG/RpOUSZYX7igtcbFmcKuxIzTO32h12MST5ffW6yX7?= =?us-ascii?q?8n6TE/CYKpEYbDRpytgbGa0ye7GZpWZm9CCl+SFHfnbYSEW/MWZC2OJc9hlyQI?= =?us-ascii?q?VaK9RI85yRGuqAj6xqJ7IeXO/y0YsYvv1Nx05+3IiRE/7id0DsSY02GVVW54hG?= =?us-ascii?q?IIRzks3KB+u0Nx0FmD0bIry8BfQNda4vcMVgYhKbbdyfZ7Apb8QFHvZNCMHW2v?= =?us-ascii?q?R52aBjswSJcRxNQOeFp0F8nq2hHI0TLsG6Ifk72ABYAl2q3b2Hf1KsN0ynKA36?= =?us-ascii?q?4k2Qp1CvBTPHGr0/YsvzPYAJTExhnIzvr4ReEnxCfIsVy74y+WpkgBDlx/VqLK?= =?us-ascii?q?WX0ab0rS69/+4xGaFuL8OfEcKgJEjPW6BO5KZ9nu1wsUQf7iPJHGbTv0lT7gXV?= =?us-ascii?q?CHwbSDaIescGIYjn2EWRo01jsL9HPDDjAQQyKoombQFjtrTAy9bETr/u1zrXq6?= =?us-ascii?q?Sgk/yATYNkA=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CnAgDTOxFdh7TSVdFMGoUODFJag1VAi?= =?us-ascii?q?HuJfFEBB4E4fJkMA1QJAQMBCgEBBR4KAgEBg3qDNRsHAQQ0EwEDAQEEAQECAQI?= =?us-ascii?q?DARMBAQEIDQkIKYo+DII6DIMXEQYdASUCCggDEgMcAiYCNgEFAT0SgwgBgWkBA?= =?us-ascii?q?wkUDzeISpAOPIsggTGCegWBMwEDBYJ7CkANghwCBwkBCHooi16BD4EHgRGCXXO?= =?us-ascii?q?BBIFSCwEBAYE9gy2CWASJb4FqBJ1RWwcCghYDhUaBBIpkgjEbgxODF4ZcikGUV?= =?us-ascii?q?YRGgSuGGoNJBgIJCA8hgUaBeTQZI4M8CYJQAoNWgmSCMIVbIzOBBY5wAQE?= X-IPAS-Result: =?us-ascii?q?A0CnAgDTOxFdh7TSVdFMGoUODFJag1VAiHuJfFEBB4E4fJk?= =?us-ascii?q?MA1QJAQMBCgEBBR4KAgEBg3qDNRsHAQQ0EwEDAQEEAQECAQIDARMBAQEIDQkIK?= =?us-ascii?q?Yo+DII6DIMXEQYdASUCCggDEgMcAiYCNgEFAT0SgwgBgWkBAwkUDzeISpAOPIs?= =?us-ascii?q?ggTGCegWBMwEDBYJ7CkANghwCBwkBCHooi16BD4EHgRGCXXOBBIFSCwEBAYE9g?= =?us-ascii?q?y2CWASJb4FqBJ1RWwcCghYDhUaBBIpkgjEbgxODF4ZcikGUVYRGgSuGGoNJBgI?= =?us-ascii?q?JCA8hgUaBeTQZI4M8CYJQAoNWgmSCMIVbIzOBBY5wAQE?= X-IronPort-AV: E=Sophos;i="5.63,413,1557180000"; d="scan'208";a="388877496" X-MGA-submission: =?us-ascii?q?MDG4ElhZAGQXWLvnNBNsUz2YrhRyHJ5DsYemrZ?= =?us-ascii?q?G4kyAWjqDN45DfgQ3a4tJCNvKsmcd56/1IW9VFtziUyQ+hlyEB0dXJG3?= =?us-ascii?q?9u8Z2RTPHP3bbedXYjpGZGSRL9IyucsVnQUGsPkR/tMus8KxnGH8t9Cm?= =?us-ascii?q?E+Ol7DT3H/5mWVTGgqgb+LQQ=3D=3D?= Received: from mail-pf1-f180.google.com ([209.85.210.180]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 24 Jun 2019 23:12:59 +0200 Received: by mail-pf1-f180.google.com with SMTP id 19so8215039pfa.4 for ; Mon, 24 Jun 2019 14:12:59 -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=6DR9jw3oHYRgVVKXepu4xNRWkePMbKZrVZvWe3krqlg=; b=qzFdYf5+UC3qjVQ449J1uU2uQMWkGYGfkVrGKiPDLlyZXoL4+YwOx/ol9QUFkkEZUG QN8x2N1+A3RDg5mOWOqcVGYi6Q/gjsP2kdUqnyrC7eSMOxqkpIQiqzWOW/+UZaHOlFqv HNcCBDY9trd2wLCDb+39IwI1mqxEyPzZW56KGcP6/l2MWNYNk3noL5ntGZyLJ6e3ju5q jOdu9XNi1qhOmjtLsJz+lONTYPYZs8/f1Dp2RksHdYL4SU0Pry7kwxhrTMDeH2tD4Szr wP/e/dbbRR7+471vRaKg7pBtzr6NPSnDdK11q5EkjACzVXMNwLAfOkPHWgG86eypLzHU HjEA== 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=6DR9jw3oHYRgVVKXepu4xNRWkePMbKZrVZvWe3krqlg=; b=FPY3XCUdG8+cqd/DVTe2OIJZulUNNHV5aBPE8sSDc0qX8y0He8YCVcMCnN/rnKrO+6 MCeyumDllmRuXlJH66EcD7C6ZhYofkGcHi/ro4wJGiHpQbS53MtTG33NP0sy3Eolo2Qv YXU3TAYW5+KdGVJ/fFmj8mqmR0wM+khhw1HMvwvgJAV9DaMDaA9Kil9YPsMwa00HxFwJ 7pwVrhJRYdm2Z/4iO9+AkvlZHkPKH4ZpPMd+df7b7kW2S1BaVm2w/ikQydHHxAeFvUJH djFTBusbhVS7xvQYagSTtkkx9EDEJnm8VR36X+1QoXE3vFITlHTobOG9Ph1yU9lHgAW3 Rr9g== X-Gm-Message-State: APjAAAXZfzZHIGsKbCYu8EJzFEwj09OPYL+6xdGmx0etjFPZ9BQe/Wz/ iCHz/7PwNvXt6+5YaGCieiIB2mrEdXk= X-Google-Smtp-Source: APXvYqz33Bm1X8RAFPcXdoREpmnMhLNWjdCe2fWiGbekrYthGd3SMCiWw67VzyGMplS67o3Bml5VxA== X-Received: by 2002:a63:d006:: with SMTP id z6mr36017565pgf.364.1561410777372; Mon, 24 Jun 2019 14:12:57 -0700 (PDT) Received: from icfp.publicity (wsip-184-183-9-199.ph.ph.cox.net. [184.183.9.199]) by smtp.gmail.com with ESMTPSA id a18sm406580pjq.0.2019.06.24.14.12.56 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Mon, 24 Jun 2019 14:12:56 -0700 (PDT) From: Sam Tobin-Hochstadt X-Google-Original-From: Sam Tobin-Hochstadt Date: Mon, 24 Jun 2019 17:12:56 -0400 To: caml-list@inria.fr Message-ID: <5d113cd881e9d_25202adb8252c5b4136b@homer.mail> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] Call for Participation: ICFP 2019 Reply-To: Sam Tobin-Hochstadt X-Loop: caml-list@inria.fr X-Sequence: 17638 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: =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)=