caml-list - the Caml user's mailing list
 help / color / Atom feed
* [Caml-list] Second call for draft papers for TFPIE 2020 (Trends in Functional Programming in Education)
@ 2019-11-14  8:15 Jurriaan Hage
  0 siblings, 0 replies; only message in thread
From: Jurriaan Hage @ 2019-11-14  8:15 UTC (permalink / raw)
  To: Caml-List

[-- Attachment #1: Type: text/plain, Size: 3504 bytes --]

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/

[-- Attachment #2: Type: text/html, Size: 4288 bytes --]

<div dir="ltr">Hello,<br><br><div>Please, find below the second call for draft papers for TFPIE 2020.</div><div>Please forward these to anyone you think may be interested.<br></div>Apologies for any duplicates you may receive.<br><br>best regards,<br>Jurriaan Hage<br><div>Chair of TFPIE 2020</div><div><br></div><div>========================================================================     <br></div> <br><br><div>                                            TFPIE 2020 Call for papers</div><div><br></div>                  <a href="http://www.staff.science.uu.nl/~hage0101/tfpie2020/index.html" target="_blank">http://www.staff.science.uu.nl/~hage0101/tfpie2020/index.html</a><br><div><br></div><div>                                    February 12th 2020, Krakow, Poland <br></div><div>                            (co-located with TFP 2020 and Lambda Days)</div><br>TFPIE 2020 welcomes submissions describing techniques used in the classroom,<br>tools used in and/or developed for the classroom and any creative use of<br>functional programming (FP) to aid education in or outside Computer Science.<br>Topics of interest include, but are not limited to:<br><br>  FP and beginning CS students<br>  FP and Computational Thinking<br>  FP and Artificial Intelligence<br>  FP in Robotics<br>  FP and Music<br>  Advanced FP for undergraduates<br>  FP in graduate education<br>  Engaging students in research using FP<br>  FP in Programming Languages<br>  FP in the high school curriculum<br>  FP as a stepping stone to other CS topics<br>  FP and Philosophy<br>  The pedagogy of teaching FP<br>  FP and e-learning: MOOCs, automated assessment etc.<br>  Best Lectures - more details below<br><br>In addition 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 presentation of a<br>difficult topic? In either case, please consider sharing it. Best lecture topics<br>will be selected for presentation based on a short 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 commentary on the lecture.<br><br>Submissions<br>Potential presenters are invited 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 their preprints and their slides made available on the<br>workshop&#39;s website. Papers and abstracts can be submitted via easychair at the<br>following link: <a href="https://easychair.org/conferences/?conf=tfpie2020" target="_blank">https://easychair.org/conferences/?conf=tfpie2020</a> . After the<br>workshop, presenters will be invited to submit (a revised version of) their<br>article for review. The PC will select the best articles that will be <br>published 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>  Submission deadline: January 14th 2020, Anywhere on Earth. <br>  Notification: January 17th 2020<br>  TFPIE Registration Deadline: January 20th 2020<br>  Workshop: February 12th 2020<br>  Submission for formal review: April 19th 2020, Anywhere on Earth.<br>  Notification of full article: June 6th 2020<br>  Camera ready: July 1st 2020<br><br>Program Committee<br>  Olaf Chitil - University of Kent<br>  Youyou Cong - Tokyo Institute of Technology<br>  Marko van Eekelen - Open University of the Netherlands and Radboud University Nijmegen<br>  Jurriaan Hage (Chair) - Utrecht University <br>  Marco T. Morazan - Seton Hall University, USA<br>  Sharon Tuttle - Humboldt State University, USA<br>  Janis Voigtlaender - University of Duisburg-Essen<br>  Viktoria Zsok - Eotvos Lorand University<br><br>Note: information on TFP is available at <a href="http://www.cse.chalmers.se/~rjmh/tfp/" target="_blank">http://www.cse.chalmers.se/~rjmh/tfp/</a><br><br></div>

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-11-14  8:15 [Caml-list] Second call for draft papers for TFPIE 2020 (Trends in Functional Programming in Education) Jurriaan Hage

caml-list - the Caml user's mailing list

Archives are clonable:
	git clone --mirror http://inbox.vuxu.org/caml-list
	git clone --mirror https://inbox.ocaml.org/caml-list

Example config snippet for mirrors

Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.caml-list


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git