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 BFDEC5D5 for ; Fri, 20 Dec 2019 13:53:12 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.69,336,1571695200"; d="scan'208,217";a="421238415" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 20 Dec 2019 14:53:04 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 3DB5D7F3B5; Fri, 20 Dec 2019 14:53:04 +0100 (CET) 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 F38FA7F3A8 for ; Fri, 20 Dec 2019 14:52:57 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=publicityifl@gmail.com; spf=Pass smtp.mailfrom=publicityifl@gmail.com; spf=None smtp.helo=postmaster@mail-oi1-f176.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AcufdfRXQiZtqd7XSsPOLS1iuAhDV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbBWAt8tkgFKBZ4jH8fUM07OQ7/m7HzZZut3c6zgrS99lb1c9k8?= =?us-ascii?q?IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBo?= =?us-ascii?q?KevrB4Xck9q41/yo+53Ufg5EmCexbal9IRmrowjdrNcajZZsJ6o+yhbErGZDdv?= =?us-ascii?q?hLy29vOV+dhQv36N2q/J5k/SRQuvYh+NBFXK7nYak2TqFWASo/PWwt68LlqRfM?= =?us-ascii?q?TQ2U5nsBSWoWiQZHAxLE7B7hQJj8tDbxu/dn1ymbOc32Sq00WSin4qx2RhLklD?= =?us-ascii?q?sLOjgk+2zRl8d+jr9UoAi5qhNw2I7aYI+bOvljcK3DYdwXXnBOUtpLWiFbHo+w?= =?us-ascii?q?c4kCAuwcNuhYtYn9oF4OoAO6CwmxHuPv0D5IiWXs0q08zu8vExvJ3AM+ENkTt3?= =?us-ascii?q?nUtMj1O7wWUeC00KbIzCnDbvNX2Tfz7IjFaR8hofSWUrJxdcrd01UgFwTAjliJ?= =?us-ascii?q?r4HuIj2b1uMIs2eB7upgU/qii3M6qw1rpDivwt8ghZfTiYIOylHL6SV5z5w0Jd?= =?us-ascii?q?2iUkJ7ZsSkEJRIuy6GN4t5WMciQ2R2tyYg0b0Ko4W7czYMxZ86xBDfc+SKf5aU?= =?us-ascii?q?7h/nTuqcIjd1iGh4dL++hRu+61Wsx+/9W8SyzV1EtDBKksPWuXAIzxHT6taISv?= =?us-ascii?q?96/kq53DaAzQHT6uVdLUAzlKrXNoctwrAtmpcRsEnPBCD2mELxjK+ZckUr5PKk?= =?us-ascii?q?5PjgYrXjvpOcNol0hR/iMqk2hMCzHeA1PhINUmWb4+iwybzu8E/jTLlXjPA7k7?= =?us-ascii?q?HVsJXAKsQaoq65DRVV0oEm6xunFzemzc8XnX0GLF1ZeRKHk4joO1DAIPD8Fvq/?= =?us-ascii?q?jFGsny1qx/DCJLHuHpLNLn3bnLf7Ybl981JcyBY0zd1H+51bELQBIPbqVk/1td?= =?us-ascii?q?zYFQM5Phevw+fnDdV9zpkRVXiOAq+fKqPSsEWH6vghI+mWN8cpv2PWIv0hotrv?= =?us-ascii?q?lmNxzVQUeK3s2ZoMdFi5GO5nKgOXeyy/rM0GFDIooxAkTeXjjhWiWDFeLyKqQq?= =?us-ascii?q?g45zo6FJOnA4PrSYWkgbjH1yC+SM4FLltaA0yBRC+7P76PXO0BPXrLf51R1wcc?= =?us-ascii?q?XL3kcLcPkBGjsAiglehiJ+vQvyoZ7NftjYcroeLUkh42+Hp/CMHPizjcHVExpX?= =?us-ascii?q?sBQnoN5I46pEV8zlmZ1q0h2q5XENVS47VCVQJobMeAndw/MMj7X0f6RvnMUEyv?= =?us-ascii?q?G4z0DjQ4T9Z3yNgLMR5w?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CeHQDq0PxdhrCnVdFlFoIuAYE2AgE1W?= =?us-ascii?q?QFDVDMqhAeBHIJehCuGZoITiWp3iESGEIF6CQEDAQwFHgwBAYRAgh4cBwEEOAI?= =?us-ascii?q?NAhABAQQBAQECAQIDBAETAQEBCAsLCCmFPgxCARABgWcigxoLBh0BGwwBAQMNA?= =?us-ascii?q?w0FAw03AiQBEQEFASIpDIMAAYJFAQMJJQ+PaYxyghyBAz2LJoEVBQEXgn8FhFI?= =?us-ascii?q?KGScNZoExAgcSgSIDAQGFGoZ8GnmBB4FHgXE8AoFwPAGBCg4LAQIBGoEgVIJjg?= =?us-ascii?q?l4EjTEYAx2JbXc5lGuBHEeBdwSGSGaOZhuCRId7kBaXI5IbDyOBXYFjMxojgQG?= =?us-ascii?q?COwlHGA0yJYxHDAIJFYM7hHAkgS2EMyMwAQGHOYlcgkEBAQ?= X-IPAS-Result: =?us-ascii?q?A0CeHQDq0PxdhrCnVdFlFoIuAYE2AgE1WQFDVDMqhAeBHIJ?= =?us-ascii?q?ehCuGZoITiWp3iESGEIF6CQEDAQwFHgwBAYRAgh4cBwEEOAINAhABAQQBAQECA?= =?us-ascii?q?QIDBAETAQEBCAsLCCmFPgxCARABgWcigxoLBh0BGwwBAQMNAw0FAw03AiQBEQE?= =?us-ascii?q?FASIpDIMAAYJFAQMJJQ+PaYxyghyBAz2LJoEVBQEXgn8FhFIKGScNZoExAgcSg?= =?us-ascii?q?SIDAQGFGoZ8GnmBB4FHgXE8AoFwPAGBCg4LAQIBGoEgVIJjgl4EjTEYAx2JbXc?= =?us-ascii?q?5lGuBHEeBdwSGSGaOZhuCRId7kBaXI5IbDyOBXYFjMxojgQGCOwlHGA0yJYxHD?= =?us-ascii?q?AIJFYM7hHAkgS2EMyMwAQGHOYlcgkEBAQ?= X-IronPort-AV: E=Sophos;i="5.69,336,1571695200"; d="scan'208,217";a="333876525" X-MGA-submission: =?us-ascii?q?MDH3N3BgbzL8Ef9ccUZdiZz4P37nCG2W/6twTW?= =?us-ascii?q?GsKNko8hXb+ZUY8imYJo3/i0yD2lFFGPHDF1jk3STUMg4nWpAymi4l+n?= =?us-ascii?q?ol/y7ZlGWE8ETIC+82q08+Vegm07L3Jk1reC593tMtP4W1U44C5yON1e?= =?us-ascii?q?yhvPqUcmCl32Kifp9h724bAA=3D=3D?= Received: from mail-oi1-f176.google.com ([209.85.167.176]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 20 Dec 2019 14:52:56 +0100 Received: by mail-oi1-f176.google.com with SMTP id n16so427325oie.12 for ; Fri, 20 Dec 2019 05:52:56 -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=nVWR06JtcD64kIG6V9xEW1Dlz4MwjZtdepPfI8X1BQs=; b=ESjECntarslQgPj9SCX2/ZIUL/wk42HIuRRSalhcbmD0cXsNWkeKda1IyQKl7ulm9g 6380ckYIk7wajirBKTYit6Xe74zUQHNYzAWlhlR/BHKdaE+EGu7z0msC2XAihd8lnG4j 3s7l4rBnb+IePErXJS3kLb4cvzmoUCzodQoQk0t4GsU0yLwmOM5KR8SwQmdOz8PeQrH/ oVZtPHpG3b/1BiC5TYe9rdbpjWnbAQHcjnq/fjaBB6torFinX2svNYGfULbJzWegp9W6 wghgf0j0C8kLc0nb3lFpAQF5eTPmaMQOikIxKLBDoVcU8tj7dAamjW7O34BOtlUD4Fdc 6PMA== 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=nVWR06JtcD64kIG6V9xEW1Dlz4MwjZtdepPfI8X1BQs=; b=huawZbAgmCryHpfwuRbuq99xM+rbttkLzOtLeHF0S+M15Fg22zW+FQOyxV6gC7v07i IC13rqvw2f57aZg+gawoHNfH6VRREPvfKObNGGMHE8OuGziF1crQx1+ov8JZdHYnYwg8 pBjnEHeo5bg92GXyk2E+ICjiUXUc2a8qNaSUfPvtSfaach/QcMgyrRpRdUJCarRwKe6v RUdXaFz6Qv69w5x+uSuj97FIjzrWCDSc1DJKWfgYitRTEivr0an5Jpx8QilcXmylT1Qs yq0ecmFMWfQs5QPQRcTrxM3THYw73OekJJzdQYT0Kcql0KpEglxCd/SxUePZogrEqwOU XSJA== X-Gm-Message-State: APjAAAUFD4iLqJZZsSXQfZWzKkkaUujkdhepXC4OQjP5TnSId83OBKsy X6A1XwS+wvvXGvh1ZXW40iYWnMU/t6on1zyyhHNWPw== X-Google-Smtp-Source: APXvYqwhnZHSJrdaR9+6uDd4PgSl1+XkMpZys9QwdyzYp3vLs5k5HfWappJ97/33vQFns5+s5bhGvatYxWLcRq4WC4Y= X-Received: by 2002:a54:4896:: with SMTP id r22mr3816487oic.30.1576849974755; Fri, 20 Dec 2019 05:52:54 -0800 (PST) Received: from 52669349336 named unknown by gmailapi.google.com with HTTPREST; Fri, 20 Dec 2019 05:52:54 -0800 MIME-Version: 1.0 Sender: Jurriaan Hage From: Jurriaan Hage Date: Fri, 20 Dec 2019 05:52:54 -0800 X-Google-Sender-Auth: ui2kSZr9oi97sW--_6Lk5QU1_AM Message-ID: To: Caml-List Content-Type: multipart/alternative; boundary="0000000000009c0554059a22fed2" Subject: [Caml-list] Third 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: 17919 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: --0000000000009c0554059a22fed2 Content-Type: text/plain; charset="UTF-8" Hello, Please, find below the third 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) *NEW* Invited Speaker We are happy to announce the invited speaker for TFPIE 2020, Thorsten Altenkirch, who also speaks at Lambda Days. At TFPIE 2020 he shall be talking about his new book, Conceptual Programming With Python. *NEW* Registration This year TFPIE takes place outside of the Lambda Days/TFP organisation, although it takes place near their location. This means you do need to register separately for TFPIE; it also means you can register for TFPIE without registering for TFP/LambdaDays, and vice versa. Registration is mandatory for at least one author of every paper that is presented at the workshop. Only papers that have been presented at TFPIE may be submitted to the post-reviewing process. Registration is 25 euro per person. 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/ --0000000000009c0554059a22fed2 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hello,

Please, find below the third call for d= raft papers for TFPIE 2020.
Please forward these to anyone you th= ink may be interested.
Apologies for any duplicates you may receiv= e.

best regards,
Jurriaan Hage
Chair of TFPIE 2020
<= div>
=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 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/~hage= 0101/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, Polan= d
=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)

*NEW* Invited Speaker

We are happy to announce the invit= ed speaker for TFPIE 2020, Thorsten
Altenkirch, who also speaks at Lambd= a Days. At TFPIE 2020 he shall be talking
about his new book, Conceptual= Programming With Python.

*NEW* Registration

This year TFPIE = takes place outside of the Lambda Days/TFP organisation,
although it tak= es place near their location. This means you do need to register
separa= tely for TFPIE; it also means you can register for TFPIE without
registe= ring for TFP/LambdaDays, and vice versa.

Registration is mandatory f= or at least one author of every paper that is
presented at the workshop.= Only papers that have been presented at TFPIE may be
submitted to the p= ost-reviewing process. Registration is 25 euro per person.


TFPI= E 2020 welcomes submissions describing techniques used in the classroom,tools used in and/or developed for the classroom and any creative use offunctional programming (FP) to aid education in or outside Computer Scien= ce.
Topics of interest include, but are not limited to:

=C2=A0 FP= and beginning CS students
=C2=A0 FP and Computational Thinking
=C2= =A0 FP and Artificial Intelligence
=C2=A0 FP in Robotics
=C2=A0 FP an= d Music
=C2=A0 Advanced FP for undergraduates
=C2=A0 FP in graduate e= ducation
=C2=A0 Engaging students in research using FP
=C2=A0 FP in P= rogramming Languages
=C2=A0 FP in the high school curriculum
=C2=A0 F= P as a stepping stone to other CS topics
=C2=A0 FP and Philosophy
=C2= =A0 The pedagogy of teaching FP
=C2=A0 FP and e-learning: MOOCs, automat= ed assessment etc.
=C2=A0 Best Lectures - more details below

In a= ddition 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 p= resentation of a
difficult topic? In either case, please consider sharin= g it. Best lecture topics
will be selected for presentation based on a s= hort 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 comme= ntary on the lecture.

Submissions
Potential presenters are invite= d 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 t= heir preprints and their slides made available on the
workshop's web= site. Papers and abstracts can be submitted via easychair at the
followi= ng link: ht= tps://easychair.org/conferences/?conf=3Dtfpie2020 . After the
worksh= op, presenters will be invited to submit (a revised version of) their
ar= ticle for review. The PC will select the best articles that will be
pub= lished 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
=C2=A0 Submission deadline= : January 14th 2020, Anywhere on Earth.
=C2=A0 Notification: January 17t= h 2020
=C2=A0 TFPIE Registration Deadline: January 20th 2020
=C2=A0 W= orkshop: February 12th 2020
=C2=A0 Submission for formal review: April 1= 9th 2020, Anywhere on Earth.
=C2=A0 Notification of full article: June 6= th 2020
=C2=A0 Camera ready: July 1st 2020

Program Committee
= =C2=A0 Olaf Chitil - University of Kent
=C2=A0 Youyou Cong - Tokyo Insti= tute of Technology
=C2=A0 Marko van Eekelen - Open University of the Net= herlands and Radboud University Nijmegen
=C2=A0 Jurriaan Hage (Chair) - = Utrecht University
=C2=A0 Marco T. Morazan - Seton Hall University, USA=
=C2=A0 Sharon Tuttle - Humboldt State University, USA
=C2=A0 Janis V= oigtlaender - University of Duisburg-Essen
=C2=A0 Viktoria Zsok - Eotvos= Lorand University

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


--0000000000009c0554059a22fed2--