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 687B75D5 for ; Mon, 11 Jun 2018 15:19:33 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.49,502,1520895600"; d="scan'208,217";a="331319685" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 11 Jun 2018 17:19:30 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id B186282488; Mon, 11 Jun 2018 17:19:30 +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 091C782416 for ; Mon, 11 Jun 2018 17:16:51 +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-wr0-f179.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AS191VhEEoM7Xjc3VdSUFvp1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ78ocSwAkXT6L1XgUPTWs2DsrQY07eQ6/iocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmDqwbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+?= =?us-ascii?q?NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjD?= =?us-ascii?q?QhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VDK/5KlpVRDokj?= =?us-ascii?q?8KOT43/m/Ul8J+kr5UrQm7qBBj2YPZep2ZOOZ8c67bYNgURXBBXsFUVyFZAo28?= =?us-ascii?q?bo8PD+sZPe1Fsof9pkUBoge/BAmvA+PuxCRIhnz33aYn1OkuDw/G0xI7H98VrH?= =?us-ascii?q?vUt8/5NLoUUeC01qXJwy/Db/RK1jvn8IjIdgksrPeRVrx+dsrRzFMgFwLDjliI?= =?us-ascii?q?sozlPjyV1vwJs2eB6epsT+Wvi3Qoqw1pojivwdsshZXThoIN0FzL6SJ5wIMzKN?= =?us-ascii?q?alS0B7ecapHIVMuyyeLYd7QcMvT3t1tCokybAKo4O3cSoOxZkh2hXRceaIc5KS?= =?us-ascii?q?7RLmTOuRISl3hHZieL+ngha960mgyunlWsi6ylZGsjNJktfRun0P0xHf8MeHSv?= =?us-ascii?q?x6/keu3TaAyRrf5f1DIUAxjabbKpghzaAslpcLr0jPAiv7lF/1gaKWbEko5/ak?= =?us-ascii?q?5uf9brn7pJKRM5d4igTkPaQvnsy/D/44Mg8LX2WD5+u82qPs/VbiTbpWlf06iL?= =?us-ascii?q?TZsJbbJcgBqK+5GQhV3Zo55xanCzeqyM4YkmUfLFJZZBKHiJDkNE3UL/D9Cfez?= =?us-ascii?q?mlCskDZwx/DaJbDhGZXMLn3bkLj7Z7p96khcyBAyzd9F/Z5UBKsBc7rPXRr6vd?= =?us-ascii?q?ncSxs4KBCcwuD9Cdw72JlNd3iIB/q3MafTqRez5+8kMeqLe5QWuX6pJvYo/Nbl?= =?us-ascii?q?ljkkn15bYrOu1t0PbCbrTbxdP0yFbC+00Z86GmAQs19mFb24uBi5STdWIk2Kce?= =?us-ascii?q?c57zA/BpihCN6dFIu2xqGH3WGkBJpdIHhCWAjVTSXYMr6cUvJJUxq8Z9d7m2Va?= =?us-ascii?q?B7O6DZIn1FexrgjxjaJjfLKNp38o8Kn73d0w3NX90BE/8TsuUZaY2mCJCn5uxi?= =?us-ascii?q?YGHmBnmq94pkN5xxGI1q0q2/E=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AoBADbkR5bh7OAVdFcHQEBGAUBBgGEE?= =?us-ascii?q?n8og3eBHZNMSQEHhCKRcoEOA1MLJYRHgmIZBgY0FAECAQEBAQEBAQEBEwEBAQg?= =?us-ascii?q?NCQgpIwyCNSKCdQYdAQE4HgEGNwIkEgEFAUmDDgKBcg0PnWQ8ihttghyCbwEBB?= =?us-ascii?q?YVIgWAIEogygQyBB4EPhE2BUASBJgUBEgFMH4I0glWRModMCYIXg1iCW4YkgT6?= =?us-ascii?q?De4dvigeHGw8hgRAngQJxfgdsBoIMCYIkAoNOhRSFQD0wAY4mgjkBAQ?= X-IPAS-Result: =?us-ascii?q?A0AoBADbkR5bh7OAVdFcHQEBGAUBBgGEEn8og3eBHZNMSQE?= =?us-ascii?q?HhCKRcoEOA1MLJYRHgmIZBgY0FAECAQEBAQEBAQEBEwEBAQgNCQgpIwyCNSKCd?= =?us-ascii?q?QYdAQE4HgEGNwIkEgEFAUmDDgKBcg0PnWQ8ihttghyCbwEBBYVIgWAIEogygQy?= =?us-ascii?q?BB4EPhE2BUASBJgUBEgFMH4I0glWRModMCYIXg1iCW4YkgT6De4dvigeHGw8hg?= =?us-ascii?q?RAngQJxfgdsBoIMCYIkAoNOhRSFQD0wAY4mgjkBAQ?= X-IronPort-AV: E=Sophos;i="5.49,502,1520895600"; d="scan'208,217";a="268411639" Received: from mail-wr0-f179.google.com ([209.85.128.179]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 11 Jun 2018 17:16:50 +0200 Received: by mail-wr0-f179.google.com with SMTP id w7-v6so20822584wrn.6 for ; Mon, 11 Jun 2018 08:16:50 -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=hgxprvQ0bOH3jQx0OhUd6mgtWd7udFuP1vVoiKEArig=; b=sDsWvWr3TGoOegTVZttdK+S6hSsXAE0r9JCA8uNKbM9rVXua9eevn2I0dtpFQxRKBR j5+2dxXR8vGcT1wk+wQ7PAYGrOrKhbK0CwhriYplFECcLXgOl7Op26blN5/TujvJ/vMm wpkr1btFJ6ZE2eP+/AO/a6OZzT9TP5n69yxSrJFuPFW34AmFPOvauwJ2k+n0sGK1rF7E Je36wF0GtrqUK2c+mFSREZQspTyrJvWJgyhocDE55t1Ame5UtCUPHpTIzD/2vZpHWgq7 2xZptzNNEQ4qJllMM0Wy5b9Ar6QHJciu6cNi4B5/U4ScIxrcoQxCgaEJcHnJUFvopo37 EyDQ== 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=hgxprvQ0bOH3jQx0OhUd6mgtWd7udFuP1vVoiKEArig=; b=Z96xCOMG0XGDci/sowjoPK++ka85U/TwALfvrZlOMM96wu9xqPhJCSTalU/cSreuwi 97Z8kizC8yXID7nPQxldQ4FAgD3NvQ4haVeoxxVFIaByocUDtzRjAjn/shw8oOmjtRXW swkCv5We3LNMU7jRNPbOs08W1FV11zciJRucs9Pqs/bD+EqM14y3vKhw7/x5K1vZHAoY bzDFHcPKqTHeDeND+uH+0svm9YziNYzGVuiWCLiN0chtgzyy6wCyRie39eEGE30iMCtX 10NXF8QeNXGIfBSNoOSQgkD0+C3KL9249GYw3ZUTogtTqZpwFrdvwKTQkCH4GxZtWzWP PHxw== X-Gm-Message-State: APt69E0WTG3RR4scqV91p01mxBGlwl8tnfMKlpV3LIdMz2L895Z7h5IZ wabNSjsd7ICWtlJK5Y6OrdWFaXx+FjVzcf9/f5gTGOwd4Tw= X-Google-Smtp-Source: ADUXVKKPgLqNm397opai5L1QTtjr4DpQwSJvPikTmbX8DVFmYQbtIrkyDqtL/X9IlHfcR4N0UdQYWvoXQmdvUDcCxU0= X-Received: by 2002:adf:fa92:: with SMTP id h18-v6mr13874948wrr.258.1528730209352; Mon, 11 Jun 2018 08:16:49 -0700 (PDT) MIME-Version: 1.0 Received: by 2002:a1c:48d6:0:0:0:0:0 with HTTP; Mon, 11 Jun 2018 08:16:48 -0700 (PDT) From: Filip Sieczkowski Date: Mon, 11 Jun 2018 17:16:48 +0200 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="00000000000016109f056e5f3d0a" X-Validation-by: efes@cs.uni.wroc.pl Subject: [Caml-list] HOPE 2018: Deadline extension until June 15th Reply-To: Filip Sieczkowski X-Loop: caml-list@inria.fr X-Sequence: 16936 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: --00000000000016109f056e5f3d0a Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear all, The Workshop on Higher-Order Programming with Effects, colocated with ICFP on September 23rd, hasn't received as many submissions as we would like. We decided to extend the deadline to June 15th, anywhere on earth. submission link: http://icfp-hope18.hotcrp.com/ If you were considering submitting a presentation, you should now have plenty of time to do so -- we ask for a PDF of around 2 pages. If you were not considering a submission, maybe you should! HOPE is an interesting forum to discuss all sorts of problems relevant to the ICFP community, from tackling shared, mutable state in functional languages, to continuations, algebraic effects and more. See the Call for Presentations at https://icfp18.sigplan.org/track/hope-2018-papers#Call-for-Presentations and please write me an email if you have any question. Thanks! =E2=80=94 Filip Sieczkowski --=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= --00000000000016109f056e5f3d0a Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear all,

The Workshop on Higher-Order Programming with Effects, colocated with ICFP<= /div>
on September 23rd, hasn't received as many submissions as we= would like.
We decided to extend the deadline to

=C2=A0 June 15th, anywhere on earth.
=C2=A0 submission link: http://i= cfp-hope18.hotcrp.com/

If you were considering submitting a presentation, you should now have
plenty of time to do so -- we ask for a PDF of around 2 pages.
If you were not considering a submission, maybe you should! HOPE is an
interesting forum to discuss all sorts of problems relevant to the I= CFP community,
from tackling shared, mutable state in functional = languages, to continuations,
algebraic effects and more.

See the Call for Presentations at


and please write me an email if you have any question.

Thanks!

=E2=80=94 Filip Sieczkowski
--00000000000016109f056e5f3d0a--