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 E0DA85D4 for ; Wed, 8 May 2019 07:56:51 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,445,1549926000"; d="scan'208,217";a="382209804" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 08 May 2019 09:56:49 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 7D893826D4; Wed, 8 May 2019 09:56:49 +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 3056C82674 for ; Wed, 8 May 2019 09:56:41 +0200 (CEST) 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=3A43NzPhWsBq4WOvicuxbz7Hv7M6DV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYYx2Bt8tkgFKBZ4jH8fUM07OQ7/m5Hzxaqsza+Fk5M7V0Hycfjs?= =?us-ascii?q?sXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6?= =?us-ascii?q?KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/IAiroQnLtcQan4RuJrg/xxDUvnZGZu?= =?us-ascii?q?NayH9yK1mOhRj8/MCw/JBi8yRUpf0s8tNLXLv5caolU7FWFSwqPG8p6sLlsxnD?= =?us-ascii?q?VhaP6WAHUmoKiBpIAhPK4w/8U5zsryb1rOt92C2dPc3rUbA5XCmp4ql3RBP0ji?= =?us-ascii?q?oMKjg0+3zVhMNtlqJWuAyvqRxizYDXbo+aOvVxcb/GcNwAWWZMRNxcWzBPD46+?= =?us-ascii?q?aYYEEuoPPfxfr4n4v1YAtwWxBRWyC+P11zRFmmP53a0m0+s/FwHNwQstEcgUvH?= =?us-ascii?q?nIsNr1NLsSXv6zzKTT0TrDdOla2S3g6ITSdBAhpeiBULRtesTfzkkvEhnKjlSW?= =?us-ascii?q?qYH9IzOV2PwNv3aH4+Z9Ue+jkWknqxt+ojS328csl5PFhoQRylzc6yp22p01JN?= =?us-ascii?q?2kR057e9GkEYFQuzudN4tsTcMvRXxjtiUiyrAepJK2cjUGxI46yxPdZPGLaZWE?= =?us-ascii?q?7xP5WOqMLjp1imppdK+xihqv60Ss1+/xW8au3FpXoSdJjMPAum0N2hHQ7MWMV+?= =?us-ascii?q?Fz8V272TmV0gDe8uFELl4wlarcM5Mh2bswloYLsUjeBCP2g1n5jK6IeUUi5uen?= =?us-ascii?q?9f7rYq/7ppOGMY90jhnyMqUomsOhHeQ1KhUCUmaG9eimybHu/0L0TK9XgvA3iK?= =?us-ascii?q?XVrZ/XKMoDqq68GQBV04Ij6xilDzeh1dQVhWMJIEhZdR2bj4jpJ0/BIPbjAPij?= =?us-ascii?q?mFSgii1rx+3cMr3nBpXBNmLDn6v5fbZh905czxI+wsxF6JJRDrENOfbzWk7qtN?= =?us-ascii?q?zEFRI5KAy1w+P/CNpnzI8eWGSPArWYMKzIq1OI6PgvcKGwY9oesTP5bvwk/OLG?= =?us-ascii?q?jHkjmFZbc7P684EQbSWAE+hrOQ2wanrwj9FJRV9MlwE+UOHsoFaZFyROIXC2Cf?= =?us-ascii?q?FvrgonAZ6rWN+QDrumh6aMiX/iT89mI1teA1XJKk/GMoCNWvMCciWXe5czmSdC?= =?us-ascii?q?T6XnTYtzjEjy5j+/8KJuK6/vwgNdrYjqjYAn7PaVjwx08zgmV53AgVHIdHl9my?= =?us-ascii?q?YzfxFz3K17phYkmEyGzbAhxedTFNFV7P4PSBp8M5qOl+E=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D3AAALi9JcmI8QroNkFggBBgcGgWWBY?= =?us-ascii?q?oEYUjIohBCvchIjDIZGGwcBBDQTAQMBAQQBAQIBAQMBEwEBAQEBCAsLBikjDII?= =?us-ascii?q?6IoMSBkMCBWIHAmwIAQESgwwBggoPrGeBLx+ITIFFgTKLToFXP4ERJ4F/PAJsg?= =?us-ascii?q?QQ8AYEVCwECARiBIIMxglgEiwkYIIdSgSKSDIEBBwKCC4YdjCwhghCGRINJbYh?= =?us-ascii?q?NknGGTYgEgWaBdzMaL4MwCYEOgQQMAgkUiCgkhUE9MwEBjzyCUgEB?= X-IPAS-Result: =?us-ascii?q?A0D3AAALi9JcmI8QroNkFggBBgcGgWWBYoEYUjIohBCvchI?= =?us-ascii?q?jDIZGGwcBBDQTAQMBAQQBAQIBAQMBEwEBAQEBCAsLBikjDII6IoMSBkMCBWIHA?= =?us-ascii?q?mwIAQESgwwBggoPrGeBLx+ITIFFgTKLToFXP4ERJ4F/PAJsgQQ8AYEVCwECARi?= =?us-ascii?q?BIIMxglgEiwkYIIdSgSKSDIEBBwKCC4YdjCwhghCGRINJbYhNknGGTYgEgWaBd?= =?us-ascii?q?zMaL4MwCYEOgQQMAgkUiCgkhUE9MwEBjzyCUgEB?= X-IronPort-AV: E=Sophos;i="5.60,445,1549926000"; d="scan'208,217";a="305286035" X-MGA-submission: =?us-ascii?q?MDH9EATDRqr/QDmk+aDpTDS8kPOkEK34EQIYBQ?= =?us-ascii?q?FICha4UwuUU3rv0yQkaWzAIDeiZo0SzVXBKmDr4w6do9wQnT88AVBBg0?= =?us-ascii?q?RKbrVUSwnP58i00qpk+ugWpWfrN8lqk7PkqOuaxY1SWeGiMDRCyBYDIc?= =?us-ascii?q?fMm/pytG/zzJpYU2bU+R+aEA=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; 08 May 2019 09:56:39 +0200 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 x487uclA008986 for ; Wed, 8 May 2019 09:56:38 +0200 To: caml-list@inria.fr From: Peter Achten Message-ID: Date: Wed, 8 May 2019 09:56:41 +0200 User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:60.0) Gecko/20100101 Thunderbird/60.6.1 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="------------81BA16DDB0298EF52D1726E5" Content-Language: en-US Subject: [Caml-list] [TFPIE'19] Final 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: 17538 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: This is a multi-part message in MIME format. --------------81BA16DDB0298EF52D1726E5 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit 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 --------------81BA16DDB0298EF52D1726E5 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: 7bit 
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
--------------81BA16DDB0298EF52D1726E5--