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 sympa.inria.fr (Postfix) with ESMTPS id D4A677ED20 for ; Tue, 26 Nov 2019 10:27:22 +0100 (CET) Authentication-Results: mail2-smtp-roc.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 Received-SPF: None (mail2-smtp-roc.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=mail2-smtp-roc.national.inria.fr; envelope-from="P.Achten@cs.ru.nl"; x-sender="P.Achten@cs.ru.nl"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.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=mail2-smtp-roc.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: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@smtp1.science.ru.nl) identity=helo; client-ip=131.174.16.143; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="P.Achten@cs.ru.nl"; x-sender="postmaster@smtp1.science.ru.nl"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AGkye2BzH/fl38nXXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2+sVIJqq85mqBkHD//Il1AaPAdyArasa0KGO6OjJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fcbglVijexe65+IRS4oAneqsUbj5ZpJ7osxBfOvnZGYf?= =?us-ascii?q?ldy3lyJVKUkRb858Ow84Bm/i9Npf8v9NNOXLvjcaggQrNWEDopM2Yu5M32rhbD?= =?us-ascii?q?VheA5mEdUmoNjBVFBRXO4QzgUZfwtiv6sfd92DWfMMbrQ704RSiu4qF2QxDviC?= =?us-ascii?q?kKOCI1/WLOhsF/g69QvRatqhJjz4LIZY2YMud1cKHActMAXWdPQMZfWTFCDI2y?= =?us-ascii?q?YYQAAPYOM+lDoonhpFYDtweyCRWiCe7tzDJDm3/43bc90+QkCQzIxhIvH84Qv3?= =?us-ascii?q?TOsd74KLsdUeCpzKbWyzXIcvRb1y3n5IXUbh8hoe2MUqx2ccfK1UYvDBnJjk+N?= =?us-ascii?q?qYD/OTOV0v0Avm6G5ORuUuKvjnQoqwB3ojW32scshJHJipwJxlza6Sl12oE1Jc?= =?us-ascii?q?e3SEJjfdGkEIFftyWfN4RoWMMiWHtkuD0kxbAApJW1fzAKxYw6yxPRdvCLaZWE?= =?us-ascii?q?7xDsWeqLPDt1hWhpdK+wihu86USs1+LxW8mu3FpXsyZIk8PAum0C2hHS8MSKSf?= =?us-ascii?q?hw80G80jiVzQ/T8PtLIUUsmKrbNZEhxrkwm4IIsUTGAi/2gFj6gLWNdko4++in?= =?us-ascii?q?9eLnban4qZOGLY90lxvyMqIqmsCnAOQ4NBYBX3SD9Oih2rDv4Ff1TKhIg/A5iK?= =?us-ascii?q?XVrZHXKd4GqqO2DQJZyoMj5Ay+Dzei3tQYh34HLFdddRydlYTkJ03BIPDkDfih?= =?us-ascii?q?hVShiytkx+vcMr37H5XBNH7DkLP5cbZn90Fc0BYzzcxY559MFr4OOvfzWkvouN?= =?us-ascii?q?zcDx85KBC0zv38CNR904MeQXiADrWYMKPUq1+I5/ggL/OCZI8P637BLK0u7vvq?= =?us-ascii?q?yHs4gkM1fK+z3JJRZmrrMO5hJhChbGbhmJ8oGmcWswx2GNSsoVaCTTNVT32pGb?= =?us-ascii?q?ghoDc/XtH1RbzfT5yg1eXSlBywGYdbMzseUgnRQ0etTJ2NXrI3UAzXIsJllWZd?= =?us-ascii?q?B6OkV5d4kwqltQL8wLchNPeS/ClK7cu/hugw3PXakFQJzRIxF96UijnfRHoyhH?= =?us-ascii?q?5OQTtkhPku83w48U+K1O1Du9IdENVS4/1TVQJjbczX1KpgFpb0XlCYcw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D2XgCa79xdl48QroNlFoIwgTUCATqBB?= =?us-ascii?q?RNVMiqEK48FgxKOP4QRhWKBegkBAwEMHxABAYZyHAcBBDYEDQIQAQEEAQEBAgE?= =?us-ascii?q?CAwQBEwEBAQEBCBYGhWcMgkcBBAEBAQEDAwMBAQwBgw4GDwEFMCocAh8HAmwIA?= =?us-ascii?q?QGCU0sBgncEC5V9m3OBMokRgUiBDiYDAQGME4FaP4ERJw+CKAeBcIFHgkuCQ4J?= =?us-ascii?q?eBI0ooQwHgi+HHY4zIYMyiw59imCXBIgoiVaBbAWBcjMaL4MwCUcRFFeFfQwCC?= =?us-ascii?q?RWIT4EthBNAM49gAQE?= X-IPAS-Result: =?us-ascii?q?A0D2XgCa79xdl48QroNlFoIwgTUCATqBBRNVMiqEK48FgxK?= =?us-ascii?q?OP4QRhWKBegkBAwEMHxABAYZyHAcBBDYEDQIQAQEEAQEBAgECAwQBEwEBAQEBC?= =?us-ascii?q?BYGhWcMgkcBBAEBAQEDAwMBAQwBgw4GDwEFMCocAh8HAmwIAQGCU0sBgncEC5V?= =?us-ascii?q?9m3OBMokRgUiBDiYDAQGME4FaP4ERJw+CKAeBcIFHgkuCQ4JeBI0ooQwHgi+HH?= =?us-ascii?q?Y4zIYMyiw59imCXBIgoiVaBbAWBcjMaL4MwCUcRFFeFfQwCCRWIT4EthBNAM49?= =?us-ascii?q?gAQE?= X-Spam-Status: Yes X-IronPort-AV: E=Sophos;i="5.69,245,1571695200"; d="scan'208";a="413517458" X-MGA-submission: =?us-ascii?q?MDE5JVPELDm4GqpG3SBXq6Yvxu3XhLlZq4JbDl?= =?us-ascii?q?rXtvRig+WTk4AEaYLqBefYUOgQfdhqOOqc6BbyWq/YmlPBjoCw4hz7W7?= =?us-ascii?q?SJKrHgym3Z814sZuO7RsNBP/rN1+SE3qg2/IhPmvuatsbPeipyKiCvdl?= =?us-ascii?q?sGCXYFAyeWKOE8m7Ii/mc1og=3D=3D?= Received: from smtp1.science.ru.nl ([131.174.16.143]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-GCM-SHA256; 26 Nov 2019 10:27:05 +0100 Received: from [145.116.146.88] (ip-145-116-146-88.wlan-int.ru.nl [145.116.146.88]) (authen=peter88) by smtp1.science.ru.nl (8.15.2/5.32) with ESMTPSA id xAQ9R5LC029229 for ; Tue, 26 Nov 2019 10:27:05 +0100 To: caml-list@inria.fr From: Peter Achten Message-ID: Date: Tue, 26 Nov 2019 10:27:07 +0100 User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:60.0) Gecko/20100101 Thunderbird/60.9.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] draft paper deadline open (January 10 2020) Trends in Functional Programming 2020, 13-14 February, Krakow, Poland -------------------------------------------------------------------------                      Third call for papers         21st Symposium on Trends in Functional Programming                           tfp2020.org ------------------------------------------------------------------------- Did you miss the deadline to submit a paper to Trends in Functional Programming http://cse.chalmers.se/~rjmh/tfp/? No worries -- it's not too late! Submission is open until January 10th 2020, 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 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 Symposium dates:                                13-14th February, 2020 Visit tfp2020.org for more information.