Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: Youyou Cong <cong@c.titech.ac.jp>
To: types-announce@lists.seas.upenn.edu, agda@lists.chalmers.se,
	 caml-list@inria.fr, coq-club@inria.fr, haskell@haskell.org
Subject: [Caml-list] TFPIE 2027 Call for Papers (March 2027, Kyoto, Japan)
Date: Wed, 26 Aug 2026 22:12:00 +0900	[thread overview]
Message-ID: <CAD=QVpype6-osW-Y5dTn-XYpNNfXMLPDBwSnATJKksW+ARSqcg@mail.gmail.com> (raw)

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

-------------------------------------------------------
Call for Papers
TFPIE 2027: The 16th International Workshop on
Trends in Functional Programming in Education
March 12th 2027, Kyoto, Japan, co-located with TFP 2027
https://wiki.tfpie.science.ru.nl/TFPIE2027
-------------------------------------------------------

## Topics

TFPIE welcomes submissions describing classroom techniques, classroom
tools, and creative uses of functional programming (FP) to aid education in
or outside computer science. Topics of interest include, but are not
limited to:

* FP at different levels (high school, first-year and advanced
undergraduate, graduate)
* FP and the arts (incl. music, animation, games, philosophy and other
liberal arts)
* FP and applications (in computer science, robotics, artificial
intelligence, etc.)
* FP and pedagogy (incl., e.g., computational thinking, e-learning,
automated assessment)
* FP for building student engagement in research

In addition to papers, we invite best-lecture presentations. These are an
opportunity to share your favorite classroom moments. Show us your favorite
material or favorite way of presenting it. For best-lecture presentations,
please submit a short abstract describing the lecture and its interest to
TFPIE attendees.

## Submission Instructions

Submission is via EasyChair:

https://easychair.org/my/conference?conf=tfpie2027

Authors of papers have the choice of having their contributions formally
reviewed either before or after the workshop. Further, pre-workshop
submissions may either be full (earlier deadline) or draft papers (later
deadline). See below for more details.

Accepted papers from the pre-workshop and post-workshop formal review will
appear in a formal proceedings, published in the Electronic Proceedings in
Theoretical Computer Science (EPTCS).

Reviewing is single-blind.

### Pre-workshop formal review

Papers to be formally reviewed before the workshop should be submitted
before the early deadline and will receive their reviews and notification
of acceptance for both presentation and publication before the workshop. A
paper that has been rejected for publication but accepted for presentation
may be revised and resubmitted for the post-workshop formal review. A paper
that has been rejected for presentation will not be formally reviewed by
the PC.

### Post-workshop formal review

Draft papers will receive minimal reviews and notification of acceptance
for presentation at the workshop. Authors of draft papers will be invited
to submit revised papers based on the feedback received at the workshop. A
post-workshop refereeing process will then select a subset of these papers
for formal publication.

### Formatting requirements

Papers must be written in English, and formatted using the EPTCS style (
https://style.eptcs.org/). Papers submitted for formal review must be
submitted as full papers (7-20 pages). Draft papers may be submitted as
extended abstracts (4-6 pages) or full papers (7-20 pages). The page limits
do not include bibliography. For best-lecture presentations, we also accept
short abstracts.

If you wish to make a submission outside the above formats, please contact
the PC chair to discuss. Because TFPIE aims to encourage creative and
experimental research ideas, we may be able to accommodate some
non-traditional submissions on a case-by-case basis.

## Important Dates

All deadlines are Anywhere-on-Earth.

* Submission deadline (pre-workshop full papers): November 19, 2026
* Notification (pre-workshop full papers): December 17, 2026
* Submission deadline (pre-workshop draft papers): February 4, 2027
* Notification (pre-workshop draft papers): February 11, 2027
* Submission deadline (post-workshop review): April 8, 2027
* Notification (post-workshop review): May 12, 2027

## Program Committee

* Youyou Cong (chair) - Institute of Science Tokyo, Japan
* Hsiang-Shang 'Josh' Ko - Academia Sinica, Taiwan
* Jens Mönig - SAP, Germany
* Paige Randall North - Utrecht University, Netherlands
* Liam O'Connor - Australian National University, Australia
* Joe Gibbs Politz - University of California at San Diego, USA
* Katsuhiro Ueno - Niigata University, Japan

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

                 reply	other threads:[~2026-08-26 13:13 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='CAD=QVpype6-osW-Y5dTn-XYpNNfXMLPDBwSnATJKksW+ARSqcg@mail.gmail.com' \
    --to=cong@c.titech.ac.jp \
    --cc=agda@lists.chalmers.se \
    --cc=caml-list@inria.fr \
    --cc=coq-club@inria.fr \
    --cc=haskell@haskell.org \
    --cc=types-announce@lists.seas.upenn.edu \
    /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