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 88D3F1E5 for ; Thu, 15 Aug 2019 11:19:32 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,389,1559512800"; d="scan'208";a="395481082" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 15 Aug 2019 13:19:31 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 7FD9F7EF0B; Thu, 15 Aug 2019 13:19:31 +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 29B077EF07 for ; Thu, 15 Aug 2019 13:19:25 +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=None smtp.helo=postmaster@smtp1.science.ru.nl IronPort-PHdr: =?us-ascii?q?9a23=3AwMhHvBNB27735im0054l6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0Lfr6rarrMEGX3/hxlliBBdydt6sezbON6uu7BiQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9HiTagf79+Ngi6oAvMusUZj4ZvKLs6xwfUrHdPZ+?= =?us-ascii?q?lY335jK0iJnxb76Mew/Zpj/DpVtvk86cNOUrj0crohQ7BAAzsoL2465MvwtRne?= =?us-ascii?q?VgSP/WcTUn8XkhVTHQfI6gzxU4rrvSv7sup93zSaPdHzQLspVzmu87tnRRn1gy?= =?us-ascii?q?oBKjU38nzYitZogaxFoByvuh9xzYDab46aKPVwcbjQfc8ZSGdbQspdSyJMD4G6?= =?us-ascii?q?YoASD+QBJ+FYr4zlqlUUsxS+GRejBPnywTJUmnD23bE63PonEQrb2wEuBcgCvW?= =?us-ascii?q?jIo9X1KKcdT+a1wbLUwjXYdf9Wwyr95JLOchAluPyBW697f8TWyUkqDQzFj1OQ?= =?us-ascii?q?pJT5PzObzuQBrXSX4/R8We61jG4nsQ5xrz6yzckvkonEnp8Zx17Z+Slj3Yo4J9?= =?us-ascii?q?K1RFRmbdOlCpdcqi6XOoVuTs8/TWxkpTw2xqAEtJO0ZiQG1ZsqywDFZ/Cac4WF?= =?us-ascii?q?4RTuX/uLLzhinnJqYre/ig6y8Ue+zu38UdG50E1PripZitnAq2oB1wfP5ciGVP?= =?us-ascii?q?R9+Fuu1iiV2wDJ9+FIO0Y0la7DJ54gxL4/iIYTvFzeEiL4hUn6lrKae0cr9+Sy?= =?us-ascii?q?9ujqY6/qqoKTOoJ6kg3+N74hms27AeQ2KAgOWG2b9Pym2rH54UD2XLVKjuEona?= =?us-ascii?q?nfq53VOd8bqrSjAw9IyIoj7RK/Ay+80NsEhXkHME5FeBWfgof1IV7OJfT4Ae67?= =?us-ascii?q?g1Stizdr2+vLPqbhA5XINnjMiq3tfbd7605GyQo818pT55xOCuJJHPWmUUb0sJ?= =?us-ascii?q?ncDwQlGw2y2efuTttnha0EXmfaOqKFPbmamFSI+u8pa720IqYeuCrwLdAu/Lj0?= =?us-ascii?q?kDk/nQlOLuGSwZILZSXgTbxdKEKDbC+024ZTISIxpgM7CdfSphiHWD9XaWy1Wv?= =?us-ascii?q?tktDogTpi7S4HHFNn03O6xmRyjF5gTXVhoT0iWGC6wJY6fHe0RLiSWcJc4z240?= =?us-ascii?q?EIO5Qopk7imA8Q/3z709d7jP/zEA7NT439l44ebe0wsvszpwXZyQ?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ChIQDKPlVdfY8QroNlhQoUUjIqhB+PD?= =?us-ascii?q?IFiCIEjji+ECYdWCQEDAQwbFAEBh1QbBwEENBMCBAEBBAEBAQQBAwMEARMBAQs?= =?us-ascii?q?UCIVXDII6IoMSBg8BBTAqHAIfBwJsCAEBgx4BggqOKptugTKIcoFJgQwoi2mBV?= =?us-ascii?q?z+BEScMgipzgQSEDYI+glgEjDqfEwcCgh+GZI1JIYMdijJ6iXWdDYh2gWeBeTM?= =?us-ascii?q?aL4MwCYFBgRAgiE6FQT0zjykBAQ?= X-IPAS-Result: =?us-ascii?q?A0ChIQDKPlVdfY8QroNlhQoUUjIqhB+PDIFiCIEjji+ECYd?= =?us-ascii?q?WCQEDAQwbFAEBh1QbBwEENBMCBAEBBAEBAQQBAwMEARMBAQsUCIVXDII6IoMSB?= =?us-ascii?q?g8BBTAqHAIfBwJsCAEBgx4BggqOKptugTKIcoFJgQwoi2mBVz+BEScMgipzgQS?= =?us-ascii?q?EDYI+glgEjDqfEwcCgh+GZI1JIYMdijJ6iXWdDYh2gWeBeTMaL4MwCYFBgRAgi?= =?us-ascii?q?E6FQT0zjykBAQ?= X-IronPort-AV: E=Sophos;i="5.64,389,1559512800"; d="scan'208";a="316438145" X-MGA-submission: =?us-ascii?q?MDEyJnuKK3G/dt257znjMYNQcoZFIGWxeW2f1x?= =?us-ascii?q?5V+gN28BYjFqltUdp0xz8FzlDEoVWJ10xBkc6Mu7zbNQFCm97nAdNnUO?= =?us-ascii?q?uAHZ5zURypgFsk+fj7zHP5tPHRi/giWIF0ZWe9ycI7KMIll7njxU5ZPV?= =?us-ascii?q?WMhe8cSElguOeVs7JvbEfIAw=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; 15 Aug 2019 13:19:24 +0200 Received: from [131.174.142.158] (n142158.science.ru.nl [131.174.142.158]) (authen=peter88) by smtp1.science.ru.nl (8.14.4/5.32) with ESMTP id x7FBJMbM005834 for ; Thu, 15 Aug 2019 13:19:23 +0200 To: caml-list@inria.fr From: Peter Achten Message-ID: Date: Thu, 15 Aug 2019 13:19:22 +0200 User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:60.0) Gecko/20100101 Thunderbird/60.8.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'20] first call for papers: Trends in Functional Programming 2020, 13-14 February, Krakow, Poland Reply-To: Peter Achten X-Loop: caml-list@inria.fr X-Sequence: 17771 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: -------------------------------------------------------------------------                      First call for papers         21st Symposium on Trends in Functional Programming                           tfp2020.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 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 Submission deadline for draft papers:           10th January, 2020 Symposium dates:                                13-14th February, 2020 Visit tfp2020.org for more information.