From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 D07E78027D for ; Fri, 27 Oct 2017 03:37:13 +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-pf0-f196.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of icfp.publicity@googlemail.com) identity=pra; client-ip=209.85.192.196; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="icfp.publicity@googlemail.com"; x-sender="icfp.publicity@googlemail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of icfp.publicity@googlemail.com designates 209.85.192.196 as permitted sender) identity=mailfrom; client-ip=209.85.192.196; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="icfp.publicity@googlemail.com"; x-sender="icfp.publicity@googlemail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-pf0-f196.google.com) identity=helo; client-ip=209.85.192.196; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="icfp.publicity@googlemail.com"; x-sender="postmaster@mail-pf0-f196.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A/994iRevaaKVsyYqm405NoJ6lGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxc28Yx7h7PlgxGXEQZ/co6odzbGJ4+a9ASQp2tWojjMrSNR0TRgLiM?= =?us-ascii?q?EbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpW1aJhKqPgNw?= =?us-ascii?q?IqHxG5XOp8WxzeG7vZPJMCtSgz/oRbJ0IA67vE3yq9Ebm8M2K60/0l3Rv3FMeu?= =?us-ascii?q?9X2XJAKlWUkBLx486x+Nho9CEG6KFpzNJJTaivJ/dwdrdfFjlza20=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BUBABKjfJZdMTAVdFcHQEFAQsBGAEFA?= =?us-ascii?q?QsBhA0LgRWDeosTjh1BAQEBB48NiHKBIgNcCgUehEmFEkMUAQEBAQEBAQEBAQE?= =?us-ascii?q?SAQoLDAcmMYI4IoJnBh0BJxIDEh8CJgI2AQUBNQgBiX4BAwgNEJwoQIwMgieDC?= =?us-ascii?q?QWDYQpADYMjAQEBAQYBAQEBARsCBgkBCH2CH4IHgQmCMIRmgxYBEgFrggsMMYJ?= =?us-ascii?q?hBYoiiEiPEYFuhXeNFIIVXoUhg02HSpVdAgQCBAUCBhQkgRU2gSQ0GxY0ASAlg?= =?us-ascii?q?zIBDwkJgjsbgXYhVwGJKoI1AQEB?= X-IPAS-Result: =?us-ascii?q?A0BUBABKjfJZdMTAVdFcHQEFAQsBGAEFAQsBhA0LgRWDeos?= =?us-ascii?q?Tjh1BAQEBB48NiHKBIgNcCgUehEmFEkMUAQEBAQEBAQEBAQESAQoLDAcmMYI4I?= =?us-ascii?q?oJnBh0BJxIDEh8CJgI2AQUBNQgBiX4BAwgNEJwoQIwMgieDCQWDYQpADYMjAQE?= =?us-ascii?q?BAQYBAQEBARsCBgkBCH2CH4IHgQmCMIRmgxYBEgFrggsMMYJhBYoiiEiPEYFuh?= =?us-ascii?q?XeNFIIVXoUhg02HSpVdAgQCBAUCBhQkgRU2gSQ0GxY0ASAlgzIBDwkJgjsbgXY?= =?us-ascii?q?hVwGJKoI1AQEB?= X-IronPort-AV: E=Sophos;i="5.44,302,1505772000"; d="scan'208";a="242535178" Received: from mail-pf0-f196.google.com ([209.85.192.196]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 27 Oct 2017 03:37:12 +0200 Received: by mail-pf0-f196.google.com with SMTP id i5so3794371pfe.6 for ; Thu, 26 Oct 2017 18:37:12 -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=mPkSoFL1xWXL6/vcNuwnfmmpeJZbOGzcgLxGSdv/qK0=; b=P6w1wQp9TRcA+ghanLw/iQQ/KIJZ8UUJPQSiQBUVUEP0ywneLP2KcWfz3Mbb9UZFff PrHI8+YF9Zj8pyaR9YGHXA82bNlRE/pXrAWb73ukQCuypROWRnPJvRQvtmDW9Z0+49VH VnMO+NPW30l0qkA6cVMnQfBqZOU9jKwKQ6ZB8gP60grXsPG3vLY3BgYMYvrm7ZxQ5kU9 FOzBgfvFWxIuXWeGBtfoFDe3BBWAUX0snvHYfe6I//2h+ZVCMXrvQg8AF2dY51Govpgw Pd8JgvkPdM1PSEq64Lp5rc54B2DfM9Gwv0+KGbsUFFRo2cA//63nNKXAi9h548uevxan dm1Q== 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=mPkSoFL1xWXL6/vcNuwnfmmpeJZbOGzcgLxGSdv/qK0=; b=na+CjCc09foz43NMQktBwbSAE/L2GRCqGmz3I34az9TNL3+DaIe1NV+bPGYctmgSGv 7/EGVTd6P1cSEVTb/PxxOQTog40WuAicJCmWC2tnNfSCynanrX3K9Boj/CKH/86xh0AH m8JpGnwZKjsG1GJtJNGwHy3eA0Hy0gvD2bRl3srXEhcb2iZz78i8/fAx4TJ4R8mv6IYz YIWdsAvbgMo5TEIsfVIvHUYscqYK+mSrIJioqT4FwtWbXDr/7E7K6BGmOLsgtZSZefKg +fcq8bRyAxu8f6LJOEjw4JqdKnvbI46bOp+cSckuAatb7ldECuL+/cwJKrfsnwPmZhoc dEyA== X-Gm-Message-State: AMCzsaUNjoduusJtBjRBS/qj263F2tfO2evpzwWgUlNozWZRk8p7P0mx PGsU08M3YwYQXy7FXPSIPWAmjg== X-Google-Smtp-Source: ABhQp+T39pzO824IlbUvDFLx6eFJjGdmwo3xXIr7zj3zw7GNHSMJJfxdsP8dooa28IZNrjfejn2n8w== X-Received: by 10.98.222.2 with SMTP id h2mr7286199pfg.165.1509068230618; Thu, 26 Oct 2017 18:37:10 -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 c22sm12055318pfe.177.2017.10.26.18.37.09 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 26 Oct 2017 18:37:10 -0700 (PDT) Date: Thu, 26 Oct 2017 18:37:09 -0700 From: Lindsey Kuper To: caml-list@inria.fr Message-ID: <59f28dc5cd40e_59703fcb06059be47403c@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 2017 CALL FOR WORKSHOP AND CO-LOCATED EVENT 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 workshops (and other co-located events, such as tutorials) to be affiliated with ICFP 2018 and sponsored by SIGPLAN. These events should be less formal and more focused than ICFP itself, include sessions that enable interaction among the attendees, and foster the exchange of new ideas. The preference is for one-day events, but other schedules can also be considered. The workshops are scheduled to occur on September 23 (the day before ICFP) and September 27-29 (the three days after ICFP). ---------------------------------------------------------------------- Submission details Deadline for submission: November 20, 2017 Notification of acceptance: December 18, 2017 Prospective organizers of workshops or other co-located events are invited to submit a completed workshop proposal form in plain text format to the ICFP 2017 workshop co-chairs (Christophe Scholliers and David Christiansen), via email to icfp-workshops-2018@googlegroups.com by November 20, 2017. (For proposals of co-located events other than workshops, please fill in the workshop proposal form and just leave blank any sections that do not apply.) Please note that this is a firm deadline. Organizers will be notified if their event proposal is accepted by December 18, 2017, and if successful, depending on the event, they will be asked to produce a final report after the event has taken place that is suitable for publication in SIGPLAN Notices. The proposal form is available at: http://www.icfpconference.org/icfp2018-files/icfp18-workshops-form.txt Further information about SIGPLAN sponsorship is available at: http://www.sigplan.org/Resources/Proposals/Sponsored/ ---------------------------------------------------------------------- Selection committee The proposals will be evaluated by a committee comprising the following members of the ICFP 2018 organizing committee, together with the members of the SIGPLAN executive committee. Workshop Co-Chair: Christophe Scholliers (University of Ghent) Workshop Co-Chair: David Christiansen (Indiana University) 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