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 A4229E0130 for ; Tue, 8 Dec 2020 16:55:04 +0100 (CET) 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@smtp1.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.16.143; 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.16.143 as permitted sender) identity=mailfrom; client-ip=131.174.16.143; 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@smtp1.science.ru.nl designates 131.174.16.143 as permitted sender) identity=helo; client-ip=131.174.16.143; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="P.Achten@cs.ru.nl"; x-sender="postmaster@smtp1.science.ru.nl"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3AbW/pBRRZqihxofH36SCwPlH37tpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6yYBGN2/xhgRfzUJnB7Loc0qyK6v+mADNeqsjQ+Fk5M7V0Hycfjs?= =?us-ascii?q?sXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6?= =?us-ascii?q?KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/IAi0oAnLq8Ubg4pvJqkwxxbNv3BFZ/?= =?us-ascii?q?lYyWR0KFyJgh3y/N2w/Jlt8yRRv/Iu6ctNWrjkcqo7ULJVEi0oP3g668P3uxbD?= =?us-ascii?q?SxCP5mYHXWUNjhVIGQnF4wrkUZr3ryD3q/By2CiePc3xULA0RTGv5LplRRP0lC?= =?us-ascii?q?sKMSMy/WfKgcJyka1bugqsqQJ/zYDJY4+bOvRxcazBct0VXmdBQsVcWjZdDo+g?= =?us-ascii?q?YYYCDewMNvtYoYnnoFsOqAOzCxOyC+Pz1DBInGL90LEm3OQhDQHJwgogFM8JvX?= =?us-ascii?q?rOttn4KLsdUeCpzKbWyzXOdO9Z2Szn5IjSbxAtu/eMXbZpfMfX1EIgGB/LgE+K?= =?us-ascii?q?poz5IzOayP4Ns26D4udvVeyil20qpgVvrjWhyMkglpTFipwJxl3Y+ih13pg5KN?= =?us-ascii?q?2lRENmf9KqH5VeuiGVOoV4Q84uX2VltigkxrEavZO2ejUBxpogxx7acfOHco6I?= =?us-ascii?q?7wr/VOafOTd0mm5pdKyiixqo9kig0OL8W8+p21hJtipIisTAu34Q2xDJ98SKSP?= =?us-ascii?q?Rw8l281TuOzQzf9+5JLE4smafYJJMt2L09m5UJvUjdAiP6hV/6gLKXe0k6/OWj?= =?us-ascii?q?9v7pba/8ppCGMo95kgH+Pboqmsy4Gek4KQ0OX3SD+eihzrHj5lH2QLRUgf0wjq?= =?us-ascii?q?bWrorWJd4GpqKjBQ9V1p4v6xe5Dzi4zNQVhWQLIVxYdB6dkoTkOV7DLOrlAfq+?= =?us-ascii?q?mVigjThmyv7eMr3kGJrNL3zDkLn7fbZ67k5R0BA9wcpD6p1ICrEBPOz8Wknqud?= =?us-ascii?q?PEFR81KRa0w/v9BNV70oMSQXiPDbOBMKPOrV+I4foiLPWWa48QvDbxMvwl5//1?= =?us-ascii?q?jX8lglIdZqmo3Z4PaH+iBPhmIkOZYWDtgtgbC2sKsBA+H6TWjwiJWDtXInKzRL?= =?us-ascii?q?4U5zchCYvgA52QaJqqhem50Tu2BNV/bWBaB1bERU+uXo6ER/oKQCmJZNV81DoA?= =?us-ascii?q?A+vyA7Q93A2j4Vepg4FsKfDZr3VB5MDTkeNt7uiWrikcsDl9DsCTyWaIFjkmlX?= =?us-ascii?q?hOXSJw2qQt+BUhmGfG6rBxhrljLfIW/+lAC19oPoWa1fE8DdSgAlucLOfMc06v?= =?us-ascii?q?R5CdOR90Tt81xIVXMV14B837yAvI3iesCLJTjaHNAphmq68=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C4CAD0oM9fl48QroNigQmBUYF5gSRYM?= =?us-ascii?q?i6EPpB7CCWQK4QeBoVsgXsBCgEDAQ0bFAQBAYZKAh4GAQQ2BA0CEAEBBQEBAQI?= =?us-ascii?q?BAwMEARMBAQEBAQEBAQkWBoYRDII3IoM9Bg8BBTAqHAIfBwJsCAEBEIJHSwGDB?= =?us-ascii?q?gSRH5wIgTKJPYFCgQ4qjUOBXD+BOAwDgi1zgQSEB4JKgl8EgVWBUlITfAEMFhh?= =?us-ascii?q?GUYpqhFCWF5IYB4J3iR6MFYYBBSmEUIQhigKBGI4phHiaDYoIh0CEd4FwCoFtM?= =?us-ascii?q?xovgy0JRxkNV41WDAIJFIhOhUVAMzcCBgEJAQEDCYwpYAEB?= X-IPAS-Result: =?us-ascii?q?A0C4CAD0oM9fl48QroNigQmBUYF5gSRYMi6EPpB7CCWQK4Q?= =?us-ascii?q?eBoVsgXsBCgEDAQ0bFAQBAYZKAh4GAQQ2BA0CEAEBBQEBAQIBAwMEARMBAQEBA?= =?us-ascii?q?QEBAQkWBoYRDII3IoM9Bg8BBTAqHAIfBwJsCAEBEIJHSwGDBgSRH5wIgTKJPYF?= =?us-ascii?q?CgQ4qjUOBXD+BOAwDgi1zgQSEB4JKgl8EgVWBUlITfAEMFhhGUYpqhFCWF5IYB?= =?us-ascii?q?4J3iR6MFYYBBSmEUIQhigKBGI4phHiaDYoIh0CEd4FwCoFtMxovgy0JRxkNV41?= =?us-ascii?q?WDAIJFIhOhUVAMzcCBgEJAQEDCYwpYAEB?= X-IronPort-AV: E=Sophos;i="5.78,402,1599516000"; d="scan'208";a="366937497" X-MGA-submission: =?us-ascii?q?MDE3MYrWP1kGQUN/jUFcQyMaySWRKD6Woffu+r?= =?us-ascii?q?vSQmxyRaIbvQi51ynDSac0euQBvvANrqfI0UQr5MKad+MIdzyTHvRK9s?= =?us-ascii?q?5cEr85rMOlAENuba5Qg7r4CVWsPWyQ4euVifL+4jaWckqoeIJo4y2AcO?= =?us-ascii?q?fA9JoIsh8K1PvSvcPJGhyjMw=3D=3D?= Received: from smtp1.science.ru.nl ([131.174.16.143]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 08 Dec 2020 16:55:03 +0100 Received: from [192.168.2.10] (84-84-201-162.fixed.kpn.net [84.84.201.162]) (authen=peter88) by smtp1.science.ru.nl (8.15.2/5.32) with ESMTPSA id 0B8Ft2Go002054 for ; Tue, 8 Dec 2020 16:55:02 +0100 To: caml-list@inria.fr From: Peter Achten Message-ID: Date: Tue, 8 Dec 2020 16:55:02 +0100 User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101 Thunderbird/78.5.1 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Content-Language: en-GB Subject: [Caml-list] [TFP'21] second call for papers: Trends in Functional Programming 2021, 18-19 February (online event with Lambda Days 2021 & TFPIE 2021) -------------------------------------------------------------------------                      Second call for papers         22nd Symposium on Trends in Functional Programming                           tfp2021.org ------------------------------------------------------------------------- Did you miss the deadline to submit a paper to Trends in Functional Programming http://tfp2021.org/? No worries -- it's not too late! Submission is open until January 15th 2021, for a presentation slot at the event and post-symposium reviewing. 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  -- passed -- Submission deadline for draft papers:           15th January, 2021 Symposium dates:                                18-19th February, 2021 Visit http://tfp2021.org/ for more information.