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 957992DF5 for ; Sun, 18 Mar 2018 04:08:22 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.48,323,1517871600"; d="scan'208";a="318638486" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 18 Mar 2018 05:08:21 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 0967E823D7; Sun, 18 Mar 2018 05:08:21 +0100 (CET) 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 E8B4C8239C for ; Sun, 18 Mar 2018 05:08:14 +0100 (CET) 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-pl0-f65.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AbX+ZCReIELjSg4ta9l9NHBdPlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcS9bR7h7PlgxGXEQZ/co6odzbaO6Oa4ASQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9HiTahb75+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYe?= =?us-ascii?q?RWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZ?= =?us-ascii?q?TAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+t6LtmRRHqhS?= =?us-ascii?q?oJLjI17G7agdF0gK9bvB6tohpyyJPWbo6ILvpzZq3Tc9MES2RCQ8heWDBODIyn?= =?us-ascii?q?YosTDecMJ/pUo5Xhq1YMqxa1GAmiBPnoyj9NnnL426w60+I8HgHdwgMhH88Fvn?= =?us-ascii?q?HJrNXtKqgSS/2+wa7JzTrfYfNWwS3x6JDVch86pfGMXK5/ccvNyUgvDA7FgVKQ?= =?us-ascii?q?qYvqPzORyOsNtnKU7+tkVe61l2EnrARxryGpy8wxhIfJgYcVxUrF9SV/2Is1P8?= =?us-ascii?q?O3SFVlbtG+CptfqyGaN5FsTsMlWWFotz42yrwatp61ZCgF1JMnxxjRa/OZaYiH?= =?us-ascii?q?/BTjW/qPLjtig3JlYr2/ihCv+kaj0u3xTte43EpOoyZfkdTBtmoB2wHS58SbUP?= =?us-ascii?q?dw/0es1S6L2g3X8O1JLkE5mbDGJ5Mu3rI8jIcfvEvCEyLwhU74lrWZdl8+9eit?= =?us-ascii?q?8+nnYqvpppubN4JsjwHxKKUumsimDeQgNggCQ3GX+eq92bDj50H5T7JKjvo5kq?= =?us-ascii?q?ndrp/WP9gUpqm8AwNN04Yj7QiwDyu+3dgGgXUKKEhJdRGHgoTzJl3DIez0Ae2+?= =?us-ascii?q?jlmsiDtrwurJPrzlApXDNHjDl7LhcK5860FAxgoz1cpT54pJCr4aJPLzW1P+tN?= =?us-ascii?q?3EDh45KAG0zOHnCNJy1oMaR22PB7WWMKLWsVOS+u0vJOyMaJcPuDnhM/gl++Lu?= =?us-ascii?q?jXghlFABZ6ap2J8XZGm8HvRnOEWZfWHhgswBEGcPpgoxVvbmiFyEUT5JZna9Rb?= =?us-ascii?q?gw5j8hCNHuMYCWTYmohPmF3TynNpxQfGFPTF6WQlnycIDRf/YKZDmfM4dCjyQJ?= =?us-ascii?q?T/D1SoQvzVe2qQX+yrFmMvv89Sofupbu0dF046vYkhRkpm88NNiUz2zYFzI8pW?= =?us-ascii?q?gPXTJjgfgm8B5Nj2yb2K09uMR2UNla5vdHSAA/bMCOwOt9BNT/XwvAepGCT1P0?= =?us-ascii?q?G4z6UwF0dco4xpo1W2g4A8+r106R0C2tDLsYkrWKANo/9aeOhyGsdfY48G7P0e?= =?us-ascii?q?wat3djQsZLMjf71Kt29gyWH4qR1kvHyuClcqMT2COL/2CGnzKD?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DQAADR5a1aekGgVdFdhFwLgRqDXYsMj?= =?us-ascii?q?QZGAQEGgkuMA4d9FIEgA1sLI4gkGQcBBDAYAQIBAQEBAQEBAQESAQEJCwwHKC+?= =?us-ascii?q?COAwMgnkGHQEnEgMSHwIRFQI2AQUBNQgBhHYBAwgND55dPIsIgiaDAgWDSgo/D?= =?us-ascii?q?YEtggYCBgkBCHqEJ4IVgQ2CHIRhgwASARIBXg2CPIJhA4dBhWWLEAmBRYRCiSq?= =?us-ascii?q?BTT+DPYJAhSSJMIZeAgQCBAUCBQ8hgQkegRlbDggzARkjgxIJCYIsjk1UAY10g?= =?us-ascii?q?joBAQE?= X-IPAS-Result: =?us-ascii?q?A0DQAADR5a1aekGgVdFdhFwLgRqDXYsMjQZGAQEGgkuMA4d?= =?us-ascii?q?9FIEgA1sLI4gkGQcBBDAYAQIBAQEBAQEBAQESAQEJCwwHKC+COAwMgnkGHQEnE?= =?us-ascii?q?gMSHwIRFQI2AQUBNQgBhHYBAwgND55dPIsIgiaDAgWDSgo/DYEtggYCBgkBCHq?= =?us-ascii?q?EJ4IVgQ2CHIRhgwASARIBXg2CPIJhA4dBhWWLEAmBRYRCiSqBTT+DPYJAhSSJM?= =?us-ascii?q?IZeAgQCBAUCBQ8hgQkegRlbDggzARkjgxIJCYIsjk1UAY10gjoBAQE?= X-IronPort-AV: E=Sophos;i="5.48,323,1517871600"; d="scan'208";a="318638457" Received: from mail-pl0-f65.google.com ([209.85.160.65]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 18 Mar 2018 05:08:13 +0100 Received: by mail-pl0-f65.google.com with SMTP id 61-v6so8236354plf.3 for ; Sat, 17 Mar 2018 21:08:13 -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=W5xjoJccxnKHLjAolnKZ0YQyC/cZHxzK/bku8Gfh6s4=; b=XHFlWNr3oHpu3jkHy3PHOtlQLeCsoax90RAjZxWKSB5MdJj9vzUuRqWE1GwnMI8OzV szYbHqNv+4ULozJ79E4HCfj+HjC4ttClP8HhsCaO84clCBuUtGzoPg+Vp35UF8q2mqbh G/hOVZXC3pHnD4OWy6Q66PCY7K6XOiEZmlS0JoxPsPPBINsxMGlnIcBfjObld78FVwj4 NoLk6CIaxq+bL+5wtfLlXw+4FctINF1ShInQpd3F3J5Vq+0DKlTitiAxl2UEdcvlfM02 fmzAMhduk/ZVLt3YmMQ6yTlHmaxSo1d4kPv17PrHO42R0KDsLKivoapAPvimGV0iZu2K N3Ng== 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=W5xjoJccxnKHLjAolnKZ0YQyC/cZHxzK/bku8Gfh6s4=; b=DotQJi/fF+NtQoYYSe4Ca4woP+KxgV9PcmEkkoLmP4MNRemclUTa5081O7rz75/WWV hDgdBnvDnHVvl4VTshvbV1881Q5UZ1JeOjIWoGwY1Od+iint/2Swp96LromyT7nG81Yk 55V8JBPkG3RPUNehA85dGO9dVI+mM12nsPwSPkb3gwErpHKmaOtoxby+H6TAW6EjgV2T frlrRSCQ92j4CxCAGfeiIgNPYKNqZ7uvLK3W6dKM0jJteNsuGsNgoHABDNwiNVdKBeLi kVdn80U/Q67+EGpFd+t8eDXVeOxqBuprcmGjSBQBC5gNnSP7D3bfAKhC4cDCV/dkSsBl ExVA== X-Gm-Message-State: AElRT7FlKwRcDcEzKhjvs3dBFD+sEQvi1atbmXTwIB/oqXU922UNSu6o qxt5fCcdT2sQ3ypEIUxJpNgdEA== X-Google-Smtp-Source: AG47ELuODZ9eUc7F/RfLefxEIVDpht5zyQfPSTsu3Tk/8YKEXjGJhsv+3bdZG/Vj97lg79ifQauzsw== X-Received: by 2002:a17:902:8d96:: with SMTP id v22-v6mr502234plo.373.1521346092611; Sat, 17 Mar 2018 21:08:12 -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 g67sm18412087pgc.60.2018.03.17.21.08.11 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sat, 17 Mar 2018 21:08:12 -0700 (PDT) Date: Sat, 17 Mar 2018 21:07:33 -0700 From: Lindsey Kuper To: caml-list@inria.fr Message-ID: <5aade605cb67c_d12c3ffd2e057bf09428c@landin.local.mail> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Subject: [Caml-list] Call for Tutorial Proposals: ICFP 2018 Reply-To: Lindsey Kuper X-Loop: caml-list@inria.fr X-Sequence: 16729 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: CALL FOR TUTORIAL PROPOSALS ICFP 2018 23rd ACM SIGPLAN International Conference on Functional Programming September 23-29, 2018 St. Louis, Missouri, United States http://conf.researchr.org/home/icfp-2018 The 23rd ACM SIGPLAN International Conference on Functional Programming will be held in St. Louis, Missouri, United States on September 23-29, 2018. 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 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 in parallel to both ICFP and its co-located workshops, from September 23 through September 29. Additionally, ICFP is co-located with Strange Loop this year, and this will be taken into account when scheduling tutorials. ---------------------------------------------------------------------- Submission details Deadline for submission: April 9, 2018 Notification of acceptance: April 16, 2018 Prospective organizers of tutorials are invited to submit a completed tutorial proposal form in plain text format to the ICFP 2018 workshop co-chairs (Christophe Scholliers and David Christiansen), via email to icfp-workshops-2018@googlegroups.com by April 9, 2018. Please note that this is a firm deadline. Organizers will be notified if their event proposal is accepted by April 16, 2018. The proposal form is available at: http://www.icfpconference.org/icfp2018-files/icfp18-tutorials-form.txt ---------------------------------------------------------------------- Selection committee The proposals will be evaluated by a committee comprising the following members of the ICFP 2018 organizing committee. Workshop Co-Chair: Christophe Scholliers (University of Ghent) Workshop Co-Chair: David Christiansen (Galois, Inc.) General Chair: Robby Findler (Northwestern University) Program Chair: Matthew Flatt (University of Utah) ---------------------------------------------------------------------- Further information Any queries should be addressed to the workshop co-chairs (Christophe Scholliers and David Christiansen), via email to icfp-workshops-2018@googlegroups.com -- 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