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 4EC56E00E5 for ; Tue, 29 Sep 2020 15:42:14 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=P.Achten@cs.ru.nl; spf=Pass smtp.mailfrom=P.Achten@cs.ru.nl; spf=Pass smtp.helo=postmaster@smtp3.science.ru.nl Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of P.Achten@cs.ru.nl) identity=pra; client-ip=131.174.30.193; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="P.Achten@cs.ru.nl"; x-sender="P.Achten@cs.ru.nl"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of P.Achten@cs.ru.nl designates 131.174.30.193 as permitted sender) identity=mailfrom; client-ip=131.174.30.193; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="P.Achten@cs.ru.nl"; x-sender="P.Achten@cs.ru.nl"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@smtp3.science.ru.nl designates 131.174.30.193 as permitted sender) identity=helo; client-ip=131.174.30.193; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="P.Achten@cs.ru.nl"; x-sender="postmaster@smtp3.science.ru.nl"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3AGeZVBRwZIm9dDLrXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2+4UIJqq85mqBkHD//Il1AaPAdyEragUwLSJ+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZLebxhKiTanf79/Lxq6oATTu8ILnYZsN6E9xwfTrHBVYe?= =?us-ascii?q?pW32RoJVySnxb4+Mi9+YNo/jpTtfw86cNOSL32cKskQ7NWCjQmKH0169bwtRbf?= =?us-ascii?q?VwuP52ATXXsQnxFVHgXK9hD6XpP2sivnqupw3TSRMMPqQbwoXzmp8qFmQwLqhi?= =?us-ascii?q?gaLT406H/ZhMxtgqxYrhyuqRNwzJLbboyOKPpzfbnQcc8GSWdPXMtcUTFKDIOm?= =?us-ascii?q?b4sICuoMJfxWoJfhp1QQtxu1GBWhC//vyj9UmHD227Ax3uM7Hw3cwAEvA9IOsG?= =?us-ascii?q?jKo9XzL6odTfu1wLPSzTXedf9W3zP95ZHOfxs8rv6CQah+ftDNyUkzCQzFlFOQ?= =?us-ascii?q?pJTqMj2VyukAsGyW4/RuWOyhl2Irth99riSzy8ojlIXFmIIYxk3Z+Clnz4g7K9?= =?us-ascii?q?21RUF1b9OlDJddsy+UO5VqTs4mRWxjpSg0yroDuZGhfSgKzowqxwLRa/yfbYSE?= =?us-ascii?q?/gzvWPuLLTd/nnJld7SyjAux/0i40uDwS8e53EtQoiZYkNTBuWoB2hLP5sSdV/?= =?us-ascii?q?dw+kms1S6M2g3c8O1JIk85mbDFJ5I937I8jIcfvEXdEiLwhU74lrWZdl8+9eit?= =?us-ascii?q?8+nnYqvpppubN4JskQH+N7gumtSxDOgiKQgBQ2mb9vq61LL/40L1Wq9KjuAsnq?= =?us-ascii?q?nftJDWPcUbpqinDA9Jyosv9hiyAyq83NgFn3QKI0hJdRybg4TzJl3DJP71Ae+6?= =?us-ascii?q?g1u2kTdrw/7GPqfmApXINnXNiq3tcKph5E5c1Ao809Zf6olIBbEaOv7zQFLxuM?= =?us-ascii?q?beDh89KwC02froCM1h1oMCXmKCGrOWP7nXsV+M/+4vJ+iMZJQJuDvmMPgk5/vu?= =?us-ascii?q?jWcjllMHfKmp24EXaHGiEfh8LUWZeymkvtBUGm4Puk86Tff2oFyESz9aIXioDI?= =?us-ascii?q?wm4TRuMI+6AJ2Lb4utnLGHlHODWLRdZnxLDHiHCjHyasOCX6FfO2qpPsZ9n2lc?= =?us-ascii?q?BvCaQIg72ET27V6o+/9cNuPRvxYgm9fm3dlx6ffUkEhqpzdvSd6AlWeJHTgtwj?= =?us-ascii?q?E4AgQu1aU6mnRTj0+Z2PEg0fdDU8ZOofVNAF9jaMzsitdiAtW3YTrvO9eETFH8?= =?us-ascii?q?G4e9BC0pFZQqyN4DZU1wXc+/yBbHjXOn?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BMBgBVOXNfl8EeroNggQmBUYF5gQoVV?= =?us-ascii?q?jIshD2IJIh0kEmKC4F8CwEDAQ0bFAQBAYZ8Ah4GAQQ4Ag0CEAEBBQEBAQIBAwM?= =?us-ascii?q?EARMBAQEBAQgWBoYMDII3IoM9Bg8BBTAqHAIfBwJsCAEBEIJHSwGCfASZIpt7g?= =?us-ascii?q?TKIeoFCgQ4rjS2BXD+BOA+CJXOBBIQGgkqCYASLVoQ9py8HgmqIe4tphWcFKYQ?= =?us-ascii?q?1jWiBE41jp2KLXYICgWMzGi+DLQlHGQ1XjWACHYhOhUQ/MzcCBgEJAQEDCY4OY?= =?us-ascii?q?AEB?= X-IPAS-Result: =?us-ascii?q?A0BMBgBVOXNfl8EeroNggQmBUYF5gQoVVjIshD2IJIh0kEm?= =?us-ascii?q?KC4F8CwEDAQ0bFAQBAYZ8Ah4GAQQ4Ag0CEAEBBQEBAQIBAwMEARMBAQEBAQgWB?= =?us-ascii?q?oYMDII3IoM9Bg8BBTAqHAIfBwJsCAEBEIJHSwGCfASZIpt7gTKIeoFCgQ4rjS2?= =?us-ascii?q?BXD+BOA+CJXOBBIQGgkqCYASLVoQ9py8HgmqIe4tphWcFKYQ1jWiBE41jp2KLX?= =?us-ascii?q?YICgWMzGi+DLQlHGQ1XjWACHYhOhUQ/MzcCBgEJAQEDCY4OYAEB?= X-IronPort-AV: E=Sophos;i="5.77,318,1596492000"; d="scan'208";a="360356374" X-MGA-submission: =?us-ascii?q?MDFJmpyO/H9rssVwSebs7806+QAmA1bC4ibqk3?= =?us-ascii?q?/i9HiAbeORneG3LgA3mb6/jZbClMEDDJ7cIuEmg7eCwfPCDvmvygFo4I?= =?us-ascii?q?pbRy7+isMDOtjtH0llfjHy0jsFzZmP0zbdo0nJ40CuDQmC2nSdI05GBy?= =?us-ascii?q?fpeqD4hijremnzqlQs24s8Bg=3D=3D?= Received: from smtp3.science.ru.nl ([131.174.30.193]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 29 Sep 2020 15:41:24 +0200 Received: from [192.168.2.146] (84-84-201-162.fixed.kpn.net [84.84.201.162]) (authen=peter88) by smtp3.science.ru.nl (8.15.2/5.32) with ESMTPSA id 08TDfOUw027522 for ; Tue, 29 Sep 2020 15:41:24 +0200 To: caml-list@inria.fr From: Peter Achten Message-ID: Date: Tue, 29 Sep 2020 15:41:23 +0200 User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101 Thunderbird/78.3.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Content-Language: en-US Subject: [Caml-list] [TFP'21] first call for papers: Trends in Functional Programming 2021, 17-19 February (with Lambda Days 2021 & TFPIE 2021) -------------------------------------------------------------------------                      First call for papers         22nd Symposium on Trends in Functional Programming                           tfp2021.org ------------------------------------------------------------------------- The symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions. * TFP offers a supportive reviewing process designed to help less experienced   authors succeed, with two rounds of review, both before and after the   symposium itself. Authors have an opportunity to address reviewers' concerns   before final decisions on publication in the proceedings. * TFP offers two "best paper" awards, the John McCarthy award for best paper,   and the David Turner award for best student paper. * TFP is co-located with Lambda Days in beautiful Krakow. Lambda Days is a   vibrant developer conference with hundreds of attendees and a lively programme   of talks on functional programming in practice. Due to the covid pandemic,   the event is online with a lot of attention to interaction and getting to   socialize with the community. Important Dates --------------- Submission deadline for pre-symposium review:     20th November, 2020 Submission deadline for draft papers:             15th January, 2021 Symposium dates:                                  17-19th February, 2021 * We strongly encourage authors to submit their work for the first deadline.   Authors whose papers are accepted for presentation, but not immediately for the   proceedings in this first round, will have almost two months to address the   reviewers' concerns. Papers submitted for the first deadline will also have   priority for the presentation slots at the symposium. Visit tfp2021.org for more information.