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 813935D5 for ; Fri, 7 Aug 2020 16:37:12 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.75,446,1589234400"; d="scan'208";a="462805605" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 07 Aug 2020 18:37:09 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id BDE01E0C4B; Fri, 7 Aug 2020 18:37:09 +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 1EB98E0C4F for ; Fri, 7 Aug 2020 18:37:05 +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-io1-f50.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AmHkNLBP2CP0ArazA0XUl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0I/74rarrMEGX3/hxlliBBdydt6sazbqM+PG/EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCe8bL9oLxi6swrdu80UjIB/Nqs/1xzFr2dSde?= =?us-ascii?q?9L321oP1WTnxj95se04pFu9jlbtuwi+cBdT6j0Zrw0QrNEAjsoNWA1/9DrugLY?= =?us-ascii?q?TQST/HscU34ZnQRODgPY8Rz1RJbxsi/9tupgxCmXOND9QL4oVTi+6apgVRnlgz?= =?us-ascii?q?oFOTEk6mHaksx+gqxFrhyiuhJwzJLbbo6OOfpifK7QZ88WSXZdUstTUSFKH4Oy?= =?us-ascii?q?b5EID+oEJetWspPyp14TphWgAgmjH+LvyjlRinH02q01z+QhERra3AM6At0OrG?= =?us-ascii?q?nfodL0NKgOX+C11LPEzS3eb/xN3Tf96ZTHchE9ofCMRr9wfs3RyU4gFwPBkFqQ?= =?us-ascii?q?rJbqPzKR1ugXr2eb6O9gWPuphmU6pA5/viKhyd0wionVmI0V0FbE+D12zog1Kt?= =?us-ascii?q?C2Rk92b9CnHZdNuC+WKYR7T94tTW9otig31qEKtIC1cSQWxpkq2h3SZv2afoWV?= =?us-ascii?q?/B/uVeicLDR8iXxqfr+0mhi88U+lyuLmV8m01k5HrjFEktnDrnAN0wbc6s6dRv?= =?us-ascii?q?t65Eeh1jCC3B3Q5OFcOU04i7bXJpo7zrMzlpcfq1nPEy73lUnsjKKaal0o9+mr?= =?us-ascii?q?5uj9bbjrpoWQOo1qhg3kL6gjldCzDOIlOQYURWeb4/6z1Lj78E35XrpKivo2n7?= =?us-ascii?q?HcsJ/AJMQbore1Aw5S0oo+8hq/ATer3MgCkXkIK1JFfx2Hj4z3NF3UPP/4CvK/?= =?us-ascii?q?j0ytkDdt2f/GIqXsDovRInXHirvsfrZw51RBxAcyzN1T/ZJZBq0ZLPL2QEDxtd?= =?us-ascii?q?jYDhEjMwyzxubqENR92Z8QWWKXGKOZKL7SvkSM5uIuP+aMZZMVuTbmJvgq4P7u?= =?us-ascii?q?inA5mVsDcqmsx5QXaXS4Eu56LEWeZHrgms0BHnsSvgoiUOzqj0WPXiJJaHa3W6?= =?us-ascii?q?Iw/zU7CIO9DYffXY2tm7yA3CKjHpJMfGxGC1aMEW3pd4qeQfsMZjiScYddlWkP?= =?us-ascii?q?XL2lDosgzg2GtQngyrMhIPCH1DcfsMfY3d092+rZlBd31Tt/D9+B2m2RBzV1lW?= =?us-ascii?q?0QAScr1qR+qk1h23+M1q93h/FdHN1XofhOV1FpZtbn0+VmBoWqCUr6ddCTRQP+?= =?us-ascii?q?G4j0MXQKVts0huQ2TQN9FtGl1E2R2iOrB/oUkOXOCsFstK3b2Hf1KoB2zHOUjP?= =?us-ascii?q?B93WljedNGMCidvoA67xLaXtCbnEKemKKncK0d2GjG82LRlTPf7nEdaxZ5VOD+?= =?us-ascii?q?ZV5aY0LXqdrj4UabEe2hDrMoNgZEwM+GbKBNb4+wgA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BMBAAygi1fhjKmVdFggQmBSgKDCQ5VX?= =?us-ascii?q?oQ0iQGYR4tfCwEDAQoBAQUeCgIEAQGHBAIcBwEEMwYOAhABAQUBAQECAQMDBAE?= =?us-ascii?q?TAQEBCAsLCCmFYwxDFgGBXSKDMQsGHQEnEgMSHwImAjYBBQFLDIMEAYJKAQMJJ?= =?us-ascii?q?Q+oIoEEPYsogTKDAgWEdQpBDYIZAgEGCQEIfCoBjQ6BE4EHgRGDToEEgVgEgiq?= =?us-ascii?q?CSoJgBJsamwgHgmUEiF2RNSGRSQ2ON5xllHcCCgcGDyOBRoF7NBkjgzlQGQ2ON?= =?us-ascii?q?wKDV4UUhV4lMzcCBggBAQMJWIxJhAIBAQ?= X-IPAS-Result: =?us-ascii?q?A0BMBAAygi1fhjKmVdFggQmBSgKDCQ5VXoQ0iQGYR4tfCwE?= =?us-ascii?q?DAQoBAQUeCgIEAQGHBAIcBwEEMwYOAhABAQUBAQECAQMDBAETAQEBCAsLCCmFY?= =?us-ascii?q?wxDFgGBXSKDMQsGHQEnEgMSHwImAjYBBQFLDIMEAYJKAQMJJQ+oIoEEPYsogTK?= =?us-ascii?q?DAgWEdQpBDYIZAgEGCQEIfCoBjQ6BE4EHgRGDToEEgVgEgiqCSoJgBJsamwgHg?= =?us-ascii?q?mUEiF2RNSGRSQ2ON5xllHcCCgcGDyOBRoF7NBkjgzlQGQ2ONwKDV4UUhV4lMzc?= =?us-ascii?q?CBggBAQMJWIxJhAIBAQ?= X-IronPort-AV: E=Sophos;i="5.75,446,1589234400"; d="scan'208";a="356147527" X-MGA-submission: =?us-ascii?q?MDHbIED1yzgOyK54niYoaPxdS1PkcSgMZRBr7V?= =?us-ascii?q?oyVtbxopMf4QRT5vcJv258sRyhFnQyF/W5j6Vj5tG0dGJNDXZbyrxp6V?= =?us-ascii?q?TSo7dN9byZ63s12meDy8wQQ8aSHgeQOD//Aa8iXc9VTmaVpa/ru9vD1Y?= =?us-ascii?q?XLJskf9CqvYsLPH5yEePN2uA=3D=3D?= Received: from mail-io1-f50.google.com ([209.85.166.50]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 07 Aug 2020 18:37:03 +0200 Received: by mail-io1-f50.google.com with SMTP id q75so2526254iod.1 for ; Fri, 07 Aug 2020 09:37:03 -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=CWDmr4wfFuC6YMtu0zmUTLpgisUOX3oVTTcANBXG7GQ=; b=pQm4LZ+WYlOamF2O0fWYmL1qJMX21QYutA0TNxXA3L7lQFln6uwBWciBJUFGUniHRJ MnAJmkCPOirg5E1QObBnWACZvVaARi+GCw1vUBNi4dc9MvhT/lD3AtcVtilKQOLnQqgV lC1hqjXmCI2iNxFrwfrLwZV2N4qSin34ON8vrqGIBK4snjYN1IQvFCou3nHTqphYHS8N qVAvH0ucpI5oMvtXN5H4t+h0XEQY+Do0rkEQl5yfsDtAIBybzeCryHowV9KCuJC0icJX UJeJ5kPZL0YjRgqIiHBeclh1Cf+0x8DDVD3wsrsag4FP3djubk3/uYgN/adeKMLk+nED j7SA== 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=CWDmr4wfFuC6YMtu0zmUTLpgisUOX3oVTTcANBXG7GQ=; b=QFMtpPlYe2IMs6gKmde9FzSGE40GNeP67B/mAUNQGcyuZa9FuE93145aXP00hGTBoL q4Cc7b4kw7H9Wr/rWAqeSskTLP8FtvvFXx74saXTlV2cy+B0HpXsZcUxNobIO0gkWnlv XSgNlkBzoqqq6TqiLwpS8QfihdTzpJWDpc8jZ0N/yiXYNlTL5EJh95zCcw/O9iDF9yEj aHQ1HB2YLVI+IQ7NlChKU3rEDJRGfd32uFn1VIueE4LaerViRYum6DPb+/HAmsKajQMB 9U7CrC2TWuv0J9Jtzv2ljP5Z1iflewCzBTPtVymwuLToSCubXMO7PCrxeKn7E0v70kGo PMvA== X-Gm-Message-State: AOAM5307YTInYVNd5FpJRfNnr35DufnidYDwH68hxIZY8naKzfAwYoZD 8VmGT4pHRKqh4vfhu946HgPaYFaZldI= X-Google-Smtp-Source: ABdhPJx0PToFrxdi16r0vA/vA2OvXrTV/nPyJe7/z35Sh5leKx6244gSfIM21rHDBaW2WHGOOfauBQ== X-Received: by 2002:a05:6638:594:: with SMTP id a20mr5700344jar.127.1596818222193; Fri, 07 Aug 2020 09:37:02 -0700 (PDT) Received: from icfp.publicity (c-68-45-72-140.hsd1.de.comcast.net. [68.45.72.140]) by smtp.gmail.com with ESMTPSA id l5sm4374401ilj.88.2020.08.07.09.37.01 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 07 Aug 2020 09:37:01 -0700 (PDT) From: Sam Tobin-Hochstadt X-Google-Original-From: Sam Tobin-Hochstadt Date: Fri, 07 Aug 2020 12:37:01 -0400 To: caml-list@inria.fr Message-ID: <5f2d832d9c024_1fbf62941546c@homer.mail> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Subject: [Caml-list] Call for Tutorial Participation: ICFP 2020 Reply-To: Sam Tobin-Hochstadt X-Loop: caml-list@inria.fr X-Sequence: 18212 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: CALL FOR TUTORIAL PARTICIPATION ICFP 2020 25th ACM SIGPLAN International Conference on Functional Programming August 23 - 28, 2020 Virtual https://icfp20.sigplan.org/ Early Registration ends August 8! The 25th ACM SIGPLAN International Conference on Functional Programming will be held virtually on August 23-28, 2020. ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. This year, ICFP features a wide variety of tutorials on topics related to functional programming, including design, education, tools, and more. Tutorials are available to all ICFP participants with registration. Tutorials occur before or after ICFP, co-located with the associated workshops, on August 23 or August 27-28. The schedule of ICFP Tutorials can be found at: https://icfp20.sigplan.org/track/icfp-2020-tutorials#program ICFP Early Registration ends on August 8th, and is available at: https://icfp20.sigplan.org/attending/Registration