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 ESMTP id 887055D5 for ; Sun, 8 Apr 2018 21:27:36 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.48,425,1517871600"; d="scan'208";a="321831672" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 08 Apr 2018 23:27:34 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 0F44682442; Sun, 8 Apr 2018 23:27:34 +0200 (CEST) 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 4FE578240C for ; Sun, 8 Apr 2018 23:27:22 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=heather.miller@epfl.ch; spf=Pass smtp.mailfrom=heather.miller@epfl.ch; spf=None smtp.helo=postmaster@smtp4.epfl.ch IronPort-PHdr: =?us-ascii?q?9a23=3AADRYSBfJtQAwT0C41PQQ4PL2lGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcS7ZB7h7PlgxGXEQZ/co6odzbaO6Oa4ASQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9HiTahb75+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYe?= =?us-ascii?q?RWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZ?= =?us-ascii?q?TAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v6bpgRh31hy?= =?us-ascii?q?cdLzM38G/ZhM9tgqxFvB2vqAdyw5LNYIyPKPZyYr/RcNEcSGFcXshRTStBAoak?= =?us-ascii?q?YoUNEeUOJ/pYr4njqFsUsBCwAgisBOfryjBWnH/9wKo30+Q/Hg7cwAwgH8wBsG?= =?us-ascii?q?7OoNXwNacSVeS1w7fSzTjYcfxWwTn96IzSfh89ofGBRLR9etffx0koEgPKlFSQ?= =?us-ascii?q?qYr9MjyLzOsNqGia4PZgVe21im4nsRt9oj+1xscjkoXJgJwayk3e+Spn3Yk1OM?= =?us-ascii?q?W0R1J7YdG+FJtQsj+VN5FtQs84WGFnpiA3waAFt56jZCUG1Yoryh3FZ/CacYWF?= =?us-ascii?q?4QjvWPiPLTp3nn5pZq+zihKq/US+1uHxUtO43VVKoyZfjNXAq3EA2wbO5sWFSf?= =?us-ascii?q?Zw+Fqq1yyV2ADJ8O5EJFg5larFJJ4lxb49joETsUHfHi/ul0j6lrGZdl0q+uis?= =?us-ascii?q?8ejofrXmqoedN49ylA7+LrwjltGhDek7KAQCQmqW9Oem2LH940H0T69GguMrnq?= =?us-ascii?q?TdqJzaIN4Upq+9Aw9byIYj7BO/Ai+m0NsGh3YHMFJFdwydj4TzPlHOIfT4DfOh?= =?us-ascii?q?jFS2izpk2ejGPrPlApnXMnfDkK/tfaxh5E5E1Aoz0ddf6opIBb4bJfLzXlb9tN?= =?us-ascii?q?jZDh8iLwy52P3nCdV41oMGQ22DGK6ZMKXIsV+J/O0jOeeMZJVG8Ar6fvMs4vqr?= =?us-ascii?q?iX4ihXcce7Oo1N0ZciOWBPNjdmWUaGbsj81JNGYOugckBLjqhVSeUTNJIXOzW6?= =?us-ascii?q?Yx/Bk2EIyiS4zDENP+yIed1Tu2S8UFLltNDUqBRC+xJte0HswUYSfXGfdP1zkN?= =?us-ascii?q?VLyvUYgkhEOjrAH+jbFnfLONpn8o8Kn73d0w3NX90Ako/G0mAtyT1yeGTzMsxz?= =?us-ascii?q?5ad3oNxKl65HdF5BKD3Kx/2qEKDtlP/68PXx80MdjXz74iBg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BlAQDciMpah9vgsoBbFgcBAQUBCwGEI?= =?us-ascii?q?28oCoNWlQqDA4FlAZJxCyOHFAcZBwEEMxUBAgEBAQEBAQEBARMBAQEKCwkIKCM?= =?us-ascii?q?MgjUigm8GRQUyDwImAiQSAQUBS4R3D5Y5gx08iwWCHIg7gh6BCYZigVQ/gyY6g?= =?us-ascii?q?XE8AYETAQMYgRuDJ4JUAodBhVaKMAh0bIN2iF+BMoNbhzaJHIZbDwMegQQygUI?= =?us-ascii?q?BGw4IMxqBIwaBfAEQCIIXDAIJhC+EKoEthC1Ui3eCRQEB?= X-IPAS-Result: =?us-ascii?q?A0BlAQDciMpah9vgsoBbFgcBAQUBCwGEI28oCoNWlQqDA4F?= =?us-ascii?q?lAZJxCyOHFAcZBwEEMxUBAgEBAQEBAQEBARMBAQEKCwkIKCMMgjUigm8GRQUyD?= =?us-ascii?q?wImAiQSAQUBS4R3D5Y5gx08iwWCHIg7gh6BCYZigVQ/gyY6gXE8AYETAQMYgRu?= =?us-ascii?q?DJ4JUAodBhVaKMAh0bIN2iF+BMoNbhzaJHIZbDwMegQQygUIBGw4IMxqBIwaBf?= =?us-ascii?q?AEQCIIXDAIJhC+EKoEthC1Ui3eCRQEB?= X-IronPort-AV: E=Sophos;i="5.48,425,1517871600"; d="scan'208";a="261295725" Received: from smtp4.epfl.ch ([128.178.224.219]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 08 Apr 2018 23:27:18 +0200 Received: (qmail 56494 invoked by uid 107); 8 Apr 2018 21:27:17 -0000 X-Virus-Scanned: ClamAV Received: from mail-qt0-f178.google.com (HELO mail-qt0-f178.google.com) (209.85.216.178) (TLS, ECDHE-RSA-AES256-GCM-SHA384 (X25519 curve) cipher) (authenticated) by mail.epfl.ch (AngelmatoPhylax SMTP proxy) with ESMTPSA; Sun, 08 Apr 2018 23:27:17 +0200 X-EPFL-Auth: +d/3FA0BZmhvAYD8GOz1YFOGY+RG7n7v7lfFuNQ3vsAmjydhIQc= Received: by mail-qt0-f178.google.com with SMTP id h4so7073099qtn.13 for ; Sun, 08 Apr 2018 14:27:17 -0700 (PDT) X-Gm-Message-State: ALQs6tBDTlZethoJWqrgpzHQJu7yVVpd/tQqJe4YXVzkO6h2v+xMEoco R/jj6coaBcQ/CwyJdtv76YkKKUXkzOLtlINdrQ4= X-Google-Smtp-Source: AIpwx48ZO3xVWuDB/9N2ZyaamO2u/+UFtbSjDBhv+nfE8I2JstgXJ4zydNoxk3v0IXI+/D9RGJtbbv2ttoJmih6l9wM= X-Received: by 10.237.46.196 with SMTP id k62mr48464593qtd.207.1523222835917; Sun, 08 Apr 2018 14:27:15 -0700 (PDT) MIME-Version: 1.0 Received: by 10.12.185.29 with HTTP; Sun, 8 Apr 2018 14:26:55 -0700 (PDT) From: Heather Miller Date: Sun, 8 Apr 2018 17:26:55 -0400 X-Gmail-Original-Message-ID: Message-ID: To: caml-list@inria.fr Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] TFPIE 2018: First Call for Papers Reply-To: Heather Miller X-Loop: caml-list@inria.fr X-Sequence: 16786 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: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D TFPIE 2018: First Call for Papers =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Trends in Functional Programming in Education Gothenburg, Sweden, 14 June 2018 http://www.ccs.neu.edu/home/heather/tfpie2018/ (co-located with TFP 2018) http://www.cse.chalmers.se/~myreen/tfp2018/ =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D 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 work-in-progres= s on the use of functional programming in education are discussed. 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 TFPIE 2018 will screen submissions to ensure that all presentations are within scope and are of interest to participants. After the workshop, presenters will be invited to submit revised versions of their articles for publication in the journal Electronic Proceedings in Theoretical Computer Science (EPTCS). Scope =3D=3D=3D=3D=3D TFPIE 2018 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 =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 fun way to presen= t FP concepts to novices or perhaps an especially interesting presentation of a difficult topic? In either case, please consider sharing it. Best lecture t= opics will be selected for presentation based on a short abstract describing the lecture and its interest to TFPIE attendees. Submissions =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D 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 link below. 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 publicat= ion in the journal Electronic Proceedings in Theoretical Computer Science (EPTC= S). Articles rejected for presentation and extended abstracts will not be forma= lly reviewed by the PC. Submission page: https://easychair.org/conferences/?conf=3Dtfpie2018 Important dates =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D - Submission deadline: May 15th, Anywhere on Earth. - Notification: May 21st - Workshop: June 14th - Submission for formal review: August 17th - Notification of full article: October 5th - Camera ready: November 2nd --=20 Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs=