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 5F9C32DF6 for ; Wed, 27 Mar 2019 08:46:11 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,276,1549926000"; d="scan'208";a="375935813" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 27 Mar 2019 09:46:10 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 4317E8266B; Wed, 27 Mar 2019 09:46: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 E88DA8249D for ; Wed, 27 Mar 2019 09:46: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=None smtp.helo=postmaster@smtp1.science.ru.nl IronPort-PHdr: =?us-ascii?q?9a23=3AvyVz0R+qQ3VLsv9uRHKM819IXTAuvvDOBiVQ1KB3?= =?us-ascii?q?0+scTK2v8tzYMVDF4r011RmVBN2du6sP0rOH+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZLebxhUiDanYr5+MRq6oRjMusQSnIBvNrs/xhzVr3VSZu?= =?us-ascii?q?9Y33loJVWdnxb94se/4ptu+DlOtvwi6sBNT7z0c7w3QrJEAjsmNXs15NDwuhnY?= =?us-ascii?q?UQSP/HocXX4InRdOHgPI8Qv1Xpb1siv9q+p9xCyXNtD4QLwoRTiv6bpgRRn1gy?= =?us-ascii?q?kFKjE56nnahNJwgqxGoxyvqRJwzIHIb4+aL/d+YqDQcMkGSWZdUMtcVSpMCZ68?= =?us-ascii?q?YYsVCOoBOP5VoZPjqFsSsxS+HxSnCf/zxT9Imn/5w6s62PkmHA/cxgAtA84BsH?= =?us-ascii?q?TIrNrrMqcfSvy6zLLSwTXZcvNawzH96IzRfx0nvPqCU7Vwcc/LxkkuEQPIlkmQ?= =?us-ascii?q?qYL9Pz+LyugBrmyW4/BnVeK1hG4rsxxxoiW1yscqjonFnpwaxUrf9SR53Ik1Jc?= =?us-ascii?q?e3SE9hYdK+F5tQrS6aOo1rSc0hW2FloDs2x7MbtZKhYSQHypsqywTCZ/GGaYSE?= =?us-ascii?q?/x3uWeiJLTtlin9pZaiziwuw/EWv0OHwS8a53EhQoiZYktTBtXYA3AHJ5MedUP?= =?us-ascii?q?ty5EKh1C6P1w/N7uFEJlg5lbHeK5492r48i4AfsV/fES/3hkr2irOZeVs+9uiy?= =?us-ascii?q?9uTreLPmppuEO491jAHxLLgul9SiDek2LwQCRXWX9Oaz2bH54EH0Qa9GguA5n6?= =?us-ascii?q?TXqJzaIN4Upq+9Aw9byIYj7BO/Ai+83tgCgXQIMFJFeA6ZgIjvIFzBPOv4Ae2l?= =?us-ascii?q?g1SxijtrwfTGMqX7AprRNnjDjKvhfbFl5kFA0gUzyNRf64tQCrEAO/LzRlT8tM?= =?us-ascii?q?fYDx88Kwy72fzrCNR71oMEWGKAGLWVMK3IsQzA2uV6KOCJYMoRuS3hA/kj/f/n?= =?us-ascii?q?y3EjynEHeqz85ZYLZWrwN/9mP0ifKS7UxP4KEXsHuCI1V6rwlRuEVWgAND6JQ6?= =?us-ascii?q?sg62RjW8qdBoDZS9X12e3T7GKABpRTI1t+JBWJGHbseZ+DXq5UOimJZNV81DoA?= =?us-ascii?q?B+H4F90RkCq2vQq/8IJJa/LO83RA55n4ksJooevXx0lrqG5ESv+F2mTIdFla22?= =?us-ascii?q?MFQzhshfJkpFBlkxGY2ql1hfdVU8ZOofVNAF83?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CAAAAEOJtcl48QroNkFggBBgcGgVQGC?= =?us-ascii?q?wGCZxGBAyeEDpNCnEMPI4l2GgcBBDMGDQEBAwEBCQEDAQEBEwEBAQEBCBYGTAy?= =?us-ascii?q?COiKDEgYPAQUuAgUlHAIfBwJsCAEBEoMMAYF1D443m2aBL4o0gQskAYsxgVc/g?= =?us-ascii?q?REngX88AmyBBDwBgRULAQIBGIEggzGCVwOKLRggiDeRDXgHAodpi1QgggOFf4M?= =?us-ascii?q?mZ4d5kS2FeYdcgWOBeDMaL4MwCYINDAIJE4goJIVAPjMBAY11gk0BAQ?= X-IPAS-Result: =?us-ascii?q?A0CAAAAEOJtcl48QroNkFggBBgcGgVQGCwGCZxGBAyeEDpN?= =?us-ascii?q?CnEMPI4l2GgcBBDMGDQEBAwEBCQEDAQEBEwEBAQEBCBYGTAyCOiKDEgYPAQUuA?= =?us-ascii?q?gUlHAIfBwJsCAEBEoMMAYF1D443m2aBL4o0gQskAYsxgVc/gREngX88AmyBBDw?= =?us-ascii?q?BgRULAQIBGIEggzGCVwOKLRggiDeRDXgHAodpi1QgggOFf4MmZ4d5kS2FeYdcg?= =?us-ascii?q?WOBeDMaL4MwCYINDAIJE4goJIVAPjMBAY11gk0BAQ?= X-IronPort-AV: E=Sophos;i="5.60,276,1549926000"; d="scan'208";a="300859807" X-MGA-submission: =?us-ascii?q?MDGalK8XxXnTCWconmVWpAAn65vTf2gzMKqaT0?= =?us-ascii?q?mqXpaDYg+kiGuOG23OyNzL3g5Fhsl23p7WkzKpzdZ9UEw/AMoYZhCq9W?= =?us-ascii?q?70XlVsdczXT53cUfZGpLUdkbFeuxnZmvtqsbASn7hKA4/ml2XEeLzpSk?= =?us-ascii?q?20LFIA323NxnFC/jZPULG/GA=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; 27 Mar 2019 09:45:28 +0100 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 x2R8jRne009666 for ; Wed, 27 Mar 2019 09:45:27 +0100 To: caml-list@inria.fr From: Peter Achten Message-ID: <73522db7-9ae9-61bc-de22-548367930218@cs.ru.nl> Date: Wed, 27 Mar 2019 09:45:31 +0100 User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:60.0) Gecko/20100101 Thunderbird/60.6.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] [TFPIE'19] Call for papers: Trends in Functional Programming in Education 2019, 11 June 2019, Vancouver, BC, CA Reply-To: Peter Achten X-Loop: caml-list@inria.fr X-Sequence: 17435 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: TFPIE 2019 Call for papers http://www.staff.science.uu.nl/~hage0101/tfpie2019/index.html (June 11th, University of British Columbia, Vancouver Canada, co-located with TFP 2019) TFPIE 2019 welcomes submissions describing techniques used in the classroom, tools used in and/or developed for the classroom and any creative use of functional programming (FP) to aid education in or outside Computer Science. Topics of interest include, but are not limited to:   FP and beginning CS students   FP and Computational Thinking   FP and Artificial Intelligence   FP in Robotics   FP and Music   Advanced FP for undergraduates   FP in graduate education   Engaging students in research using FP   FP in Programming Languages   FP in the high school curriculum   FP as a stepping stone to other CS topics   FP and Philosophy   The pedagogy of teaching FP   FP and e-learning: MOOCs, automated assessment etc.   Best Lectures Ð more details below In addition to papers, we are requesting best lecture presentations. What's your best lecture topic in an FP related course? Do you have a fun way to present FP concepts to novices or perhaps an especially interesting presentation of a difficult topic? In either case, please consider sharing it. Best lecture topics will be selected for presentation based on a short abstract describing the lecture and its interest to TFPIE attendees. The length of the presentation should be comparable to that of a paper. On top of the lecture itself, the presentation can also provide commentary on the lecture. Submissions Potential presenters are invited to submit an extended abstract (4-6 pages) or a draft paper (up to 16 pages) in EPTCS style. The authors of accepted presentations will have their preprints and their slides made available on the workshop's website. Papers and abstracts can be submitted via easychair at the following link: https://easychair.org/conferences/?conf=tfpie2019 After the workshop, presenters will be invited to submit (a revised version of) their article for review. The PC will select the best articles that will be published in the Electronic Proceedings in Theoretical Computer Science (EPTCS). Articles rejected for presentation and extended abstracts will not be formally reviewed by the PC. Dates Submission deadline:          May  14th 2019, Anywhere on Earth. Notification:                 May  20th Workshop:                     June 11th Submission for formal review: August 18th 2019, Anywhere on Earth Notification of full article: October 6th Camera ready:                 November 1st Program Committee Alex Gerdes           - University of Gothenburg / Chalmers Jurriaan Hage (Chair) - Utrecht University Pieter Koopman        - Radboud University, the Netherlands Elena Machkasova      - University of Minnesota, Morris, USA Heather Miller        - Carnegie Mellon University and EPFL Lausanne Prabhakar Ragde       - University of Waterloo, Waterloo, Ontario, Canada Simon Thompson        - University of Kent, UK Sharon Tuttle         - Humboldt State University, Arcata, USA Note: information on TFP is available at https://www.tfp2019.org/index.html