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 DCB8E8250A for ; Tue, 30 Oct 2018 02:55:57 +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-ot1-f45.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.210.45; 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.210.45 as permitted sender) identity=mailfrom; client-ip=209.85.210.45; 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-ot1-f45.google.com) identity=helo; client-ip=209.85.210.45; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="icfp.publicity@googlemail.com"; x-sender="postmaster@mail-ot1-f45.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A3eS0hRLyAN/mpxPV0tmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgeLPjxwZ3uMQTl6Ol3ixeRBMOHs60C07KempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9JDffwdFiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+?= =?us-ascii?q?RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLd?= =?us-ascii?q?QgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QLYpUjqg8qhrUgflhi?= =?us-ascii?q?cJOTAn82/Zl8N/g75Urh+6uxx/2pTZbJ2JOPZifK7Qe84RS2pbXsZWUixMGp6y?= =?us-ascii?q?YJEKD+EcI+hYqJLyp1oIrRenBwesA//gyj9Thn/qx6I1zvghGhzB0QwhA90Ovm?= =?us-ascii?q?zUoM/tNKcPSu+1yKjIwinCb/NK2Tbw84fIchcmofGDWbJ/b8/RxlMuFwPBlFmf?= =?us-ascii?q?tYvlPzaM2+kLrmOV4e1gVee1hG4mrQF8uiOvxsYjionRgoIa0FbE+T9+wIYvKt?= =?us-ascii?q?20UE97bsKqEJtIqy6aMI12Qs08TGFypik6zKEJtoChcCgN0pQnyBjSYOGEfYiQ?= =?us-ascii?q?+h/vSvqdLDNiiH9meL+znQi+/VW8xuHmWcS50E5GoytGn9XWuX0A1wbf58qZRv?= =?us-ascii?q?dn40us1iqD2gbO4e9eO080j7DUK5s5z74wiJUTtUPDEzfzmErsja+Wclwo+u+0?= =?us-ascii?q?6+j6e7nmqJCROo9uhgHxNaQuncO/AeAmPQQUQ2eb/uG82KXi/U3/XrpKkuU7nr?= =?us-ascii?q?fFvJ3eP8gWpa60DxVL3oo+9xqzFTir3dQAkXkCNl1FeRaHj4bzO1HJJfD1Ffa/?= =?us-ascii?q?jEiikDdz3fzGJqDhDY7JLnjCjLjhfKp96k5HxQo8ytBf4J1UCrUfL/L2QEDxtd?= =?us-ascii?q?jYAgUlPAyzxubrEM992Z8GWWKTHq+ZN7vfvkOS6eIqJ+mAfYsVuDfmK/g5/PPu?= =?us-ascii?q?ln84mVoFfaazx5cXaXa4Hu5nI0qDe3bsjM0BQi82uV81RenuzVmDSiJ7ZnCoXq?= =?us-ascii?q?t66CtoJpihCNL4T4XlvLuL3SH+PppdZntaA1yQWSPpfIucHe8RYiaTKc59gxQL?= =?us-ascii?q?Ur+uT4Ik3BCq8gT9zuw0faLv5iQEuMe7h5BO7OrJmERqrG0mP4Gmy2iIClpMsC?= =?us-ascii?q?YNTj4y0rp4pBUjmFiE1qd8jvlRFNgV7PRMAF5jaczsitdiAtW3YTrvO8+TQQ/4?= =?us-ascii?q?ENqhBj41Q9c4wttIaEF4SY3700LzmhGyCrpQrISlQZw59qWGgir0Lsd5jnHaje?= =?us-ascii?q?wv0wRgTcxIOmmrwKV48lqLCg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CBAAAVuddbhi3SVdFkHAEBAQQBAQcEA?= =?us-ascii?q?QGBVAQBAQsBgVqBBAyBJ4N1iHeLOlABAQaBN5cygRADUwsBAQUeCYN6g3UZBwE?= =?us-ascii?q?EMwoNAQMBAQIBAQEBARMBAQEICwsIKSMMgjYigwYGHQEnEgMSHwImAjYBBQE1C?= =?us-ascii?q?YJNSwGBaAEDCA0Pnhw8iwyBLoJ3BYQ3CkANghACBgkBCHmKXIEQgQeBEYYigTs?= =?us-ascii?q?BEgFsgjeCVwKIaRKWDgcChmqKGhiBUoR3gmeHF4xwigUCBAIEBQIFDyGBOIEGc?= =?us-ascii?q?TQZI4MIATMJghEag1GFFIU9HVMBgQOJY4I+AQE?= X-IPAS-Result: =?us-ascii?q?A0CBAAAVuddbhi3SVdFkHAEBAQQBAQcEAQGBVAQBAQsBgVq?= =?us-ascii?q?BBAyBJ4N1iHeLOlABAQaBN5cygRADUwsBAQUeCYN6g3UZBwEEMwoNAQMBAQIBA?= =?us-ascii?q?QEBARMBAQEICwsIKSMMgjYigwYGHQEnEgMSHwImAjYBBQE1CYJNSwGBaAEDCA0?= =?us-ascii?q?Pnhw8iwyBLoJ3BYQ3CkANghACBgkBCHmKXIEQgQeBEYYigTsBEgFsgjeCVwKIa?= =?us-ascii?q?RKWDgcChmqKGhiBUoR3gmeHF4xwigUCBAIEBQIFDyGBOIEGcTQZI4MIATMJghE?= =?us-ascii?q?ag1GFFIU9HVMBgQOJY4I+AQE?= X-IronPort-AV: E=Sophos;i="5.54,442,1534802400"; d="scan'208";a="283765125" Received: from mail-ot1-f45.google.com ([209.85.210.45]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 30 Oct 2018 02:55:56 +0100 Received: by mail-ot1-f45.google.com with SMTP id q5so4157092otl.13 for ; Mon, 29 Oct 2018 18:55:56 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20161025; h=from:date:to:message-id:subject:mime-version :content-transfer-encoding; bh=h3zySlA2oupXTRjwPvmgmjT6qH6hxvv0887/opgs0mk=; b=kH+aJrQPiZw5quz6hfOb9XyGqI/sTinNL/WhzDf79TDMtRUSqMYtKwvzeeY1X7SXzD SSSW2eRbDvx1h+tadsIGtZDyuRdhIRrgPHpBb+46bEpFyP5KC0kOqB0s1ooXkR1erZyf JHiHefcDPrsVIRlODfnH99toCdABMtGgYD9bta2nn8V2xpWEImdl5+PMVB5a03hkbdA4 DJE9Jhzvzwpq3nBwjQEtD2vwVTcWNvZyz2kU0C6dBOuqvfx3+rzZoq9eS+bSP2974l9X 64qvwWnV45/rNJP+80/G/KZeOPlEjVvRv18vuEGvv+IVHnp5km8QhsKbZI7nYNS/Z1xw 6+Lg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:date:to:message-id:subject:mime-version :content-transfer-encoding; bh=h3zySlA2oupXTRjwPvmgmjT6qH6hxvv0887/opgs0mk=; b=WsCP81pkvgXJM1Q4p4mqbxxrweH3j/11G74a46m8hWaFUIbSTFKoT3FE5NY9wFrlwk YcYogxJ25xtSEh0hT/gf17r1o9JjHMEjUzOifdQg1EeAqBWLooK5YayT34UIUU1EP92d rmP4bNewLNl5THBF5oewUvb1iTuaWen/adhvr2HD+lRpdtmxqeVAjUd9yDsWFs/47Nx8 AsoRHHr46MrXXiU2FW4KNfim2e3uJBVeveLt6+ATSHz7ETlZrSAEprg3ZQPDvJt1wrJD x4IrIS24Con154On1W2hZE1Ne+uRc4Ue2ZTeBxOh6kLd5qOeUm+NRQMjtSXJsX+tt6CO jBnw== X-Gm-Message-State: AGRZ1gJYohtPBZORV5cH/YNI6/uXdGzxmtfvYRw/hcXSL3YLhNSa0kuQ 0tEjM1llL3ZgHkD2lfCACN/avRKjoXY= X-Google-Smtp-Source: AJdET5cg/Ja2VWxhxRyZIAAwljkd3QGUf21RV8vI8cMtkWlXE+9JaSTH8sCE2xpUzf6pwOCAz/rlpg== X-Received: by 2002:a9d:60cf:: with SMTP id b15mr3349418otk.144.1540864555034; Mon, 29 Oct 2018 18:55:55 -0700 (PDT) Received: from icfp.publicity (c-68-45-72-140.hsd1.in.comcast.net. [68.45.72.140]) by smtp.gmail.com with ESMTPSA id 30sm7492845otr.52.2018.10.29.18.55.54 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 29 Oct 2018 18:55:54 -0700 (PDT) From: Sam Tobin-Hochstadt X-Google-Original-From: Sam Tobin-Hochstadt Date: Mon, 29 Oct 2018 21:55:54 -0400 To: caml-list@inria.fr Message-ID: <5bd7ba2a3b1e5_407e12270d0614b4@hermes.mail> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] Call For Workshop Proposals CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS ICFP 2019 24th ACM SIGPLAN International Conference on Functional Programming August 18 - 23, 2019=20 Berlin, Germany https://icfp19.sigplan.org/ The 24th ACM SIGPLAN International Conference on Functional Programming will be held in Berlin, Germany on August 18-23, 2019. ICFP provides a forum for researchers and developers to hear about the=20 latest work on the design, implementations, principles, and uses of=20 functional programming. Proposals are invited for workshops (and other co-located events, such as symposiums) to be affiliated with ICFP 2019 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 August 18th (the day before ICFP) and 22-23th of August (the two days after ICFP). ---------------------------------------------------------------------- Submission details Deadline for submission: November 25, 2018 Notification of acceptance: December 23, 2018 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 2019 workshop co-chairs (Jennifer Hackett and Christophe Scholliers), via email to icfp-workshops-2019@googlegroups.com by November 25, 2018. (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 23, 2018, 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/icfp2019-files/icfp19-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 2019 organizing committee, together with the members of the SIGPLAN executive committee. Workshop Co-Chair: Jennifer Hackett (University of Nottingham) Workshop Co-Chair: Christophe Scholliers (University of Ghent) General Chair: Derek Dreyer (MPI-SWS)=20 Program Chair: Fran=C3=A7ois Potier (Inria) ---------------------------------------------------------------------- Further information Any queries should be addressed to the workshop co-chairs (Jennifer=20 Hackett and Christophe Scholliers), via email to=20 icfp-workshops-2019@googlegroups.com