From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 0EC187FA5E for ; Tue, 9 May 2017 20:54:49 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=S.J.Thompson@kent.ac.uk; spf=None smtp.mailfrom=S.J.Thompson@kent.ac.uk; spf=None smtp.helo=postmaster@mx0.kent.ac.uk Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of S.J.Thompson@kent.ac.uk) identity=pra; client-ip=129.12.21.32; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="S.J.Thompson@kent.ac.uk"; x-sender="S.J.Thompson@kent.ac.uk"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of S.J.Thompson@kent.ac.uk) identity=mailfrom; client-ip=129.12.21.32; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="S.J.Thompson@kent.ac.uk"; x-sender="S.J.Thompson@kent.ac.uk"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mx0.kent.ac.uk) identity=helo; client-ip=129.12.21.32; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="S.J.Thompson@kent.ac.uk"; x-sender="postmaster@mx0.kent.ac.uk"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3Ajk5VyhD7WewfBrPKUAb+UyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPX8rsbcNUDSrc9gkEXOFd2CrakV16yO6+jJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fdbghMizexe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfO?= =?us-ascii?q?pWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnM?= =?us-ascii?q?VhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Qiqp4bt1RxD0iS?= =?us-ascii?q?cHLz85/3/Risxsl6JQvRatqwViz4LIfI2ZMfxzdb7fc9wHX2pMRsZfWDBODI2h?= =?us-ascii?q?bIUBAfQPMulfoYTmu1sOtB6+CRWsBO/zyDJFgGL9060g0+QmFAHLxBEuH9MLsH?= =?us-ascii?q?TTqtX+KboZX/61zKnPyDXDd+hW2TD76IPVdR0vvOuAU7ZqfcTPyUkvEAbFjk2L?= =?us-ascii?q?qYziOTOYzecNvHad7+p8T+6gkXIopxtsojis38ohjJTCiIwSylDB7yp5wYA1KM?= =?us-ascii?q?WmR0Fhet6lEIdftyGAOIt3WMMuWWZouDw1yrEeup60Yi4KyIg9yxHFd/OLaZWI?= =?us-ascii?q?4hHlWe2MIjl4nGpodK+hixu260Ss1/PwWtOq3FpXtCZInMfAumgP2hHX8MSKS/?= =?us-ascii?q?lw8l281TqS2Q3f8PxILEAqmafdNpUv2KQ/loAJvkTGBiL2mFv5jKuRdkg8/+ip?= =?us-ascii?q?5Pjrbq/lppCCMY90lhvyPb4ylcClHOQ4MRACX2md+euiyL3u5VD1TKtOg/Esj6?= =?us-ascii?q?XVrorWKdoGqqKjDQJZzJ4v6xOlADen1NQYk2MHLFVAeB+fkoblIVXALOrmA/e/?= =?us-ascii?q?hFSslS9rx+vBPr3nGZjNLWbMkLH9fbpn8UFT1BA/zc1c555MELEOPOrzWlPttN?= =?us-ascii?q?zfFhI2Lxa7w+PjCNlk0oMeWHmPArOCPaPJsV6I4/ovLPOWaI8Uvjb9Mfkl6OT0?= =?us-ascii?q?gX83g19ONZWuiNEacnSxGPsjOliUembthdEaOWoQugM4Q6rtklLIGWpefXK7Wa?= =?us-ascii?q?15/yw2E56nCoHYbo23hLWH02G8BJIAIihGA0uPHHPsP46NVfpEPCKbOcxsljhB?= =?us-ascii?q?XrGvRqch3AqtuQv+jb19IbyQsiYRsJargNN84umWkRAp6RR1Cd6c2ieDVTcw1n?= =?us-ascii?q?8ZXzItmal5p0tgzFyO+ax5mOBDU8de7ugPTx83M5iawuBnWP7oXQeURdaMT1Du?= =?us-ascii?q?CummBjQpVdU3i4s1JWQ7J9WliwjY2CyCALITi/qCD9op8fSPjDDKO89hxiOeh+?= =?us-ascii?q?EahF48T54KbDX+iw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AyAQASDxJZmCAVDIFdDggGAQEEAQEKA?= =?us-ascii?q?QEXAQEEAQEKAQGDfBADgQmDaYoYkTWWE4IPASuKZz8YAQEBAQEBAQEBAQESAQE?= =?us-ascii?q?BAQEICwsGKC9CDgGBYiIBgmMGJh8FQQImAl8BEhaKCwQKsn6CJodjGoJzAQEBB?= =?us-ascii?q?wEBAQEBAQEBIIELhzIrC4FyQ4FsQQF+JYEGGIMuLoIxBYlViCaMCocci32CBIM?= =?us-ascii?q?+gX2KKgKLUYQsFIQvH4FCTzJcAYJPghIMBAwZgQ0+dQGFZlCCPQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0AyAQASDxJZmCAVDIFdDggGAQEEAQEKAQEXAQEEAQEKAQG?= =?us-ascii?q?DfBADgQmDaYoYkTWWE4IPASuKZz8YAQEBAQEBAQEBAQESAQEBAQEICwsGKC9CD?= =?us-ascii?q?gGBYiIBgmMGJh8FQQImAl8BEhaKCwQKsn6CJodjGoJzAQEBBwEBAQEBAQEBIIE?= =?us-ascii?q?LhzIrC4FyQ4FsQQF+JYEGGIMuLoIxBYlViCaMCocci32CBIM+gX2KKgKLUYQsF?= =?us-ascii?q?IQvH4FCTzJcAYJPghIMBAwZgQ0+dQGFZlCCPQEBAQ?= X-IronPort-AV: E=Sophos;i="5.38,315,1491256800"; d="scan'208";a="223029448" Received: from mx0.kent.ac.uk ([129.12.21.32]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 09 May 2017 20:54:47 +0200 Received: from mx5.kent.ac.uk ([129.12.21.36]) by mx0.kent.ac.uk with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (Exim 4.89) (envelope-from ) id 1d8AHV-0007R7-Ub; Tue, 09 May 2017 19:54:45 +0100 Received: from 79-67-113-152.dynamic.dsl.as9105.com ([79.67.113.152] helo=[192.168.1.4]) by mx5.kent.ac.uk with esmtpsa (TLSv1:ECDHE-RSA-AES256-SHA:256) (Exim 4.89) (envelope-from ) id 1d8AHV-00020b-Fj; Tue, 09 May 2017 19:54:45 +0100 From: Simon Thompson Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Message-Id: <1D3E4190-0DAD-45FA-8054-A897AAE0CF46@kent.ac.uk> Date: Tue, 9 May 2017 19:54:40 +0100 To: "erlang-questions@erlang.org" , haskell cafe , caml , types-announce@lists.seas.upenn.edu Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) X-Mailer: Apple Mail (2.3124) X-Kent-Spam-Score: -1.0 X-Kent-Spam-Bar: - X-Kent-Spam-Report: No, tests=ALL_TRUSTED=-1,TVD_RCVD_IP=0.001 Subject: [Caml-list] TFPIE - Trends in Functional Programming in Education 2017 - Deadline extended to 17 May After a number of requests, we have extended the deadline for TFPIE 2017 to= 17 May. Please consider submitting if you=E2=80=99re interested in hearing= about how to get the functional message shared more widely. A particular topic of this year's TFPIE will be MOOCs and other online lear= ning and, as well as a session on this, we're delighted to announce that He= ather Miller of EFPL and Northeastern University will be giving a keynote o= n this topic. Heather works on and around the Scala programming language an= d is Executive Director of the Scala Center. We'll also have Yann Regis-Gia= nas and Benjamin Canou from the OCaml MOOC team, Jeremy Singer (Haskell), a= nd Simon Thompson (Erlang). TFPIE 2017 - DEADLINE EXTENDED TO 17 MAY Trends in Functional Programming in Education, 2017 https://www.cs.kent.ac.uk/people/staff/sjt/TFPIE2017/ The sixth workshop on Trends in Functional Programming in Education, 2017, = which is to be held on the Canterbury campus of the University of Kent on T= hursday, 22 June, following the 2017 TFP meeting on 19=E2=80=9321 June. TFP= IE workshops have previously been held in St Andrews, Scotland (2012), Prov= o Utah, USA (2013), Soesterberg, The Netherlands (2014), and Sophia-Antipol= is, France (2015), College Park, USA (2016). The goal of TFPIE is to gather researchers, teachers and professionals that= use, or are interested in the use of, functional programming in education.= TFPIE aims to be a venue where novel ideas, classroom-tested ideas and wor= k-in-progress on the use of functional programming in education are discuss= ed. The one-day workshop will foster a spirit of open discussion by having = a review process for publication after the workshop. The program chair of T= FPIE 2017 will screen submissions to ensure that all presentations are with= in scope and are of interest to participants. After the workshop, presenter= s will be invited to submit revised versions of their articles for publicat= ion in the journal Electronic Proceedings in Theoretical Computer Science (= EPTCS).=20 Final call for papers TFPIE 2017 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=20 - 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 =E2=80=93 more details below In addition to papers, we are requesting best lecture presentations. What= =E2=80=99s your best lecture topic in an FP related course? Do you have a f= un way to present FP concepts to novices or perhaps an especially interesti= ng presentation of a difficult topic? In either case, please consider shari= ng it. Best lecture topics will be selected for presentation based on a sho= rt abstract describing the lecture and its interest to TFPIE attendees. Submission 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.=20=20 Papers and abstracts can be submitted via easychair at the following link: = https://easychair.org/conferences/?conf=3Dtfpie2017 After the workshop, presenters will be invited to submit (a revised version= of) their article for review. The PC will select the best articles for pub= lication in the journal Electronic Proceedings in Theoretical Computer Scie= nce (EPTCS). Articles rejected for presentation and extended abstracts will= not be formally reviewed by the PC. Programme committee Dr Laura Castro, University of A Coru=C3=B1a Prof Ralf L=C3=A4mmel, University of Koblenz-Landau Dr Elena Machkasova, University of Minnesota, Morris Prof Michel Mauny, Inria, Paris Dr Jeremy Singer, University of Glasgow Prof Simon Thompson, University of Kent (chair) Important dates Submissions of draft papers: 17 May, 2017 Notification: 22 May, 2017 Registration: 11 June, 2017 Workshop: 22 June 2017 Submission for formal review: 18 August, 2017 Notification of acceptance: 6 October, 2017 Camera ready paper: 3 November, 2017 Simon Thompson | Professor of Logic and Computation=20 School of Computing | University of Kent | Canterbury, CT2 7NF, UK s.j.thompson@kent.ac.uk | M +44 7986 085754 | W www.cs.kent.ac.uk/~sjt