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 ESMTP id 4D85E5D5 for ; Mon, 4 Jun 2018 15:55:06 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.49,476,1520895600"; d="scan'208,217";a="330272417" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 04 Jun 2018 17:54:44 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 16E6982459; Mon, 4 Jun 2018 17:54:44 +0200 (CEST) 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 719128242B for ; Mon, 4 Jun 2018 17:52:47 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=efes@cs.uni.wroc.pl; spf=None smtp.mailfrom=efes@cs.uni.wroc.pl; spf=None smtp.helo=postmaster@mail-wm0-f66.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AOiQIhxPRreOnDqtPiAMl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0LfnzrarrMEGX3/hxlliBBdydt6oZzbKO+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZLebxlIiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPde?= =?us-ascii?q?RWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbY?= =?us-ascii?q?UwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0yRD+s7bpkSAXwhS?= =?us-ascii?q?kHOTA383zZhNJsg69Auh2tuwZyzpTIbI2JNvdzeL7Wc9MARWpGW8ZcTyxPAoK4?= =?us-ascii?q?b4sOF+oKIPtWr4jjqFQSrBq+Bg6sBe30yj9Lh3/9wKo33PovEQ7YxwwtBM4BsG?= =?us-ascii?q?/OoNXoMqcSUPq5zafSzTXEc/xawy/96IzRfx0nvPqCU7Vwcc/LxkkuEQPIlk6Q?= =?us-ascii?q?qY3qPzON0uQCqW6b4/BnVeK1hG4rswFxoj+zxsgwkInJnpgZxUzD9SV8xos+ON?= =?us-ascii?q?62SFZjbNOmH5ZcrTyWO5V2T884QGxkpjw2x7wHtJO9YSME0o4oxwTFZPyCa4WI?= =?us-ascii?q?4gzsVOKWITpggXJqYrO/hxKr/Umuz+3wStC40FhLoydEiNXMuXcN1xvc6siDVP?= =?us-ascii?q?Rx5Fuu2TGK1wzL6+FEJ147lbbDJpMjzbM8jIcfvVrDEyPsm0j6krWae0Ql9+Sw?= =?us-ascii?q?7uToeLTmppuSN49ujQH+N7wjldKxAesmKQgDRHSU+f+m2L3++035Qa9Gj/Mskq?= =?us-ascii?q?nerJ/WP9wbpqqhDw9Pzokj8wq/Dyuh0NkAgXYINldFeBaeg4jtOlHOO+z4AOyk?= =?us-ascii?q?g1WslTdr3+rJMqfgApXLNHjDka3ucaxz605Gm0IPyoVU7pdQT7UAO+7bW0nrtd?= =?us-ascii?q?WeAAVqHRazxrPJCdF8zsslWG+EEKyeL7jRsBfc6+wiOMGHf8kIvje7NOIi7Lj2?= =?us-ascii?q?iSlqyhcmYaC10M5POziDFfN8LhDBOCu+spI6CW4P+zEGYqnvgVyGXyRUYi/sDa?= =?us-ascii?q?knoCw9CcS5F4DIAJip0uTYgHWLW6ZOb2UDMWiiVG/yftzaCfwXLj+UI4l+iDsP?= =?us-ascii?q?E6ClGdd4iEOe8TTiwr8iFdL6vy0VsZW5iYpw7uzX0A43rXl6UZrb3GaKQGV52G?= =?us-ascii?q?gPQm1u0Q=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CaCACxXxVbf0JSfUpcHQEBHQEGAYI7g?= =?us-ascii?q?Vd/KIN4gR2TVUgBAQeQfIULgQ4DUwsjhEmCEhkGBjQUAQIBAQEBAQEBAQETAQE?= =?us-ascii?q?JCwsIGwslDII1IoJ1Bh0BASYSJTcCJBIBBQE1gySBcg0PmxA8ihttghyCbwEBB?= =?us-ascii?q?YVJgWADBRKIMIEMgQeBD4IOgkCCemWCU4JUmHAJgheDVYJYhh+BPIN4gmOFA4l?= =?us-ascii?q?4hxgPIYE3gXN+B2wGggyBcDyDUIUUhT0DPTABjxcBAQ?= X-IPAS-Result: =?us-ascii?q?A0CaCACxXxVbf0JSfUpcHQEBHQEGAYI7gVd/KIN4gR2TVUg?= =?us-ascii?q?BAQeQfIULgQ4DUwsjhEmCEhkGBjQUAQIBAQEBAQEBAQETAQEJCwsIGwslDII1I?= =?us-ascii?q?oJ1Bh0BASYSJTcCJBIBBQE1gySBcg0PmxA8ihttghyCbwEBBYVJgWADBRKIMIE?= =?us-ascii?q?MgQeBD4IOgkCCemWCU4JUmHAJgheDVYJYhh+BPIN4gmOFA4l4hxgPIYE3gXN+B?= =?us-ascii?q?2wGggyBcDyDUIUUhT0DPTABjxcBAQ?= X-IronPort-AV: E=Sophos;i="5.49,476,1520895600"; d="scan'208,217";a="267577577" Received: from mail-wm0-f66.google.com ([74.125.82.66]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 04 Jun 2018 17:52:36 +0200 Received: by mail-wm0-f66.google.com with SMTP id z6-v6so14228589wma.0 for ; Mon, 04 Jun 2018 08:52:36 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=cs-uni-wroc-pl.20150623.gappssmtp.com; s=20150623; h=mime-version:from:date:message-id:subject:to; bh=u5whBn1s9F8igFTJa067fAT9te6+5H0PsmtGbGi1uvw=; b=zILVRpkijDenHQdMCcvsPzqG9zop2wph9yKlEA++Vq/P/cWPToSuzv8OD/ZcXN85MH y/BnWpk88XvuheluWxWvgD77L6Z8nJ/hmWzth3bWIzZSB8NAQWnUxyWYm6pkhnHL3Zc+ NrxtN9LLpjILmKQkQ40yuMQp2Oszf5xjdh+kcS+2354lDMsXqKwf38ddTO6gjxYjsWvz A0+v3spPRuWDtg2l8QDsxK+4rVMPvxu8ORf+Eh5KrhPqQ0qB/obuY0CQALmficDPBDyD V2iDnAg+TUgQL6+Gx7oRTDmcAuLT2cZxl85Tel+qTxSP8ro/qii3eCcqxtUkDR2G4DfA SRHw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=u5whBn1s9F8igFTJa067fAT9te6+5H0PsmtGbGi1uvw=; b=qXk92PxfJQUj+wiJmb8F0YRdpKa9QDxhGadLtyI5BS4itik7u22z9x2VwizwvBYGRF R0ucpIn8XCPqI9NT4KBDEwH2p1ly73Qs4EIzklLQbw9f3HLzp8h15NOpLdQmxvWK92ej X7e/X7dcARxP7Ttg+3NULECREeOBpG8HcTbus5NOEz13fyErDyX155v0sd5MJzS6Uhax dxT8Fb1kpr4gw3OOcFI82Lmwwu4Vj9tI+xawoAyE+kSOuN5JCQbKAxYvYH0T9zoQRHp+ /TiSmZRSXOe16G8b6s9B8j2nd972PYeWD8mxKOH+8ABPD9xaDHN1dFS94l29G//r97js G6fA== X-Gm-Message-State: ALKqPwd3oIQdyyuHdx0KCKh3X7os89Z7GPNFwfJEQj988Km2PlBWDOyp 4HjND3O3lZGz0xWZXBb0jBfPcC7x2GhmVP3iqkokWSME X-Google-Smtp-Source: ADUXVKKYdgpA2twcEunq4mT1UgcuGRrswD0LOr/d5iPFwapxmc1cL/KHECykMfslECt3bkFsbl7xKigChxnZvGnugk4= X-Received: by 2002:a1c:eacd:: with SMTP id g74-v6mr8823328wmi.103.1528127552848; Mon, 04 Jun 2018 08:52:32 -0700 (PDT) MIME-Version: 1.0 Received: by 2002:a1c:48d6:0:0:0:0:0 with HTTP; Mon, 4 Jun 2018 08:52:32 -0700 (PDT) From: Filip Sieczkowski Date: Mon, 4 Jun 2018 17:52:32 +0200 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="000000000000f5fa96056dd2eb96" X-Validation-by: efes@cs.uni.wroc.pl Subject: [Caml-list] Final CFP HOPE 2018 Reply-To: Filip Sieczkowski X-Loop: caml-list@inria.fr X-Sequence: 16924 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: --000000000000f5fa96056dd2eb96 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear Friends and Colleagues, We have a great pleasure inviting you to participate in this year's edition of the ACM SIGPLAN Workshop on Higher-Order Programming with Effects ( https://icfp18.sigplan.org/track/hope-2018-papers). The HOPE workshop series are intended to bring together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. They are *informal*, consisting of invited talks, contributed talks on work in progress, and open-ended discussion sessions. They are dedicated to John Reynolds, whose work is an inspiration to us all. **Call for Presentations** We solicit proposals for contributed talks. We recommend preparing proposals of *at most 2 pages*, in PDF format. However, we will accept longer proposals or submissions to other conferences, under the understanding that PC members are only expected to read the first two pages of such longer submissions. When submitting talk proposals, authors should specify how long a talk the speaker wishes to give. By default, contributed talks will be 30 minutes long, but proposals for shorter or longer talks will also be considered. Speakers may also submit supplementary material (e.g., a full paper, talk slides) if they desire, which PC members are free (but not expected) to read. We are interested in talks on all topics related to the interaction of higher-order programming and computational effects. Talks about work in progress are particularly encouraged. If you have any questions about the relevance of a particular topic, please contact the PC chairs, Filip Sieczkowski (efes@cs.uni.wroc.pl) and Fran=C3=A7ois Pottier ( francois.pottier@inria.fr). ** Submission link ** https://icfp-hope18.hotcrp.com/ **Important Dates** * Deadline for talk proposals: June 8th, 2018 (Friday) * Notification of acceptance: July 8th, 2018 (Sunday) * Workshop: September 23, 2018 (Sunday) =E2=80=94 Best regards, Filip Sieczkowski and Fran=C3=A7ois Pottier, PC co-chairs --=20 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= --000000000000f5fa96056dd2eb96 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear Friends and Colleagues,

We have a great pleasure inviting you to participate in this year's=20 edition of the ACM SIGPLAN Workshop on Higher-Order Programming with=20 Effects (https://icfp18.sigplan.org/= track/hope-2018-papers). The HOPE workshop series are intended to bring together researchers=20 interested in the design, semantics, implementation, and verification of higher-order effectful programs. They are *informal*, consisting of=20 invited talks, contributed talks on work in progress, and open-ended=20 discussion sessions. They are dedicated to John Reynolds, whose work is=20 an inspiration to us all.

**Call for Presentations**

We solicit proposals for contributed talks. We recommend preparing=20 proposals of *at most 2 pages*, in PDF format.=20 However, we will accept longer proposals or submissions to other=20 conferences, under the understanding that PC members are only expected=20 to read the first two pages of such longer submissions. When submitting=20 talk proposals, authors should specify how long a talk the speaker=20 wishes to give. By default, contributed talks will be 30 minutes long,=20 but proposals for shorter or longer talks will also be considered.=20 Speakers may also submit supplementary material (e.g., a full paper,=20 talk slides) if they desire, which PC members are free (but not=20 expected) to read.

We are interested in talks on all topics=20 related to the interaction of higher-order programming and computational effects. Talks about work in progress are particularly encouraged. If=20 you have any questions about the relevance of a particular topic, please contact the PC chairs, Filip Sieczkowski (efes@cs.uni.wroc.pl) and Fran=C3=A7ois Pottier= (francois.p= ottier@inria.fr).

*= * Submission link **

https://icfp-hope18.hotcrp.com/

**Important Dates**

* Dea= dline for talk proposals: June 8th, 2018 (Friday)
* Notification of acceptance: = =C2=A0July 8th, 2018 (Sunday)
* Workshop: =C2=A0September 23, 2018 (Sunday)

=
=E2=80=94 Best regards,

Filip Sieczkows= ki and Fran=C3=A7ois Pottier, PC co-chairs

--000000000000f5fa96056dd2eb96--