From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 9A5FA7FF3D for ; Tue, 1 Nov 2016 02:59:41 +0100 (CET) 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-f193.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.193; 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.193 as permitted sender) identity=mailfrom; client-ip=209.85.192.193; 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-f193.google.com) identity=helo; client-ip=209.85.192.193; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="icfp.publicity@googlemail.com"; x-sender="postmaster@mail-pf0-f193.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3Ad15z5hWLKRtklAoFncwxkjj5dKLV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYZhCGt8tkgFKBZ4jH8fUM07OQ6PG6HzxYqs3Q+Fk5M7V0Hycfjs?= =?us-ascii?q?sXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJP?= =?us-ascii?q?K/jvHcaK1oLshrr0q8WYOFQArQH+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf?= =?us-ascii?q?9d32JiKAHbtR/94sCt4MwrqHwI6Lpyv/JHBK7zeqB9Sb1DEBwnNXo07Yvlr0rt?= =?us-ascii?q?VwyKs18dVGkNnwsAIBXd4QuyCpb6vDO8rvd33CiRPNHnZb8zXjum4qJiSRuugy?= =?us-ascii?q?ACYW1quFrLg9B92foI6CmqoAZyltbZ?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ByAwDS9hdYdMHAVdFdHQYMGQYMgwABA?= =?us-ascii?q?QEBAXdyC6MRAQEBB41NhX2CD4IHKIUxgmFBEgEBAQEBAQEBAQEBEgEKCxQbMoI?= =?us-ascii?q?zGIIwCwYdAScSAxIfAiYCNgEFATUIARmIFwEDFw6XSoIIgTI/MotGhEoFg14KQ?= =?us-ascii?q?A2DcwEBAQEGAQEBAQEaAgYQd4RrhlyCXREBaIIACy2CXAWIRYZ/ilSBPoRyigC?= =?us-ascii?q?Bbk6EH4MJhiCNEYJAMYERJQt2gz+CAlIBhXKCKQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0ByAwDS9hdYdMHAVdFdHQYMGQYMgwABAQEBAXdyC6MRAQE?= =?us-ascii?q?BB41NhX2CD4IHKIUxgmFBEgEBAQEBAQEBAQEBEgEKCxQbMoIzGIIwCwYdAScSA?= =?us-ascii?q?xIfAiYCNgEFATUIARmIFwEDFw6XSoIIgTI/MotGhEoFg14KQA2DcwEBAQEGAQE?= =?us-ascii?q?BAQEaAgYQd4RrhlyCXREBaIIACy2CXAWIRYZ/ilSBPoRyigCBbk6EH4MJhiCNE?= =?us-ascii?q?YJAMYERJQt2gz+CAlIBhXKCKQEBAQ?= X-IronPort-AV: E=Sophos;i="5.31,577,1473112800"; d="scan'208";a="198760870" Received: from mail-pf0-f193.google.com ([209.85.192.193]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 01 Nov 2016 02:59:12 +0100 Received: by mail-pf0-f193.google.com with SMTP id a136so6786419pfa.0 for ; Mon, 31 Oct 2016 18:59:12 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20120113; h=date:from:to:message-id:subject:mime-version :content-transfer-encoding; bh=BMQotby56Zi7JpJl5W5hMl4QZ0pUx4s3K+Uvw+dGGoM=; b=x1oW/dfbrkUX/b39LkkqP9lpn4x2iKjsF2/yjLGLOCeTUGzuekIe5fCq3/44vI91Af 3qYAi5yF9SGDZ8Ee8P1xUt1By1sbyPfzDC7Ss4/EUIPClqCUYf6h/xKZHo+jJshLMy5e NNvHLslhSuPUNsJDEsSEaaBZ7KT+iHdUFGC9hM+q2ULQuDQCsefNQOhFRPTbinpdK/OQ 9AjZkJFnB1ulQEyhBXopyV9ME7olJ+R019HSneCjYFI4D+mxQps7WBXv3aZde2HK48/G BIAbwL97HkYJUdiK4Np3MwBClWdg/k3CDbBxsa10jZ5H7Cx6XaPcrm29LYbCMBkPzImm p6Ag== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:date:from:to:message-id:subject:mime-version :content-transfer-encoding; bh=BMQotby56Zi7JpJl5W5hMl4QZ0pUx4s3K+Uvw+dGGoM=; b=KLin+BnyqZJj4jNI5GAlBuBRnn480ZMJFHPTcGOhULBhv89sxYc3Lf8Y3GnvVHKQ5Z 8D36KMw1A/pWvtzAv/m+4UvQhFx8hP3qoqkDVqXMDUFOZXhaNFKyYz1sqBGn/NbpOZwN 5Y1prjdVgBHlNpdjiBrisiB5BD3twX31CgRTwU+Y4Iz4JikLzKDIN8vqBAIi/YyR0hYE I3B/vmfq8dba4MunOwpWhhm2GsYYCnScwtt179ilBGmAhws6iMTVnNNfBbvgfs4HbnjX yIlHbsJ4VECStw+zPk+y0njUuSr8k+po7VyTaJedawxFwJxB9qWFh7dKbBWbZj7KfTAL hRbw== X-Gm-Message-State: ABUngvekNaLITGT/cRwMeLJl4QrP3mAHRPA7lF3gl1oz/TSChr/LIupVUJ9QTGvCJL59xA== X-Received: by 10.98.155.9 with SMTP id r9mr10187398pfd.71.1477965550515; Mon, 31 Oct 2016 18:59:10 -0700 (PDT) Received: from icfp.publicity (173-228-90-7.dsl.dynamic.fusionbroadband.com. [173.228.90.7]) by smtp.gmail.com with ESMTPSA id r74sm24465160pfj.11.2016.10.31.18.59.09 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 31 Oct 2016 18:59:10 -0700 (PDT) Date: Mon, 31 Oct 2016 18:59:09 -0700 From: Lindsey Kuper To: caml-list@inria.fr Message-ID: <5817f6ed11207_54a3fd6a9465be466586@landin.local.mail> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Subject: [Caml-list] Call for Workshop Proposals: ICFP 2017 CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS ICFP 2017 22nd ACM SIGPLAN International Conference on Functional Programming September 3-9, 2017 Oxford, United Kingdom http://conf.researchr.org/home/icfp-2017 The 22nd ACM SIGPLAN International Conference on Functional Programming will be held in Oxford, United Kingdom on September 3-9, 2017. 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 2017 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 3 (the day before ICFP) and September 7-9 (the three days after ICFP). ---------------------------------------------------------------------- Submission details Deadline for submission: November 19, 2016 Notification of acceptance: December 18, 2016 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 (David Christiansen and Andres Loeh), via email to icfp2017-workshops@googlegroups.com by November 19, 2016. (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, 2016, 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/icfp2017-files/icfp17-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 2017 organizing committee, together with the members of the SIGPLAN executive committee. Workshop Co-Chair: David Christiansen (Indiana University) Workshop Co-Chair: Andres Loeh (Well-Typed LLP) General Chair: Jeremy Gibbons (University of Oxford) Program Chair: Mark Jones (Portland State University) ---------------------------------------------------------------------- Further information Any queries should be addressed to the workshop co-chairs (David Christiansen and Andres Loeh), via email to icfp2017-workshops@googlegroups.com