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 464915D5 for ; Mon, 20 May 2019 21:25:07 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,492,1549926000"; d="scan'208";a="383987331" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 20 May 2019 23:25:06 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 34DED8249C; Mon, 20 May 2019 23:25:06 +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 63A1C8247D for ; Mon, 20 May 2019 23:25:02 +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-f49.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AAxxXQR3Lhm9CSNHysmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seMWI/ad9pjvdHbS+e9qxAeQG9mCsrQd07qd6v66EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCegbb9oMRm6sQbcusYLjYZjNKo61wfErGZPd+?= =?us-ascii?q?lK321jOEidnwz75se+/Z5j9zpftvc8/MNeUqv0Yro1Q6VAADspL2466svrtQLe?= =?us-ascii?q?TQSU/XsTTn8WkhtTDAfb6hzxQ4r8vTH7tup53ymaINH2QLUpUjms86tnVBnlgz?= =?us-ascii?q?oBOjUk8m/Yl9ZwgbpbrhyvuRJxwJPab46JO/RxZa7dYcoaSHBdUspNSyBMAIWx?= =?us-ascii?q?ZJYPAeobOuZYqpHwqUYUohu7GAKiGuTvxSRJhn/wxKE00eMhHh3G3Aw7A9IBqm?= =?us-ascii?q?nbrMnoP6oVUOC60KfIzS3ZY/NOxDfy84zIchE9rvGNQbJxcdHcyUYoFwPCgVWQ?= =?us-ascii?q?rZLqPzaP2eQMt2iX9fZvVeWqi2M+rQx6vzahxsApiobTh4IVzEjJ9T54wIY6Pd?= =?us-ascii?q?24TFR0Ydi+HJtXrSGaOJN6QsI+TGFmoCY11roGuZi1fCcU0pQo2RjfZOCZfISS?= =?us-ascii?q?5RLjTumRLDFlj3xmYLKynwi+/VSkx+HmVcS50ExGojdEn9TNrHwA2Bje5tCZRv?= =?us-ascii?q?dh4kutxDOC2x3Q5+5aIk05kLTXJps/zrMzjZUes0HOHiHqlEnqkKObc0Ap9+am?= =?us-ascii?q?6+v9ZrjroIKXOZVuhQHkKKsun9SyAeQmPQgKWGiW4eG826fi/U39WblKj/o2nr?= =?us-ascii?q?TAvJDUKskWorS1AwBS0oYk5Ba/Cymp3M4EknkAKVJJYBOHj473NFHSOP30E+uz?= =?us-ascii?q?jlC2nDpox/3KJKDtD5TMI3TZn7rsea5x60tGxwoyydBf6YhUCrYEIP/rW0/+qN?= =?us-ascii?q?LYDgcjPwys3uboE9F91oICVmKOHq+YMLjfsVCP5uIoLOmMYJEauDPnJPgk4/7i?= =?us-ascii?q?l2M2mVgYfaWxx5sYdGi4Huh6I0WeeXfjns0OEWIOvgYnSOzqiUaCUSJIanapX6?= =?us-ascii?q?M84yk7B5i8AYfCQICtmr2B0z2hEp1YfGAVQmyLRHzhcoHBX/YXdAqTJNVgm3oK?= =?us-ascii?q?T+uPUYgkgCqnsUfGzLBmKK/0/SYYro7q2MQ9s+zYmwl07SF+C8WW0n2cZ25zmW?= =?us-ascii?q?wMSjo/3aQ5qkt4nATQmZNkiuBVQIQAr8hCVR03YMaFkr5KTuvqUweERe+nDVar?= =?us-ascii?q?RtL8XGM0R9M1ht4JOgNzR4TkgRfE0C6nRbQSku7TXcBmwufnx3H0Yv1F5TPezq?= =?us-ascii?q?B40QspRcxAMWCjj697sQPUAtyRyhTLp+ORba0ZmRX12iKGxGuKsltfVVcuA6rC?= =?us-ascii?q?Wn8ba07frNC/7UTHHeaj?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CgAgA6GuNcgDGmVdFlHAEBAQQBAQcEA?= =?us-ascii?q?QGBZYE+KYEHDFJahBOTWwEBAQaaHoEQA1QJAQMBCgEBBR4KAgEBhn4bBwEENBM?= =?us-ascii?q?BAwEBBAEBAgEBAwETAQEJDQkIJyUMgjoigxIGHQEnEgMSHwImAjYBBQE1CAGCT?= =?us-ascii?q?kyBaQEDCRQBDpsUPIsdgS+CegWEQApADYIaAgcJAQh6KItRgQ+BB4ERg1CBBIM?= =?us-ascii?q?NARIBbII9glgEix4SnGgHAoIPhi6MThuCHYZVg0KJa5M/jk4GAgkIDyGBRYEHc?= =?us-ascii?q?TQZI4M8CYEOAXcYg1eFFIVbIzMBgQSKf4JDAQE?= X-IPAS-Result: =?us-ascii?q?A0CgAgA6GuNcgDGmVdFlHAEBAQQBAQcEAQGBZYE+KYEHDFJ?= =?us-ascii?q?ahBOTWwEBAQaaHoEQA1QJAQMBCgEBBR4KAgEBhn4bBwEENBMBAwEBBAEBAgEBA?= =?us-ascii?q?wETAQEJDQkIJyUMgjoigxIGHQEnEgMSHwImAjYBBQE1CAGCTkyBaQEDCRQBDps?= =?us-ascii?q?UPIsdgS+CegWEQApADYIaAgcJAQh6KItRgQ+BB4ERg1CBBIMNARIBbII9glgEi?= =?us-ascii?q?x4SnGgHAoIPhi6MThuCHYZVg0KJa5M/jk4GAgkIDyGBRYEHcTQZI4M8CYEOAXc?= =?us-ascii?q?Yg1eFFIVbIzMBgQSKf4JDAQE?= X-IronPort-AV: E=Sophos;i="5.60,492,1549926000"; d="scan'208";a="383987307" X-MGA-submission: =?us-ascii?q?MDEgKiW/yXO/m6kNm3SQ7j0ZP5aMkFBTECtycv?= =?us-ascii?q?AzverR0gSHKx3U1TiUQHohmcX3SyBBXNdJIjz0hk/kJwJRauWXFJp6jU?= =?us-ascii?q?UiCSigzcRR6Ltq5Hgytnpxlpxl7j+1pe5J1INyolVlUX+jpbGbiAoAlB?= =?us-ascii?q?enYKGy76UrJtUOviEGJ70M5Q=3D=3D?= Received: from mail-io1-f49.google.com ([209.85.166.49]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 20 May 2019 23:25:01 +0200 Received: by mail-io1-f49.google.com with SMTP id u2so12247053ioc.4 for ; Mon, 20 May 2019 14:25:01 -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=CEBkuYJEjqd3C18ooGXF8OuzGUK6ae5Z3g8OWYQtNh4=; b=ZpTcaqr+/GyuM0YvxZWuwT0njnwp/jg44va2+sGOnbgSwhPIScpN4Bv+fbaiFULkSY ETKgayJiCIp2gsFKHdxNlbsnWFhzr+4qHot67Zx06lB9RFo3i7gjsDM1nVcWxq0wlgZA h0Nx3b1R/7LmzV4zQQqK8cx/dNc/VtA3xADk87uKN18HHtP2I8olomwiGvSuCwE/DS8g mF6Ha6jk528xD1HA78gzHC8xnKr7pxEcE6s4TNRgxwmkg13KFIRJtjzdtP2tneQKigsd Oayf28LmHaue3IrdOPtse9l0uGw5KOyz96xckkLif1DozlnVspGvQx8c91zNU/x3VDwB 9GHw== 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=CEBkuYJEjqd3C18ooGXF8OuzGUK6ae5Z3g8OWYQtNh4=; b=uDC3i7xr2QqayX0HQzABRwSHIxbF9SVxKEfs/J1veJDPlWbGaTi3QRz6U5ZaRfygAa zPidq+kyAx195NbfY1l7rV5E8TS+LfMM1TuneETJGTSX1B9LYEKOVpSvNEl9xcd5GTC1 Od73h5JOrVIE9kUoIplRwdYhedg3ouHNd+bTVkKBlbgoryAzBVIBcWtghLc9aFyI7BYn 5tXSarpReWUg3Dt6+LvIo9GVy1CLJmH5tHyO/Q3efDc6DXyKIGU10oL/TRjB6mj5uqlk VbrGoV33K+ZRamMyA7pfjVH9B9vm3vHnLQk1vbD14ChSWRWLpjC+LD3hQNdbBJRD5IU7 uS2Q== X-Gm-Message-State: APjAAAU0eejRGZBehMKF86BLrxUkwVjsiFBJzNlCrc6DjLUlhTaBJ6OC q+KJvzIocUY1QfL05x16WJ0j9vW3 X-Google-Smtp-Source: APXvYqz7KB9q1mG+1wqxZIb1c2MoUhNnlaIZelOYUZml23X/wjGpWbg+4VKlo288aIJXZSqaKmSMUg== X-Received: by 2002:a6b:dc0d:: with SMTP id s13mr15454892ioc.144.1558387500090; Mon, 20 May 2019 14:25:00 -0700 (PDT) Received: from icfp.publicity ([2001:18e8:2:28b7:f000::3fa9]) by smtp.gmail.com with ESMTPSA id d24sm3676578ioo.21.2019.05.20.14.24.59 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Mon, 20 May 2019 14:24:59 -0700 (PDT) From: Sam Tobin-Hochstadt X-Google-Original-From: Sam Tobin-Hochstadt Date: Mon, 20 May 2019 17:24:59 -0400 To: caml-list@inria.fr Message-ID: <5ce31b2b3a5d2_3be82b1fe4fb05d4621b2@homer.mail> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] Second Call for Tutorial Proposals: ICFP 2019 Reply-To: Sam Tobin-Hochstadt X-Loop: caml-list@inria.fr X-Sequence: 17560 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: *EXTENDED DEADLINE* - CALL FOR TUTORIAL PROPOSALS ICFP 2019 24th ACM SIGPLAN International Conference on Functional Programming August 18 - 23, 2019 = Berlin, Germany https://icfp19.sigplan.org/ The 24th ACM SIGPLAN International Conference on Functional Programming will be held in Berlin, Germany on August 18-23, 2019. ICFP provides a forum for researchers and developers to hear about the = latest work on the design, implementations, principles, and uses of = functional programming. Proposals are invited for tutorials, lasting approximately 3 hours each, to be presented during ICFP and its co-located workshops and other events. These tutorials are the successor to the CUFP tutorials from previous years, but we also welcome tutorials whose primary audience is researchers rather than practitioners. Tutorials may focus either on a concrete technology or on a theoretical or mathematical tool. Ideally, tutorials will have a concrete result, such as "Learn to do X with Y" rather than "Learn language Y". = Tutorials may occur after ICFP co-located with the associated = workshops, from August 22 till August 23. = ---------------------------------------------------------------------- Submission details Deadline for submission: June 3rd, 2019 Notification of acceptance: June 10th, 2019 Prospective organizers of tutorials are invited to submit a completed tutorial proposal form in plain text format to the ICFP 2018 workshop co-chairs (Jennifer Hackett and Christophe Scholliers), via email to icfp-workshops-2019@googlegroups.com = by June 3rd, 2019. Please note that this is a firm deadline. Organizers will be notified if their event proposal is accepted by June 10th, 2019. The proposal form is available at: http://www.icfpconference.org/icfp2019-files/icfp19-tutorials-form.txt ---------------------------------------------------------------------- Selection committee The proposals will be evaluated by a committee comprising the following members of the ICFP 2019 organizing committee. Tutorials Co-Chair: Jennifer Hackett (University of Nottingham) Tutorials Co-Chair: Christophe Scholliers (University of Ghent) General Chair: Derek Dreyer (MPI-SWS) = Program Chair: Fran=C3=A7ois Pottier ( Inria, Fran= ce) ---------------------------------------------------------------------- Further information Any queries should be addressed to the tutorial co-chairs (Jennifer Hackett and Christophe Scholliers), via email to = icfp-workshops-2019@googlegroups.com