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 B972D5D5 for ; Tue, 14 Jan 2020 15:37:13 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.69,433,1571695200"; d="scan'208";a="431322091" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 14 Jan 2020 16:37:09 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 0609C7F3AB; Tue, 14 Jan 2020 16:37:10 +0100 (CET) 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 1FF597F3D4 for ; Tue, 14 Jan 2020 16:37:01 +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@smtp3.science.ru.nl IronPort-PHdr: =?us-ascii?q?9a23=3AakttABMm3x5mPlpram8l6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0Iv3zrarrMEGX3/hxlliBBdydt6sYzbKO+P2wESxYuNDd6StEKMQNHzY+yu?= =?us-ascii?q?wu1zQ6B8CEDUCpZNXLVAcdWPp4aVl+4nugOlJUEsutL3fbo3m18CJAUk6nbVk9?= =?us-ascii?q?Kev6AJPdgNqq3O6u5ZLTfx9IhD2gar9uMRm6twrcutQZjId4Nqo91hTFr3tLdu?= =?us-ascii?q?9LwW9kOU+fkwzz68ut8pNv6Thct+4k+8VdTaj0YqM0QKBCAj87KW41/srrtRfC?= =?us-ascii?q?TQuL+HQRV3gdnwRLDQbY8hz0R4/9vSTmuOVz3imaJtD2QqsvWTu+9adrSQTnhz?= =?us-ascii?q?kBOjUk7WzYkM1wjKZcoBK8uxxyxpPfbY+JOPZieK7WYNUXTndDUMlMTSxMGoOy?= =?us-ascii?q?YZYRAeQCM+hXoYbyqEcBoxalGQmhB/nixiNUinL436A31fkqHwHc3AwnGtIDqG?= =?us-ascii?q?7ao8vpNKgMS+C+0bXFwinDb/NKxzj97pXDfxc7r/2WQb9/bcrRyVUxGAPDlVif?= =?us-ascii?q?tZflMymP1uQQqWSb6e5gWPuphmU6pQ9xpT2vyd0tionPno8V1l7E9T1nzIopO9?= =?us-ascii?q?G0VFR3Ydm+EJtfry2VK4t2TdkmQ2Ftpik60KYGtYSgfCcUzpks2h3Ra+SffoSV?= =?us-ascii?q?7B/vSfydLSp6iX9qYr6yiQq+/VK9xuD4WMS4yEtGoyVFn9XWq3wByh3e5tKaRv?= =?us-ascii?q?Zy/kqtwyuD2gLX5+xCPEs6j7DUK4Q7zb41jpcTsVrMHivxmEjul6+Wc1kk+vCm?= =?us-ascii?q?5uj9ebXpup6cOJFyig7iLKsigNa/AfkiPggIW2iX4eW81Lv98k3lWLhGk/M7nr?= =?us-ascii?q?TDvJzHJ8kWqbS1DgFJ3oo59hqyCzmr3MwdnXYdLVJFfByHj5LuO1HLOP32F+2z?= =?us-ascii?q?jkiwnzdr2/DJILvhD47RIXjYirvhZ6t951RayAo31dxf/Y5bCqkdIPLvXU/8rM?= =?us-ascii?q?DXAQU8Mwyw2urnDNR91pgCWW+UGa+YMKbSsUeS6e41IumMYpUVuDfnJPQ/6f7u?= =?us-ascii?q?lyxxpVhIdqCs2d4TaWukNvVgOUSQJ3T20fkbFmJfhgciQfaioVaCTTNVLyKKGY?= =?us-ascii?q?s35i02DqqtFsHZW8arhOrSj2+AApRKazUeWRi3GnDyetDcAqZeWGepOsZk1wc8?= =?us-ascii?q?e/2kQo4l2wupsVaimbF8aPDJvCsc58u6iIpFotbLnBR3zgRaStyH2jjVHWpv2H?= =?us-ascii?q?kVATkyjvgm/B5Nj2yb2K09uMR2UNxe4/QTC1UhMILElKphANH/XAnMOM2UDlCi?= =?us-ascii?q?EIyr?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DuIQB33x1efcEeroNlFggBGwyBfYE+A?= =?us-ascii?q?gGBPxNVMiqEDYglhnWDEo5GhBSFYoF6CQEDAQwfEAEBhkAdBgEEOAINAhABAQQ?= =?us-ascii?q?BAQECAQIDBAETAQELFAiFZwyCOyKDJQYPAQUwKhwCHwcCbAgBAYMiAYJ7BAuQF?= =?us-ascii?q?4xyjwKBMokWgT2BDiYDAQGMFoFbP4ERJw+CKHOBBIFHgkuCQ4JeBI1VoWkHgju?= =?us-ascii?q?HPI5rIYM+iyh/iwigAol4ggCBYzMaL0SCbAlHGA1Xh0IgiE+BLYQTQDMBjSABA?= =?us-ascii?q?Q?= X-IPAS-Result: =?us-ascii?q?A0DuIQB33x1efcEeroNlFggBGwyBfYE+AgGBPxNVMiqEDYg?= =?us-ascii?q?lhnWDEo5GhBSFYoF6CQEDAQwfEAEBhkAdBgEEOAINAhABAQQBAQECAQIDBAETA?= =?us-ascii?q?QELFAiFZwyCOyKDJQYPAQUwKhwCHwcCbAgBAYMiAYJ7BAuQF4xyjwKBMokWgT2?= =?us-ascii?q?BDiYDAQGMFoFbP4ERJw+CKHOBBIFHgkuCQ4JeBI1VoWkHgjuHPI5rIYM+iyh/i?= =?us-ascii?q?wigAol4ggCBYzMaL0SCbAlHGA1Xh0IgiE+BLYQTQDMBjSABAQ?= X-IronPort-AV: E=Sophos;i="5.69,433,1571695200"; d="scan'208";a="335791041" X-MGA-submission: =?us-ascii?q?MDHNLlfHxcxweJ0ioeicZvJTwKLPQCUSuOL/cd?= =?us-ascii?q?MTL9VOu9ejUOaZZ0yDU/9/Z6/qLxCsUs8aQgaIkKnQ9fJpo+pZ5SGmfm?= =?us-ascii?q?l17TH+jOYfaM5nNIQGcRy3xtbcV22d+JkROt0yW1yZg+G0/FX6tObmbL?= =?us-ascii?q?LJAPQ/0HjdwgtjDXxJTJtOAA=3D=3D?= Received: from smtp3.science.ru.nl ([131.174.30.193]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-GCM-SHA256; 14 Jan 2020 16:37:00 +0100 Received: from [145.116.145.179] (ip-145-116-145-179.wlan-int.ru.nl [145.116.145.179]) (authen=peter88) by smtp3.science.ru.nl (8.15.2/5.32) with ESMTPSA id 00EFb02o016526 for ; Tue, 14 Jan 2020 16:37:00 +0100 From: Peter Achten To: caml-list@inria.fr Message-ID: Date: Tue, 14 Jan 2020 16:36:59 +0100 User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:68.0) Gecko/20100101 Thunderbird/68.3.1 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'20] call for participation: Trends in Functional Programming 2020, 13-14 February, Krakow, Poland Reply-To: Peter Achten X-Loop: caml-list@inria.fr X-Sequence: 17953 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: -------------------------------------------------------------------------                     Call for participation         21st Symposium on Trends in Functional Programming                           tfp2020.org ------------------------------------------------------------------------- The list of accepted papers is available at http://www.cse.chalmers.se/~rjmh/tfp/ 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 is moving to new winter dates, to provide an FP forum in between the   annual ICFP events. * 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. * This year we are particularly excited to co-locate 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. TFP will be held in the same venue, and participants will be able   to session-hop between the two events. Important Dates --------------- Submission deadline for pre-symposium review:   15th November,    2019  -- passed -- Submission deadline for draft papers:           10th January,     2020  -- passed -- Registration (regular):                         2nd February,    2020 Registration (late):                            13th February,    2020 Symposium dates:                                13-14th February, 2020 Visit tfp2020.org for more information.