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 153F15D4 for ; Wed, 8 Aug 2018 11:16:14 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.51,457,1526335200"; d="scan'208";a="341755636" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 08 Aug 2018 13:16:04 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 8CE0082501; Wed, 8 Aug 2018 13:16:03 +0200 (CEST) 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 D120E82671 for ; Wed, 8 Aug 2018 13:15:52 +0200 (CEST) Authentication-Results: mail3-smtp-sop.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-pg1-f182.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AQHmt7Rfm5kZtJpoMXAtebyE5lGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcW4bR7h7PlgxGXEQZ/co6odzbaO7ea4ASQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9HiTahYL5+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYe?= =?us-ascii?q?RWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZ?= =?us-ascii?q?TAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+t6LplSALziC?= =?us-ascii?q?cfKTE27H3XhMJ3jKJeuh2hphp/yJPQbIyaMPdye6XQds4YS2VcRMZcTyJPDIOi?= =?us-ascii?q?YYUMEuQOMvpXoYbmqlsSrxazHxWgCP/zxjJKgHL9wK000/4mEQHDxAEuGdMOsH?= =?us-ascii?q?LJo9XuKqgTUf2+wqzVzTXbcfxWwyr25Y/Jch89r/GMRah8cdLMyUY0EwPFj0mf?= =?us-ascii?q?qY35PzKVzekNvG+b7+1vVeKrlWEnrht+ojmrxss2lobJgYcVx0nC+C5kzog1It?= =?us-ascii?q?i4R1R6Yd6iCJZQrCCaN4RuQsMmWW5ovjw2yrocuZ60ZCQK1Jomxx/Da/ybbYeI?= =?us-ascii?q?+AjvW/qWITd9nH5ld7O/hwqy8Ui90eLwTMi00FFSoipfjNbMuXUN2AbI6sibVP?= =?us-ascii?q?R95Eis1SyT2ADU7+FJJ10/m6nDK5M53LI8ip4evV7AEyL2gkn6krKae0U+9uS1?= =?us-ascii?q?6OnrfK3qq5uYOoNuhQzzM74iltGwDOgkKAQCQmeW9OW62bb+50P2Wq9Kgeczkq?= =?us-ascii?q?TBsJDVO8AbpqmhDg9QyIkj6hK/Ay6+0NQXgHULNVxFdA+EgoT3IV3OL/f4DfCw?= =?us-ascii?q?g1Sojjhn3ezJPrrkApnVL3jDlqnufapl5kJC1AY+ycpT6pFUB70bPv7/R0/8uM?= =?us-ascii?q?bFAhI6LQC42+PnB8981oMaV2KPGKiZMKbKvF+J+u0vLfGMaJUNuDbgMPcl4//u?= =?us-ascii?q?gmM4mV8BfaikxpQXaHe/HvRpJ0WWf3/sjc0AEWcOpAYxUOvqiFiaXT5Je3myR7?= =?us-ascii?q?485i08CI++EYjMXIWtgLiY0Ce/H51WfXxGB0uXEXbocoWEQ+0DZDiTIs9niDwE?= =?us-ascii?q?VKKuR5Uv1RG050fGzO9sJ+/QvykZro7L1d5v5uSVmwth2yZzCpG50meBVGxl1k?= =?us-ascii?q?AVXzIslPR+qkJljE+e26x5iP1EBPRc4PRGVgo/PJ/Yied9DoahCUr6Yt6VRQP+?= =?us-ascii?q?EZ2dCjYrQ4dtkoZfMXY4IM2ri1X45wTvBrYUk7KRA5ltrPDT2H/+I8t4wnfCkq?= =?us-ascii?q?Imigt/G5cdBSidnqd6sjPrKcvRiUzAyfSlcqMT2CPI/WaHi2GJuRMACVMiYeD+?= =?us-ascii?q?RXkaI3Dug5H560fFFeH8DL0mNk5ZxpfHJPIaMJvmilJJQPqlM9PbMTq8?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BABwAVyGpbhrbXVdFCGoRWDIEng36Ia?= =?us-ascii?q?YtnWIE3iFCNHYF6AwgjCYFLgi+DVhkHAQQxFwECAQECAQEBAQETAQEBCAsLCCk?= =?us-ascii?q?jDII1DIMaBh0BJwkBCAMSHwImAjYBBQE9EoMGAYFnAQMIDQ80nkk8iVsCgS6BL?= =?us-ascii?q?oJ2BYEtAYIvCj8NgyICBgkBCCJXiAmBEIEHgRKCJoItgU8LAQEBhGGCVQKGRoZ?= =?us-ascii?q?uMIRDiBoHAoFJhAJRgm6GPoIXhh2Fd4p1gTaDSoJWAgQCBAUCBQ8hgSIDZoEJD?= =?us-ascii?q?ggzARkjgzkJgigCg06CZIIwhV5Peo0/AQE?= X-IPAS-Result: =?us-ascii?q?A0BABwAVyGpbhrbXVdFCGoRWDIEng36IaYtnWIE3iFCNHYF?= =?us-ascii?q?6AwgjCYFLgi+DVhkHAQQxFwECAQECAQEBAQETAQEBCAsLCCkjDII1DIMaBh0BJ?= =?us-ascii?q?wkBCAMSHwImAjYBBQE9EoMGAYFnAQMIDQ80nkk8iVsCgS6BLoJ2BYEtAYIvCj8?= =?us-ascii?q?NgyICBgkBCCJXiAmBEIEHgRKCJoItgU8LAQEBhGGCVQKGRoZuMIRDiBoHAoFJh?= =?us-ascii?q?AJRgm6GPoIXhh2Fd4p1gTaDSoJWAgQCBAUCBQ8hgSIDZoEJDggzARkjgzkJgig?= =?us-ascii?q?Cg06CZIIwhV5Peo0/AQE?= X-IronPort-AV: E=Sophos;i="5.51,457,1526335200"; d="scan'208";a="275273226" Received: from mail-pg1-f182.google.com ([209.85.215.182]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 07 Aug 2018 20:15:37 +0200 Received: by mail-pg1-f182.google.com with SMTP id w10-v6so1358328pgv.2 for ; Tue, 07 Aug 2018 11:15:37 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20161025; h=date:from:to:message-id:subject:mime-version :content-transfer-encoding; bh=vCg7uIZ7DvWL4Jpnc3g4PNQL1WrmF40EsvYImKP7LKk=; b=MnTunCNdBphltJEzwz1pfDPuXHNZ1pQtbFkEvBqmjdxOQVEzBa2TYvSSdNRfjddD4w LurLlMKEc2cixjWvFq2jsl20x/ZigSsmb2/xRTsdDYieiKsfOm1CX69pl5YtdsYfF37b T2+O4f+qpZ52K1nnapa1UnACsRPhApqTZPvlvpJgkiyHZLyo8FJkuWCajCjis1T73TL4 DXPyhZ1zzAkz/eLD6/Eau57DPKh4Zj0UOfoEXGOlVTPF5Doh81PmRhHM/U7AjhwVPivw uDP2ZKbDqljB5hcgXbge64LesvxTbpIqidK5KiZKL6VGh4XzphnbFVfrIoJbgXdjflo4 hC5Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:from:to:message-id:subject:mime-version :content-transfer-encoding; bh=vCg7uIZ7DvWL4Jpnc3g4PNQL1WrmF40EsvYImKP7LKk=; b=AGTS6ZNV/cFMRlyFlcrw5pIiKL+yAOetiVSnQj5IfuBEEdcwsgrOx6KY8F7VsC2gdq txj+bP9/K2jIDSz8k7JSumCdnovA59AZLQibHmwgi3N91JqO1JS9dVWCh9liPdcBYJbO eRWsZHFjJ1upByMLPQImbpdvauN9dPKjsp0JRiXGZCRURyOqU3XOBhqYER0R1N2zls16 VUV3+pWIwyhc+sLbi4f/uk9LfZqZv08cmN3UKa/vDhQNzJDfdIg1k1qJM9R3q8PqehiQ dphArLz2P9YGghDKkPVReZ36nX9V8Dlx6QmVgCnSYVAicUQ/+fvBQ96y4XWvjZzZz65+ W2Ww== X-Gm-Message-State: AOUpUlHhYPW49CXyjMvlJcOrYhP/mXXBh0XnL8MTqNv035+DSaQEgrTP kGPkanhDaN+kJhRoV1P2N74HAef+ X-Google-Smtp-Source: AAOMgpcz+PGj6aB0ZRtkR2NR0NGPG5AWBB97hanzKfY0jlefP9aSePtGynnihEw6eFcSOZc5naxraA== X-Received: by 2002:a62:dbc5:: with SMTP id f188-v6mr14989684pfg.182.1533665675442; Tue, 07 Aug 2018 11:14:35 -0700 (PDT) Received: from icfp.publicity (99-46-140-146.lightspeed.sntcca.sbcglobal.net. [99.46.140.146]) by smtp.gmail.com with ESMTPSA id a77-v6sm6075994pfj.38.2018.08.07.11.14.34 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 07 Aug 2018 11:14:34 -0700 (PDT) Date: Tue, 07 Aug 2018 11:14:33 -0700 From: Lindsey Kuper To: caml-list@inria.fr Message-ID: <5b69e189c3dc3_20503ff7ee055bec1004a2@landin.local.mail> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Subject: [Caml-list] Call for Participation: ICFP 2018 Reply-To: Lindsey Kuper X-Loop: caml-list@inria.fr X-Sequence: 17023 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: *** Early registration ends 27 August. *** ===================================================================== Call for Participation ICFP 2018 23rd ACM SIGPLAN International Conference on Functional Programming and affiliated events September 23 - September 29, 2018 St. Louis, Missouri, USA http://icfp18.sigplan.org/ ===================================================================== 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 Strange Loop! Considering attending ICFP for the first time? See our brief explainer: https://icfp18.sigplan.org/attending/introduction-to-icfp * Overview and affiliated events: http://icfp18.sigplan.org/home * Program: http://icfp18.sigplan.org/program/program-icfp-2018 * Accepted papers: http://icfp18.sigplan.org/track/icfp-2018-papers * Registration is available via: https://regmaster4.com/2018conf/ICFP18/register.php Early registration ends 27 August, 2018. * Programming contest results: https://icfpcontest2018.github.io/ * Student Research Competition: https://icfp18.sigplan.org/track/icfp-2018-Student-Research-Competition * Follow us on Twitter for the latest news: http://twitter.com/icfp_conference In addition to Strange Loop (9/26-9/28), there are several events co-located with ICFP: * Erlang Workshop (9/29) * Functional Art, Music, Modeling and Design (9/29) * Functional High-Performance Computing (9/29) * Haskell Implementors' Workshop (9/23) * Haskell Symposium (9/27-9/28) * Higher-order Programming with Effects (9/23) * ICFP Tutorials (9/27-9/29) * ML Family Workshop (9/28) * Numerical Programming in Functional Languages (9/27) * OCaml Workshop (9/27) * Programming Languages Mentoring Workshop (9/23) * Scala Symposium (9/28) * Scheme Workshop (9/28) * Type-Driven Development (9/27) Conference Organizers: General Chair: Robby Findler (Northwestern University, USA) Program Chair: Matthew Flatt (University of Utah, USA) Accessibility Chair: Alan Jeffrey (Mozilla Research, USA) Artefact Evaluation Co-Chair: Simon Marlow (Facebook, UK) Industrial Relations Chair: Alan Jeffrey (Mozilla Research, USA) PLMW Co-Chair: Dan Licata (Wesleyan University, USA) PLMW Co-Chair: David Van Horn (University of Maryland, USA) PLMW Co-Chair: Niki Vazou (University of Maryland, USA) Programming Contest Organizer: Matthew Fluet (Rochester Institute of Technology, USA) Publications Co-Chair: Alex Potanin (Victoria University of Wellington, New Zealand) Publicity Chair: Lindsey Kuper (UC Santa Cruz, USA) Student Research Competition Chair: Ravi Chugh (University of Chicago, USA) Student Volunteer Co-Captain: Jakub Zalewski (University of Edinburgh, UK) Student Volunteer Co-Captain: Spencer P. Florence (Northwestern University, USA) Treasurer and Conference Manager: Annabel Satin (P.C.K., UK) Video Co-Chair Jamie Willis (University of Bristol, UK) Video Co-Chair: Jose Calderon (Galois, USA) Workshops Co-Chair: Christophe Scholliers (Ghent University, Belgium) Workshops Co-Chair: David Christiansen (Galois, USA) Sponsors and industrial partners: Platinum supporters: Ahrefs Jane Street Standard Chartered X Gold supporters: DFINITY Facebook Mozilla McCormick School of Engineering, Northwestern University Silver supporters: Bloomberg Cal Poly Computer Science & Software Engineering Digital Asset Galois Microsoft Research Oracle Labs Tweag I/O Bronze supporters: Google IntelliFactory Kadena Obsidian Systems Systor Vest Well-Typed -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs