From: Mart Lubbers <ifl21.publicity@gmail.com>
To: Caml-List <caml-list@inria.fr>
Subject: [Caml-list] TFPIE 2026 - Call for Papers
Date: Mon, 29 Sep 2025 02:46:50 -0500 [thread overview]
Message-ID: <CAGtcRvAVim69esoAOM6Tm21Gya5MRn_d1bxHNDi6ZPVZjQU8EA@mail.gmail.com> (raw)
TFPIE 2026 Call for papers
https://wiki.tfpie.science.ru.nl/TFPIE2026
(January 26th 2026, Odense, Denmark, co-located with TFP 2026 at
University of Southern Denmark)
TFPIE 2026 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. In addition, the speaker can provide
commentary on effectiveness or student feedback.
## 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=tfpie2026
After the workshop, presenters are invited to submit (a revised
version of) their article for the formal review. The PC will select
the best articles for publication in the Electronic Proceedings in
Theoretical Computer Science (EPTCS). Articles rejected for
presentation and extended abstracts will not be formally reviewed by
the PC.
## Important Dates
Submission deadline: December 26th 2023, Anywhere on Earth
Notification: by December 30th 2023 (Note: submissions will be
evaluated on a rolling basis, so earlier submissions will receive an
earlier response)
TFPIE Registration Deadline:
Workshop: January 26th 2026
Submission for formal review: April 22nd 2026, Anywhere on Earth
Notification of full article: May 27th 2026
Camera ready: June 24th 202
## Program Committee
Mart Lubbers, Radboud University, Nijmegen, Netherlands (PC Chair)
Tim Steenvoorden, Open Universitei, Heerlen, Netherlands
Marco T. Morazán, Seton Hall University, South Orange, NJ, USA
Guannan Wei, Tufts University, Medford, MA, USA
Marcos Viera, Universidad de la República, Montevideo, Uruguay
Johannes Åman Pohjola, Chalmers University of Technology, Götenburg, Sweden
## Registration information
See https://wiki.tfpie.science.ru.nl/TFPIE2026 for updated information.
Registration and attendance are 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.
reply other threads:[~2025-09-29 7:46 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=CAGtcRvAVim69esoAOM6Tm21Gya5MRn_d1bxHNDi6ZPVZjQU8EA@mail.gmail.com \
--to=ifl21.publicity@gmail.com \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox