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 791CD5D5 for ; Fri, 22 Jan 2021 13:48:53 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.79,366,1602540000"; d="scan'208";a="488528823" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 22 Jan 2021 14:48:51 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 6D9B7E013D; Fri, 22 Jan 2021 14:48:51 +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 054F8E00C7 for ; Fri, 22 Jan 2021 14:48:49 +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@smtp2.science.ru.nl IronPort-PHdr: =?us-ascii?q?9a23=3AvIpxQhVq/ebMbdd/vQ6cAy1NGg/V8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbRaHt8tkgFKBZ4jH8fUM07OQ7/mxHzVeqsvb+DBaKdoQDkBD0Z?= =?us-ascii?q?1X1yUbQ+e9QXXhK/DrayFoVO9jb3RCu0+BDE5OBczlbEfTqHDhpRQbGxH4KBYn?= =?us-ascii?q?br+tQt2agMu4zf299IPOaAtUmjW9falyLBKrpgnNq8Uam4RvJrs1xxfTv3dFeu?= =?us-ascii?q?tayGN2KVmOmxrw+tq88IRs/ihNuf8t7dJMXbn/c68lUbFWETMqPnwv6sb2rxfD?= =?us-ascii?q?VwyP5nUdUmUSjBVFBhXO4Q/5UJnsrCb0r/Jx1yaGM8L4S7A0Qimi4LxwSBD0ki?= =?us-ascii?q?cHNiU2/3/Rh8dtka9UuhOhpxh4w47JfIGYMed1c63Bcd8GQ2dKQ8BcXDFDDIyh?= =?us-ascii?q?dYsCF/QPM+ZFoYf+qVUBoxSxChWjCu701j9FhWX70bEm3+kvEwzL2hErEdIUsH?= =?us-ascii?q?TTqdX4LL0cXv6pzKbW1zXIcu9b1iv96IjUbB8hp+yHULVqf8bL1UQgCwPFjkmO?= =?us-ascii?q?pozjJD6ayv8Nv3KB7+p9T+6vjWonphh3rzOyycgilpPHiZgJylDY6yp52oA1KM?= =?us-ascii?q?WkREB7f9OpEp9duj2GO4V5Qc4sQ3xktSc7x7MIpZK2fTYGxIkkyhPbZPGKfIuF?= =?us-ascii?q?7w/jWeuNLzl2hHxrda++ihuv90Wr1+PyVs6x0FlQrypFlMHBtnQX2BzW8ceIV+?= =?us-ascii?q?Fy8Vq71jePzADf8OZEIVo7labDMZ4h36Q8lpwXsUjbAi/2ll32gLGKekk65+Sk?= =?us-ascii?q?8ePnYq/pppKaKoR6iRn+P7wzlsGxHOg0KBUCUmqU9OimybHu/Ff1TKhFg/A2iq?= =?us-ascii?q?XUs5/XKd4Yq6O2GQNZzJov5wulAzu70dkUg38KJ09fdh2dlYjmIVTOLej4Dfih?= =?us-ascii?q?h1Ssly9mx+vDPr39GpXBMGLPkKz9crZ89UFczhY8ws5F65JOF7ENOvTzWkvpuN?= =?us-ascii?q?zZCB82LRC0zv76BNhzy48SQ3+DD62WPa/IrFOF5/gjL/SDaYIVoDr9LuIq5//q?= =?us-ascii?q?jX83g18deqyp0IMNZnyiAvlpP0WZYWbyjdcHCmoFohE+QPbwiF2fSzJTYXKyU7?= =?us-ascii?q?om5j4nEIKmEZvDRoe1jbOdxii7G5lWanlCClCNCnfoa56JW+wMaSKXOs9uiCYI?= =?us-ascii?q?VbmnS4871BGhrhX2y7R9LrmcxipNvpvm0J1x5vbPvRA07z19ScqHgE+XSGQhpm?= =?us-ascii?q?4USiV+9at/vUF7ggO7l4Fzg+BVE/RY/LVTT0E8MciPnKRBF9nuV1eZLZ+yQ1G8?= =?us-ascii?q?T4D+WGxjfpcK29YLJn1FNZCigxTEhXP4GLoJj+bNH5c1/6TX0j7rOoB7zySfjf?= =?us-ascii?q?hzvxwdWsJKcFaeqOt6/gnXCZTOlhzBxa2xM74BmijJpj7akTi++XpAWQs1ap3r?= =?us-ascii?q?GGgFbxKO/9/ioFnfCbmqW+wq?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CBAwCP1gpgl5EQroNigQmBUYMKFVgyL?= =?us-ascii?q?4RAjz6Bai2QMowSCwEDAQ0jDAQBAYZEAh4GAQQ1BQ0CEAEBBQEBAQIBAwMEARM?= =?us-ascii?q?BAQEBAQEBAQkWBoYRDII4IoM9Bg8BBVocAiYCbAYCAQESgxABgwYEC5Z4nAiBM?= =?us-ascii?q?oVZgyuBQ4EOKo07JoFcP4E4D4IzgXKDEQcBAQ5fgkyCYASCNwlQVxcBEzwJLQs?= =?us-ascii?q?wD2EZj3WLDJ1QB4J6iTCGfosxBSmEW447gRiORp88ihOMS4FugXkzGi+DLQlHG?= =?us-ascii?q?Q2OOQKIRySFRUAzAjUCBgEJAQEDCYlAgkYBAQ?= X-IPAS-Result: =?us-ascii?q?A0CBAwCP1gpgl5EQroNigQmBUYMKFVgyL4RAjz6Bai2QMow?= =?us-ascii?q?SCwEDAQ0jDAQBAYZEAh4GAQQ1BQ0CEAEBBQEBAQIBAwMEARMBAQEBAQEBAQkWB?= =?us-ascii?q?oYRDII4IoM9Bg8BBVocAiYCbAYCAQESgxABgwYEC5Z4nAiBMoVZgyuBQ4EOKo0?= =?us-ascii?q?7JoFcP4E4D4IzgXKDEQcBAQ5fgkyCYASCNwlQVxcBEzwJLQswD2EZj3WLDJ1QB?= =?us-ascii?q?4J6iTCGfosxBSmEW447gRiORp88ihOMS4FugXkzGi+DLQlHGQ2OOQKIRySFRUA?= =?us-ascii?q?zAjUCBgEJAQEDCYlAgkYBAQ?= X-IronPort-AV: E=Sophos;i="5.79,366,1602540000"; d="scan'208";a="370816976" X-MGA-submission: =?us-ascii?q?MDHWBrU+q3PYrOd71NYPiLwXSlKDN6VOJSKzmE?= =?us-ascii?q?GORyG9OE/htPA2qhLAjecEtqJYHRRG/vYa/D4bPfoOpFXnHzwOxor+sH?= =?us-ascii?q?GCKc8zhcagGZINnIa2ZrHp+m/sEm1ohOJE6VwN9ct+WdM0a0/aENe+Bd?= =?us-ascii?q?Q/PflCvxiuTnRLoj5OGPCKJw=3D=3D?= Received: from smtp2.science.ru.nl ([131.174.16.145]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 22 Jan 2021 14:48:44 +0100 Received: from [192.168.2.10] (84-84-201-162.fixed.kpn.net [84.84.201.162]) (authen=peter88) by smtp2.science.ru.nl (8.15.2/5.32) with ESMTPSA id 10MDmh5N025885 for ; Fri, 22 Jan 2021 14:48:43 +0100 To: caml-list@inria.fr From: Peter Achten Message-ID: <83249ebf-63bc-b033-1d30-9628ded08295@cs.ru.nl> Date: Fri, 22 Jan 2021 14:48:43 +0100 User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101 Thunderbird/78.6.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] [Lambda Days + TFP + TFPIE 2021] call for participation Reply-To: Peter Achten X-Loop: caml-list@inria.fr X-Sequence: 18375 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: -------------------------------------------------------------------------------               C A L L  F O R  P A R T I C I P A T I O N                            8th Lambda Days                                   +  10th International Workshop on Trends in Functional Programming in Education                                   +            22nd Symposium on Trends in Functional Programming                          16 - 19 February 2021                    https://www.lambdadays.org/lambdadays2021 ------------------------------------------------------------------------------- The programmes for Lambda Days, TFPIE, and TFP are online: - Lambda Days overall program at: https://www.lambdadays.org/lambdadays2021 - TFPIE      specific program at: https://wiki.tfpie.science.ru.nl/TFPIE2021 - TFP        specific program at: http://tfp2021.org/ (all times are in Central European Time Zone: 12.00:18.00 (CEST)) Lambda Days is a place where academia meets industry, where research and practical application collide. Once again Lambda Days joins forces with Trends in Functional Programming (TFP) and Trends in Functional Programming in Education (TFPiE) so that for four days you can be at the centre of the functional programming world. The program has a lot of interesting talks, possibilities for interaction, and a host of keynote presentations: Lambda Days keynote speakers: ----------------------------- Perdita Stevens, Pat Hannahan, Simon Peyton Jones, Andy Gordon, Philip Wadler. Trends in Functional Programming in Education keynote speakers: --------------------------------------------------------------- Francesco Cesarini, Simon Thompson, and Bartosz Milewski. Trends in Functional Programming keynote speaker: ------------------------------------------------- Zhenjiang Hu. Thanks to a generous sponsor, TFP has a limited number of free tickets for PhD, Msc, Bsc students with an interest in functional programming. To apply, send a mail to the program chair of TFP, Viktória Zsók (zsv@elte.hu) with your name, university, 2-3 lines of motivation, and a valid student card photo to get the registration code. Tickets will be delivered in the order of application.