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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 1498F80143 for ; Wed, 7 Jun 2017 11:57:46 +0200 (CEST) Authentication-Results: mail2-smtp-roc.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 (mail2-smtp-roc.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=mail2-smtp-roc.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 (mail2-smtp-roc.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=mail2-smtp-roc.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 (mail2-smtp-roc.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=mail2-smtp-roc.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=3Agby/5BIGGlLtfuokodmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgfL//xwZ3uMQTl6Ol3ixeRBMOAuq0C07KempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9ZDeZwdFiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+?= =?us-ascii?q?RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLd?= =?us-ascii?q?QgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QKsqUjq+8ahkVB7oiD?= =?us-ascii?q?8GNzEn9mHXltdwh79frB64uhBz35LYbISTOfFjfK3SYMkaSHJBUMlNWCJPH4Cy?= =?us-ascii?q?YYURAeUOOuhVtJX9p0ILrReiBQmgGOHixzlVjXH2x6061OEhHBnb0gwhGtIOt3?= =?us-ascii?q?LUp8joP6kMUeC1y6zIzS3Yb/NR3zf29Y/FfA07rf+IR75+b8rRyU4qFwPdlVWQ?= =?us-ascii?q?rorlMiiW1usTtWib8/BsWvizhGI9tgFxoSGiy8ExgYfHgYIVz0rL9SR/wIstJt?= =?us-ascii?q?23Vkh7YcK+HJRKqy6WLZZ2QsAkTmp1uyg60qULtYOlcCUO0pgr2gDTZ+aZf4SV?= =?us-ascii?q?+B7uWvidLS9liH57fL+znQu+/Va6xuHhS8W530xGojRKn9TMsH0Gygbd5dKdSv?= =?us-ascii?q?Rn+0eswTaP2B7X6uFDOU00kKXaJ4I7zr4ziJUTt1jDEjXsl0rqlqOWa0Yk9vCp?= =?us-ascii?q?6+ThfLrmuoeRO5Jqhgz6KKgih9KzDf4mPgQTRWSW9/qw2KXm/ULjQbVKivM2kr?= =?us-ascii?q?PesJDfPckVu7S1DQtP3og96xa/CDKm0MwDnXkAKlJIYxGHgJbvO1HSOvz3F+uw?= =?us-ascii?q?j06xkDdo3/zGJKHuAo3RLnjfl7fsZapy5FRZyAo31Nxf45NUCqodIP/oQU/wtN?= =?us-ascii?q?nYDgcjPACuwubnDs991oIEVm6VDK+ZKvCajVjd5us0IOSIYMcesTjwY6wl7uXt?= =?us-ascii?q?gHs93FQUc6SB3ZIMa328GrJhOUrPJTKmj80FGGEF+xMjQff2iVqEShZefXK7Wa?= =?us-ascii?q?164Ss0QsryAJ3HT4aixaWc0TynH5pQfUhLEFSFF3iucJ+LDbNEdDOKL9QkmzoC?= =?us-ascii?q?UqWnQIIJ0RC1qBS80LduNazJ4iAes9Tu2MUxr+bakBV6oTd9CsDY12CWU0l1mH?= =?us-ascii?q?kJTnk4xvYsj1Z6zwK40K1/hbQQKdxU4utSVQFyYaWa7apGC9f3QhnGeP+KRVC6?= =?us-ascii?q?BNytRywyGIFii+QSalpwTo3xxivI2DCnVvpMz+SG?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BSAQDkzDdZhyAVDIFeDggGAQEEAQEKA?= =?us-ascii?q?QEXAQEEAQEKAQGDAH8QgQ2Dc4oYp2iCEAEtiGc/GAEBAQEBAQEBAQEBEgEBAQo?= =?us-ascii?q?LCQgoL4IzJAGCZAYmJEECGAcHAl8BEhQCihUQrkKCJod2GoNtAQEIAQEBASSBC?= =?us-ascii?q?4c2K4ICQ4FtQQGBAoQ+DDEwgjEFnjmBXZFbhUaMOotphDWESR+BQlE0XAGCYoI?= =?us-ascii?q?eBCWBDUB1AQGJUAEBAQ?= X-IPAS-Result: =?us-ascii?q?A0BSAQDkzDdZhyAVDIFeDggGAQEEAQEKAQEXAQEEAQEKAQG?= =?us-ascii?q?DAH8QgQ2Dc4oYp2iCEAEtiGc/GAEBAQEBAQEBAQEBEgEBAQoLCQgoL4IzJAGCZ?= =?us-ascii?q?AYmJEECGAcHAl8BEhQCihUQrkKCJod2GoNtAQEIAQEBASSBC4c2K4ICQ4FtQQG?= =?us-ascii?q?BAoQ+DDEwgjEFnjmBXZFbhUaMOotphDWESR+BQlE0XAGCYoIeBCWBDUB1AQGJU?= =?us-ascii?q?AEBAQ?= X-IronPort-AV: E=Sophos;i="5.39,310,1493676000"; d="scan'208";a="277672849" Received: from mx0.kent.ac.uk ([129.12.21.32]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 07 Jun 2017 11:57:45 +0200 Received: from edu72f5.kent.ac.uk ([129.12.114.245]) by mx0.kent.ac.uk with esmtpsa (TLSv1:ECDHE-RSA-AES256-SHA:256) (Exim 4.89) (envelope-from ) id 1dIXib-0003Pr-CN; Wed, 07 Jun 2017 10:57:37 +0100 From: Simon Thompson Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Message-Id: Date: Wed, 7 Jun 2017 10:57:39 +0100 To: haskell cafe , "erlang-questions@erlang.org" , types-announce@lists.seas.upenn.edu, caml Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) X-Mailer: Apple Mail (2.3124) Subject: [Caml-list] Call for participation: Trends in Functional Programming in Education 2015 (in association with TFP 2017) Trends in Functional Programming in Education, 2017 Call for participation https://www.cs.kent.ac.uk/people/staff/sjt/TFPIE2017/ Programme timings https://www.cs.kent.ac.uk/people/staff/sjt/TFPIE2017/TFPIE_2017/Programme.h= tml 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. Registration is included with that for TFP 2017, 19=E2=80= =9321 June.=20 Morning: functional programming and online learning=20 A particular topic of this year's TFPIE will be MOOCs and other online lear= ning and we've managed to gather people from most of the current MOOCs in f= unctional programming to come to an informal symposium. Keynote: Heather Miller of EFPL and Northeastern University will begin the = symposium by giving a keynote on this topic. Heather works on and around th= e Scala programming language and is Executive Director of the Scala Center.= =20 This will be followed by a presentation from Yann R=C3=A9gis-Gianas and Ben= jamin Canou about the MOOC on OCaml, and a round table discussion including= Heather, the OCaml MOOC team, Jeremy Singer (Haskell), and Simon Thompson = (Erlang).=20 The morning will conclude with two regular presentations: - Stephen Adams. Teaching Erlang through the Internet: An Experience Report - Jeremy Singer and Blair Archibald. Functional Baby Talk: Analysis of Code= Fragments from Novice Haskell Programmers Afternoon: TFPIE regular programme The afternoon will begin with a best lecture: Colin Runciman (York) on the topic of Purely Functional Queues=20 The meeting will then have four regular presentations: - Marco T. Morazan. Vector Programming Using Structural Recursion - Curtis d'Alves, Tanya Bouman, Christopher Schankula, Jenell Hogg, Levin N= oronha, Emily Horsman, Rumsha Siddiqui and Christopher K. Anand. Using Elm = to Introduce Algebraic Thinking to K-8 Students - Hans-Wolfgang Loidl, Phil Barker and Sanusi Usman. Enhancing the Learning= Experience on Programming-focused Courses via Electronic Assessment Tools = (Extended Abstract) - Juan Carlos Saenz-Carrasco and Mike Stannett. Overcoming Non Distributivi= ty: A Case Study in Functional Programming The meeting will conclude with a lightning talks session for attendees and = others to give short talks about work in progress or projects that they wou= ld like to get started, followed by a plenary discussion on future directio= ns for the community and the workshop. 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) 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