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 B6A6B7FA5E for ; Fri, 28 Apr 2017 10:50:56 +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=3A1apfMxPdk2fYc4vuZOYl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0I/j5rarrMEGX3/hxlliBBdydsKMYzbKO+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZPebgFHiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPde?= =?us-ascii?q?RWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbY?= =?us-ascii?q?UwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0vRz+s87lkRwPpiC?= =?us-ascii?q?cfNj427mfXitBrjKlGpB6tvgFzz5LIbI2QMvd1Y6HTcs4ARWdZXsheSyNPDJ6/?= =?us-ascii?q?YYUBEeQOMuFWopLhp1sXqBuyGQmsCP/txzJOm3T43bc60+MkEQzewQIgHtcOsH?= =?us-ascii?q?PSrN7oKawcT+C1zK7NzTXbdPNW3jH945XPfx48u/2CWah8f9TRyUkoEgPFlk6Q?= =?us-ascii?q?qYvjPz6O1eQCrW6b7/Z6We21l2ErsRxxoju2y8oql4LHiIUVylXe+iV4xoY4Pc?= =?us-ascii?q?O3R1RgYd+kDJRQtzuVN4psQs84RGFooik6xqUFuZGleigK1I4ryATDZPCdboiI?= =?us-ascii?q?4RTuX/uSLzdgnH9pZayzihKo/US91OHwTNe43EtQoidLjNXArm0B2wLX58SdV/?= =?us-ascii?q?dx4F2t1SuS2wzN8O1JI0I5mKzGIJA72LEwjIAcsUHbEy/2hkr2iKiWe10h+umn?= =?us-ascii?q?9+jreLbmqYGaN49okA3xKLghltaiAeQ7KgQOXm6b9vqg1LD74EH1XrFHgucrnq?= =?us-ascii?q?XHqpzWO9kXqrS3DgNLyooj7gywDzai0NQWh3kHK1dFdQqagYTzP1/COu72Dfe4?= =?us-ascii?q?g1SpiDdr3PfGPrv6D5XOMHfDlqvhcaxn5EFA0gYz0NNf64pOCr4dOPLzRlPxtN?= =?us-ascii?q?vAAxAlKQO0xuLnBMx51oMfQmKPHrSUMLjSsF+N/uIgOfOAZI4TuDbnKvgq/eTi?= =?us-ascii?q?jXEjmQxVQa783ZIMa328GrxtKkuUKS7si8wCHGMO+wE3QuHCiFSZUjNXYzC1Ra?= =?us-ascii?q?1qonlxBZiiBIHMA5mwjaed3SC9BbVbfGRPDF/KFm3nPc3QVu0IYSSdZ9Z8nycY?= =?us-ascii?q?VL+nUKcszxWnsgC8zKBoeK6c8SQdsdq339Fw46jXlAou3T1yFcWUlW+XGTJahG?= =?us-ascii?q?QNEgQ32ad56QRBylCGybN/hbQMLppxoc9JVQIiLpna5+93Dcy0UwmHY9TfGwXu?= =?us-ascii?q?ecmvHTxkFoF5+NQJeUsoXoz61h0=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B+AgDGAQNZhyAVDIFdFgYBAQQBAQoBA?= =?us-ascii?q?RcBAQQBAQoBAYN7EIEMg2izYQEriidCFQEBAQEBAQEBAQEBEgEBAQoLCQgoL0I?= =?us-ascii?q?OgWMiAYJjBiYfBUECHwcCXwESFooJDqwDgiaHahqDAgEBAQcBAQEBJIELh12Bf?= =?us-ascii?q?UKBbEEBfSWBBhWDKi6CMQWJTogWi2yBW4U+i3OCAoM7gXyKJYtAhCkUhCo1gSx?= =?us-ascii?q?OMloBgkyCEgwEDBmBS3QBg02BYYI9AQEB?= X-IPAS-Result: =?us-ascii?q?A0B+AgDGAQNZhyAVDIFdFgYBAQQBAQoBARcBAQQBAQoBAYN?= =?us-ascii?q?7EIEMg2izYQEriidCFQEBAQEBAQEBAQEBEgEBAQoLCQgoL0IOgWMiAYJjBiYfB?= =?us-ascii?q?UECHwcCXwESFooJDqwDgiaHahqDAgEBAQcBAQEBJIELh12BfUKBbEEBfSWBBhW?= =?us-ascii?q?DKi6CMQWJTogWi2yBW4U+i3OCAoM7gXyKJYtAhCkUhCo1gSxOMloBgkyCEgwED?= =?us-ascii?q?BmBS3QBg02BYYI9AQEB?= X-IronPort-AV: E=Sophos;i="5.37,387,1488841200"; d="scan'208";a="221823809" 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; 28 Apr 2017 10:50:55 +0200 Received: from edu704d.kent.ac.uk ([129.12.112.77]) by mx0.kent.ac.uk with esmtpsa (TLSv1:ECDHE-RSA-AES256-SHA:256) (Exim 4.89) (envelope-from ) id 1d41c6-0003y3-GM; Fri, 28 Apr 2017 09:50:54 +0100 From: Simon Thompson Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Message-Id: <801F8F64-AE0E-4C5F-8A08-11C7CDDEAAEC@kent.ac.uk> Date: Fri, 28 Apr 2017 09:50:56 +0100 To: haskell cafe , "erlang-questions@erlang.org" , caml Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) X-Mailer: Apple Mail (2.3124) Subject: [Caml-list] Trends in Functional Programming in Education TFPIE 2017, Canterbury 22 June, SECOND CALL FOR PAPERS TFPIE 2017 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). 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 looking forward to announcing= a keynote speaker in this area very soon. 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 Second 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: 10 May, 2017 Notification: 17 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