Third call for draft papers for TFPIE 2020 (Trends in Functional Programming in Education)

--===============5397432957079938346==
Content-Type: multipart/alternative; boundary="000000000000c2fc64059a22fdc4"

--000000000000c2fc64059a22fdc4
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/

-- 
To unsubscribe from this group and stop receiving emails from it, send an email to [email protected].

--000000000000c2fc64059a22fdc4
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">Hello,<br><br><div>Please, find below the third call for d=
raft papers for TFPIE 2020.</div><div>Please forward these to anyone you th=
ink may be interested.<br></div>Apologies for any duplicates you may receiv=
e.<br><br>best regards,<br>Jurriaan Hage<br><div>Chair of TFPIE 2020</div><=
div><br></div><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 <br></div><div><br><div>=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</div><div><br></div>=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 <a href=3D"http://www.staff.science.uu.nl/~hage0101/t=
fpie2020/index.html" target=3D"_blank">http://www.staff.science.uu.nl/~hage=
0101/tfpie2020/index.html</a><br><div><br></div><div>=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 <br></div><div>=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)</=
div><br><br>*NEW* Invited Speaker<br><br>We are happy to announce the invit=
ed speaker for TFPIE 2020, Thorsten<br>Altenkirch, who also speaks at Lambd=
a Days. At TFPIE 2020 he shall be talking<br>about his new book, Conceptual=
 Programming With Python.<br><br>*NEW* Registration<br><br>This year TFPIE =
takes place outside of the Lambda Days/TFP organisation,<br>although it tak=
es place near their location. This means you do need to register <br>separa=
tely for TFPIE; it also means you can register for TFPIE without<br>registe=
ring for TFP/LambdaDays, and vice versa.<br><br>Registration is mandatory f=
or at least one author of every paper that is<br>presented at the workshop.=
 Only papers that have been presented at TFPIE may be<br>submitted to the p=
ost-reviewing process. Registration is 25 euro per person. <br><br><br>TFPI=
E 2020 welcomes submissions describing techniques used in the classroom,<br=
>tools used in and/or developed for the classroom and any creative use of<b=
r>functional programming (FP) to aid education in or outside Computer Scien=
ce.<br>Topics of interest include, but are not limited to:<br><br>=C2=A0 FP=
 and beginning CS students<br>=C2=A0 FP and Computational Thinking<br>=C2=
=A0 FP and Artificial Intelligence<br>=C2=A0 FP in Robotics<br>=C2=A0 FP an=
d Music<br>=C2=A0 Advanced FP for undergraduates<br>=C2=A0 FP in graduate e=
ducation<br>=C2=A0 Engaging students in research using FP<br>=C2=A0 FP in P=
rogramming Languages<br>=C2=A0 FP in the high school curriculum<br>=C2=A0 F=
P as a stepping stone to other CS topics<br>=C2=A0 FP and Philosophy<br>=C2=
=A0 The pedagogy of teaching FP<br>=C2=A0 FP and e-learning: MOOCs, automat=
ed assessment etc.<br>=C2=A0 Best Lectures - more details below<br><br>In a=
ddition to papers, we are requesting best lecture presentations. What&#39;s=
 your<br>best lecture topic in an FP related course? Do you have a fun way =
to present FP<br>concepts to novices or perhaps an especially interesting p=
resentation of a<br>difficult topic? In either case, please consider sharin=
g it. Best lecture topics<br>will be selected for presentation based on a s=
hort abstract describing the<br>lecture and its interest to TFPIE attendees=
. The length of the presentation<br>should be comparable to that of a paper=
. On top of the lecture itself, <br>the presentation can also provide comme=
ntary on the lecture.<br><br>Submissions<br>Potential presenters are invite=
d to submit an extended abstract (4-6 pages) or a<br>draft paper (up to 20 =
pages) in EPTCS style. The authors of accepted<br>presentations will have t=
heir preprints and their slides made available on the<br>workshop&#39;s web=
site. Papers and abstracts can be submitted via easychair at the<br>followi=
ng link: <a href=3D"https://easychair.org/conferences/?conf=3Dtfpie2020">ht=
tps://easychair.org/conferences/?conf=3Dtfpie2020</a> . After the<br>worksh=
op, presenters will be invited to submit (a revised version of) their<br>ar=
ticle for review. The PC will select the best articles that will be <br>pub=
lished in the Electronic Proceedings in Theoretical Computer Science (EPTCS=
).<br>Articles rejected for presentation and extended abstracts will not be=
 formally<br>reviewed by the PC.<br><br>Dates<br>=C2=A0 Submission deadline=
: January 14th 2020, Anywhere on Earth.<br>=C2=A0 Notification: January 17t=
h 2020<br>=C2=A0 TFPIE Registration Deadline: January 20th 2020<br>=C2=A0 W=
orkshop: February 12th 2020<br>=C2=A0 Submission for formal review: April 1=
9th 2020, Anywhere on Earth.<br>=C2=A0 Notification of full article: June 6=
th 2020<br>=C2=A0 Camera ready: July 1st 2020<br><br>Program Committee<br>=
=C2=A0 Olaf Chitil - University of Kent<br>=C2=A0 Youyou Cong - Tokyo Insti=
tute of Technology<br>=C2=A0 Marko van Eekelen - Open University of the Net=
herlands and Radboud University Nijmegen<br>=C2=A0 Jurriaan Hage (Chair) - =
Utrecht University <br>=C2=A0 Marco T. Morazan - Seton Hall University, USA=
<br>=C2=A0 Sharon Tuttle - Humboldt State University, USA<br>=C2=A0 Janis V=
oigtlaender - University of Duisburg-Essen<br>=C2=A0 Viktoria Zsok - Eotvos=
 Lorand University<br><br>Note: information on TFP is available at <a href=
=3D"http://www.cse.chalmers.se/~rjmh/tfp/">http://www.cse.chalmers.se/~rjmh=
/tfp/</a><br><br></div><div><br></div></div>

<p></p>

-- <br />
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:[email protected]">mlton-user+unsu=
[email protected]</a>.<br />

--000000000000c2fc64059a22fdc4--


--===============5397432957079938346==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline


--===============5397432957079938346==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
MLton-user mailing list
[email protected]; [email protected]
https://lists.sourceforge.net/lists/listinfo/mlton-user

--===============5397432957079938346==--