Hello,
best regards,
Jurriaan Hage
http://www.staff.science.uu.nl/~hage0101/tfpie2020/index.html
*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/
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
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/
No comments:
Post a Comment