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 851C15D3 for ; Thu, 14 Nov 2019 08:16:48 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.68,302,1569276000"; d="scan'208,217";a="411727055" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 14 Nov 2019 09:16:43 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 1CE057F398; Thu, 14 Nov 2019 09:16:43 +0100 (CET) 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 815497F32D for ; Thu, 14 Nov 2019 09:16:35 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=publicityifl@gmail.com; spf=Pass smtp.mailfrom=publicityifl@gmail.com; spf=None smtp.helo=postmaster@mail-ot1-f51.google.com IronPort-PHdr: =?us-ascii?q?9a23=3ADVzJQxeP+malHmJB6xkLTQnalGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcS7YB7h7PlgxGXEQZ/co6odzbaP6Oa5AjZLuM/Q+Fk5M7V0Hycfjs?= =?us-ascii?q?sXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6?= =?us-ascii?q?KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/IAi4oAnLq8Ubj5VuJqksxhfUpnZDZv?= =?us-ascii?q?hby35vKV+PhRj3+92+/IRk8yReuvIh89BPXKDndKkmTrJWESorPXkt6MLkqRfM?= =?us-ascii?q?Qw2P5mABUmoNiRpHHxLF7BDhUZjvtCbxq/dw1zObPc3ySrA0RCii4qJ2QxLmlC?= =?us-ascii?q?sLKzg0+3zRh8dtjqxUvQihqgRwzI7PYI+bOvlwcL7Dc9wGXmdORNpdWjZbD4+g?= =?us-ascii?q?c4cCDewMNvtYoYnnoFsOqAOzCw2xBOP10D9Ih2X50rc80+88Ew/JxgMgEMwTu3?= =?us-ascii?q?nTtNX1KbwdUeS0zKbUzDXDc/NX2Tbz6IjMaR0hrvSMUqhxccrV00UgCwTFjlCJ?= =?us-ascii?q?pIHjIjib2OMNs22B4OphU+Kik3MnqxxrrjipwscgkpfGiZgOylHE6Sp5wJw6Jd?= =?us-ascii?q?yiSEJhZt6kCpRQuzmGOIt2WMwiR2Rotzggyr0do5K7ZzYFxZI6zBDcc/yKa5aE?= =?us-ascii?q?7g7nWeqLIjp1hGhpdKyiixqu60StyvDwW8+p21hQtCVFiMPDtnUV2hzT9MeHTv?= =?us-ascii?q?x981+k2TmV1gDT7vhIIUcolabGMpIhzL49mocJvUTMGS/2n0r2jKuIeUk+5ueo?= =?us-ascii?q?7OHnbq3npp+aKYB0lhnzProylsG7G+g1MQgDU3KF9eihyLHv5030TKhSgv0ziK?= =?us-ascii?q?bZsZTaJcoBpq6+Bg9Yyp4j6wukADei0dQXgXgHLE5FeRKGgYjpP0rDIP/9Dfil?= =?us-ascii?q?glSslC1nyOzBPr3kGpnNNGTMkK/9fbZh7E5R0BY8wspa55JQE70BJPPzWlTttN?= =?us-ascii?q?HDFR84Mwm0w/79B9ln14MeX3iPAq6DP6/Iv1+I/LFnH+7ZT4YQvHPZKuM5r6rl?= =?us-ascii?q?hHo93FscZrWB3J0NaXn+EO4wcGuDZn+5oMobC2YDtwx2bOXlhRXWSSNZY3e5Xr?= =?us-ascii?q?4t5z8/II2jBIbHAIuqherSj2+AApRKazUeWRi3GnDyetDcAqteWGepOsZk1wc8?= =?us-ascii?q?e/25UYZ4jEOhsQb7z/xsKe+GonRF56Km78B84qjorT939TFwCJ7AgWSETmUxmX?= =?us-ascii?q?9RAjFrheZwpktyzlrF2q990aQBRI5joshRWwJ/DqbyiulzCtT8QAXEJ47bR1Ov?= =?us-ascii?q?Q9HgCjY0HIs8?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D1CAALDc1dhjPSVdFkFggBCxyDbVk3D?= =?us-ascii?q?YEHKoQpgRyCXosWi3Z3iEGICwkBAwEMBR4MAQGEQIIhHAcBBDQTAg4BAQQBAQE?= =?us-ascii?q?CAQIDBAETAQEBCAsLCCmFPgyCOyKDDQsGHQEbDAUNAw0FAw03AiQBEQEFASIpD?= =?us-ascii?q?IMAAYJFAQMJJQ+WC4xyghyBAzyLJYEVBQEXgn8FhEoKGScNZoE8AgcSgSSFG4Z?= =?us-ascii?q?6GHiBB4M3PAKBcDwBgQgOCwECARiBIFSCY4JeBI0RGAMdiVBzN5RCgRZHgW0Dh?= =?us-ascii?q?jFkjjMbgj6HY49hln+RZA8jgUaBejMaI4EBgjsJRxEUMiWQQwwMAgkVgzuEcCS?= =?us-ascii?q?BLYQzIzABAY8xgkABAQ?= X-IPAS-Result: =?us-ascii?q?A0D1CAALDc1dhjPSVdFkFggBCxyDbVk3DYEHKoQpgRyCXos?= =?us-ascii?q?Wi3Z3iEGICwkBAwEMBR4MAQGEQIIhHAcBBDQTAg4BAQQBAQECAQIDBAETAQEBC?= =?us-ascii?q?AsLCCmFPgyCOyKDDQsGHQEbDAUNAw0FAw03AiQBEQEFASIpDIMAAYJFAQMJJQ+?= =?us-ascii?q?WC4xyghyBAzyLJYEVBQEXgn8FhEoKGScNZoE8AgcSgSSFG4Z6GHiBB4M3PAKBc?= =?us-ascii?q?DwBgQgOCwECARiBIFSCY4JeBI0RGAMdiVBzN5RCgRZHgW0DhjFkjjMbgj6HY49?= =?us-ascii?q?hln+RZA8jgUaBejMaI4EBgjsJRxEUMiWQQwwMAgkVgzuEcCSBLYQzIzABAY8xg?= =?us-ascii?q?kABAQ?= X-IronPort-AV: E=Sophos;i="5.68,302,1569276000"; d="scan'208,217";a="411726876" X-MGA-submission: =?us-ascii?q?MDHI8YUSUSCb6CCgH+lNg9qsAvHNx+0scTrsSF?= =?us-ascii?q?8sRLM/3bXCinMcqO2wB/HkMbDNAIFez/jhqizxns2t66VXscV0fw/lvr?= =?us-ascii?q?vMQqEmANVsgX3SE9wj8aY8ASZtwoaG2togr4FBfsfglNrbmuZTyp4Oxi?= =?us-ascii?q?u+89qy51ypO+71ougCxa5xuQ=3D=3D?= Received: from mail-ot1-f51.google.com ([209.85.210.51]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 14 Nov 2019 09:15:54 +0100 Received: by mail-ot1-f51.google.com with SMTP id l14so4118148oti.10 for ; Thu, 14 Nov 2019 00:15:54 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:sender:from:date:message-id:subject:to; bh=845Cvo3e6ggkg1MWEO5Rsxa1NzXZNiJ/7qOgCXmJKwI=; b=UvdJ3BkjFrd+9hmD8b7qUzy9I3or+8Tz5yNcSZ2T6aOfIpPp0qtdjdXphPEHZ03FyB V+Y3Nmi83zJH6geszlmpQyUu0sjRNUxC7EbDjYJK6E2Vf+VP0t1p+wzuG6AUf/ooyqzu 4UKeLpX4BF6sjnQtOYkab9tLOWaPDn2ii26tiOzM8kx/Mt+Ri5zd6YKuq3u4gcXYRdZ+ AIOI9LKYww78iYrvKRgwD2Mao9NPMdA6edF6yYLzPCpZpRnDhNOIufAOw9iACnZ3ZR1x DPDXGUq6gm71h6zPHiY4RvAdIdjv3bB2dx66E+x5kWzhJBQkEX1eo+TdnUsdoEJOHd+5 jlsg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:sender:from:date:message-id:subject :to; bh=845Cvo3e6ggkg1MWEO5Rsxa1NzXZNiJ/7qOgCXmJKwI=; b=IVY1557Oub5BBZX8+T+xUAzuRNvnDhuNjUFm0/0C0WAr2JA9gKqvT6ZuzjKW9rJL9m uJ1NaUtTHWz1uvJI0ll0i5V6RWkmKhmBtnzTDuMDTVoEdiOJv0NEk7A+k5Cj9e4lGmTI hwg1NwCbuhD/Hu67BE9eHg3rdwBXAHOX9XXfhE/Jp0PbD39SbCg6vsSOm+dKmf7ONsUo 1DfejCbp6Gupr88t2WbQ39hFxHVfPBBIv1xSjg54s1/m+viOvxmvwXvpZvZ11+BKKVU/ W+KKUcpdiaR8S0oi7D+TIw7/xcBudHH4YZxvQXcDfU0o8bCzvSQaL8UeoBmMfUVO4wBN 40Ng== X-Gm-Message-State: APjAAAV16hSgy7qjYcuOELuH+Q67nkXKWhKOVH6kjMi/lTmMGxP2/R/I cE9VeQPkHC1LNxxybqIXgAvkeWZTS8p6manTaGY+5A== X-Google-Smtp-Source: APXvYqyQM2Hb56P3Yv4ciYLvLWupSxI5qLJF5y6ElDHz8wTceAjkyeKi3KGyiu8YHwp+yAAfnCwZMG5sUoeA8crnRd8= X-Received: by 2002:a05:6830:2255:: with SMTP id t21mr6708888otd.19.1573719353225; Thu, 14 Nov 2019 00:15:53 -0800 (PST) Received: from 52669349336 named unknown by gmailapi.google.com with HTTPREST; Thu, 14 Nov 2019 00:15:52 -0800 MIME-Version: 1.0 Sender: Jurriaan Hage From: Jurriaan Hage Date: Thu, 14 Nov 2019 00:15:52 -0800 X-Google-Sender-Auth: ZXLWUHilxQAdjzqfCJjdJ8rOeVE Message-ID: To: Caml-List Content-Type: multipart/alternative; boundary="0000000000000677bb05974a17ee" Subject: [Caml-list] Second call for draft papers for TFPIE 2020 (Trends in Functional Programming in Education) Reply-To: Jurriaan Hage X-Loop: caml-list@inria.fr X-Sequence: 17870 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: --0000000000000677bb05974a17ee Content-Type: text/plain; charset="UTF-8" Hello, Please, find below the second call for draft papers for TFPIE 2020. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Chair of TFPIE 2020 ======================================================================== TFPIE 2020 Call for papers http://www.staff.science.uu.nl/~hage0101/tfpie2020/index.html February 12th 2020, Krakow, Poland (co-located with TFP 2020 and Lambda Days) TFPIE 2020 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 20 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=tfpie2020 . 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: January 14th 2020, Anywhere on Earth. Notification: January 17th 2020 TFPIE Registration Deadline: January 20th 2020 Workshop: February 12th 2020 Submission for formal review: April 19th 2020, Anywhere on Earth. Notification of full article: June 6th 2020 Camera ready: July 1st 2020 Program Committee Olaf Chitil - University of Kent Youyou Cong - Tokyo Institute of Technology Marko van Eekelen - Open University of the Netherlands and Radboud University Nijmegen Jurriaan Hage (Chair) - Utrecht University Marco T. Morazan - Seton Hall University, USA Sharon Tuttle - Humboldt State University, USA Janis Voigtlaender - University of Duisburg-Essen Viktoria Zsok - Eotvos Lorand University Note: information on TFP is available at http://www.cse.chalmers.se/~rjmh/tfp/ --0000000000000677bb05974a17ee Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hello,

Please, find below the second call for = draft papers for TFPIE 2020.
Please forward these to anyone you t= hink may be interested.
Apologies for any duplicates you may recei= ve.

best regards,
Jurriaan Hage
Chair of TFPIE 2020
=

=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=3D=3D=C2=A0=C2=A0=C2=A0=C2=A0
=C2=A0

=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0 TFPIE 2020 Call for papers

=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0 http://www.staff.science.uu.nl/~h= age0101/tfpie2020/index.html

=C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 February 12th 2020, Krakow, Po= land
=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 (co-located with TFP 2020 and Lambda Days= )

TFPIE 2020 welcomes submissions describing techniques used in th= e classroom,
tools used in and/or developed for the classroom and any cr= eative use of
functional programming (FP) to aid education in or outside= Computer Science.
Topics of interest include, but are not limited to:
=C2=A0 FP and beginning CS students
=C2=A0 FP and Computational Th= inking
=C2=A0 FP and Artificial Intelligence
=C2=A0 FP in Robotics=C2=A0 FP and Music
=C2=A0 Advanced FP for undergraduates
=C2=A0 FP = in graduate education
=C2=A0 Engaging students in research using FP
= =C2=A0 FP in Programming Languages
=C2=A0 FP in the high school curricul= um
=C2=A0 FP as a stepping stone to other CS topics
=C2=A0 FP and Phi= losophy
=C2=A0 The pedagogy of teaching FP
=C2=A0 FP and e-learning: = MOOCs, automated assessment etc.
=C2=A0 Best Lectures - more details bel= ow

In addition to papers, we are requesting best lecture presentatio= ns. What's your
best lecture topic in an FP related course? Do you h= ave a fun way to present FP
concepts to novices or perhaps an especially= interesting presentation of a
difficult topic? In either case, please c= onsider sharing it. Best lecture topics
will be selected for presentatio= n based on a short abstract describing the
lecture and its interest to T= FPIE attendees. The length of the presentation
should be comparable to t= hat of a paper. On top of the lecture itself,
the presentation can also= provide commentary on the lecture.

Submissions
Potential present= ers are invited to submit an extended abstract (4-6 pages) or a
draft pa= per (up to 20 pages) in EPTCS style. The authors of accepted
presentatio= ns will have their preprints and their slides made available on the
work= shop's website. Papers and abstracts can be submitted via easychair at = the
following link: https://easychair.org/conferences/?conf=3Dt= fpie2020 . 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 T= heoretical Computer Science (EPTCS).
Articles rejected for presentation = and extended abstracts will not be formally
reviewed by the PC.

D= ates
=C2=A0 Submission deadline: January 14th 2020, Anywhere on Earth. <= br>=C2=A0 Notification: January 17th 2020
=C2=A0 TFPIE Registration Dead= line: January 20th 2020
=C2=A0 Workshop: February 12th 2020
=C2=A0 Su= bmission for formal review: April 19th 2020, Anywhere on Earth.
=C2=A0 N= otification of full article: June 6th 2020
=C2=A0 Camera ready: July 1st= 2020

Program Committee
=C2=A0 Olaf Chitil - University of Kent=C2=A0 Youyou Cong - Tokyo Institute of Technology
=C2=A0 Marko van Ee= kelen - Open University of the Netherlands and Radboud University Nijmegen<= br>=C2=A0 Jurriaan Hage (Chair) - Utrecht University
=C2=A0 Marco T. Mo= razan - Seton Hall University, USA
=C2=A0 Sharon Tuttle - Humboldt State= University, USA
=C2=A0 Janis Voigtlaender - University of Duisburg-Esse= n
=C2=A0 Viktoria Zsok - Eotvos Lorand University

Note: informati= on on TFP is available at http://www.cse.chalmers.se/~rjmh/tfp/

--0000000000000677bb05974a17ee--