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 sympa.inria.fr (Postfix) with ESMTPS id 7717A7FA80 for ; Sat, 24 Oct 2015 01:31:28 +0200 (CEST) IronPort-PHdr: 9a23:N5HjARzprzlqChfXCy+O+j09IxM/srCxBDY+r6Qd0eITIJqq85mqBkHD//Il1AaPBtWGraobwLOG+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuStOU15v8jrD60qaQSjsLrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYeVcyDAgD1uSmxHh+pX4p8Y7oGwD884mosVJVKG/e6UjUZRZCi4nOiY7/p7RuAHHXDeIs3oXXH1QigdCBwnO7Q3rdpj2tST+u+902S3cNsrzHp4uXjH3y6ZtRATlmW8kKiY06imDi8d+lORDvRilphd+35/8b4aSO/5ze6rceZURQm8XDZUZbDBIHo7pN9hHNOEGJ+sN94Q= 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-pa0-f69.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of icfp.publicity@googlemail.com) identity=pra; client-ip=209.85.220.69; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="icfp.publicity@googlemail.com"; x-sender="icfp.publicity@googlemail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of icfp.publicity@googlemail.com designates 209.85.220.69 as permitted sender) identity=mailfrom; client-ip=209.85.220.69; receiver=mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-pa0-f69.google.com) identity=helo; client-ip=209.85.220.69; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="icfp.publicity@googlemail.com"; x-sender="postmaster@mail-pa0-f69.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AKAwAfwipWlEXcVdFeg1U1b6lEB4FaiWuEfoYJFwEJhTKCAzwQAQEBAQEBAQEQAQEBAQcLCwkfMIIrgiALIwEBJhKBFAEFAQMBMQkZh3gBAQISDaVdgTE+MYpYhVYBBYFthkAKGQQKGQ2EVgEKAQEBGQaGMIcCgm0RAYMGDEOBMYdFjmyFGYgGgVhIg3eURDVHUDiCSQmBXD40AYVXgUABAQE X-IPAS-Result: A0AKAwAfwipWlEXcVdFeg1U1b6lEB4FaiWuEfoYJFwEJhTKCAzwQAQEBAQEBAQEQAQEBAQcLCwkfMIIrgiALIwEBJhKBFAEFAQMBMQkZh3gBAQISDaVdgTE+MYpYhVYBBYFthkAKGQQKGQ2EVgEKAQEBGQaGMIcCgm0RAYMGDEOBMYdFjmyFGYgGgVhIg3eURDVHUDiCSQmBXD40AYVXgUABAQE X-IronPort-AV: E=Sophos;i="5.20,188,1444687200"; d="scan'208";a="184250427" Received: from mail-pa0-f69.google.com ([209.85.220.69]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 24 Oct 2015 01:31:27 +0200 Received: by padcn9 with SMTP id cn9so9499992pad.2 for ; Fri, 23 Oct 2015 16:31:25 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20120113; h=mime-version:reply-to:message-id:date:subject:from:to:content-type; bh=qT/06/iIrMiEKb565+Hpb7XGEPAP909XL/RN+wRpv44=; b=vS9s7eXUiG8we5UaiAIk8ymuDl47SCGiRI9o69pxC03u/fGN36QchMAk2PZNpyyX5z oxeBuTu75pKbe575CE3SetKMYEqyjIlQGr6gb1FYIh/S+iGM+a7EbW6aLkmihWVZEMHi dXFfmv5T3hzs8dLm30lm2lC9DjB4waSdoSzF2POvusU6kvMZ/ieVdpRGnb9yLFqdu8E0 Eb34kVBVEfhMv8ZXon2AMk8+wWrlRbSHvfV5x/nWSfas5yEg3LBbwXb81WIiDp0jlR0L D1MUh53YI7UhRT+OiM1OU6DlrjJnBFOYFOh8b+BsAtamkhCswPx1C3pr63KISDMlOjxj EOOw== MIME-Version: 1.0 X-Received: by 10.66.182.135 with SMTP id ee7mr5623002pac.32.1445643085774; Fri, 23 Oct 2015 16:31:25 -0700 (PDT) Reply-To: icfp.publicity@googlemail.com Message-ID: <047d7bd6b4da998bdb0522ce0202@google.com> Date: Fri, 23 Oct 2015 23:31:25 +0000 From: Lindsey Kuper To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=047d7bd6b4da998bb10522ce02ff Subject: [Caml-list] ICFP 2016 Call for Workshop and Co-located Event Proposals --047d7bd6b4da998bb10522ce02ff Content-Type: text/plain; charset=ISO-8859-1; format=flowed; delsp=yes          CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS                             ICFP 2016  21st ACM SIGPLAN International Conference on Functional Programming                      September 18-24, 2016                           Nara, Japan                http://icfpconference.org/icfp2016/ The 21st ACM SIGPLAN International Conference on Functional Programming will be held in Nara, Japan on September 18-24, 2016. 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 2016 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 18 (the day before ICFP) and September 22-24 (the three days after ICFP). ---------------------------------------------------------------------- Submission details  Deadline for submission:     November 21, 2015  Notification of acceptance:  December 20, 2015 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 2016 workshop co-chairs (Andres Loeh and Nicolas Wu), via email to     icfp2016-workshops@googlegroups.com by November 21, 2015. (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 20, 2015, 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/icfp2016-files/icfp16-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 2016 organizing committee, together with the members of the SIGPLAN executive committee.  Workshop Co-Chair: Andres Loeh                        (Well-Typed LLP)  Workshop Co-Chair: Nicolas Wu                  (University of Bristol)  General Co-Chair : Jacques Garrigue                (Nagoya University)  General Co-Chair : Gabriele Keller     (University of New South Wales)  Program Chair:     Eijiro Sumii                    (Tohoku University) ---------------------------------------------------------------------- Further information Any queries should be addressed to the workshop co-chairs (Andres Loeh and Nicolas Wu), via email to icfp2016-workshops@googlegroups.com --047d7bd6b4da998bb10522ce02ff Content-Type: text/html; charset=ISO-8859-1          CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS
                            ICFP 2016
 21st ACM SIGPLAN International Conference on Functional Programming


                     September 18-24, 2016
                          Nara, Japan
               http://icfpconference.org/icfp2016/

The 21st ACM SIGPLAN International Conference on Functional Programming
will be held in Nara, Japan on September 18-24, 2016. 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 2016 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 18 (the day
before ICFP) and September 22-24 (the three days after ICFP).

----------------------------------------------------------------------

Submission details
 Deadline for submission:     November 21, 2015
 Notification of acceptance:  December 20, 2015

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 2016 workshop co-chairs
(Andres Loeh and Nicolas Wu), via email to

    icfp2016-workshops@googlegroups.com

by November 21, 2015. (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 20, 2015, 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/icfp2016-files/icfp16-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 2016 organizing committee, together with
the members of the SIGPLAN executive committee.

 Workshop Co-Chair: Andres Loeh                        (Well-Typed LLP)
 Workshop Co-Chair: Nicolas Wu                  (University of Bristol)
 General Co-Chair : Jacques Garrigue                (Nagoya University)
 General Co-Chair : Gabriele Keller     (University of New South Wales)
 Program Chair:     Eijiro Sumii                    (Tohoku University)


----------------------------------------------------------------------

Further information

Any queries should be addressed to the workshop co-chairs
(Andres Loeh and Nicolas Wu), via email to
icfp2016-workshops@googlegroups.com
--047d7bd6b4da998bb10522ce02ff--