[Caml-list] TFPIE 2026 - Call for Papers

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.

[Caml-list] IFL2025 Call for Participation

==========================================================
Call for Participation


IFL 2025


37th Symposium on Implementation and Application of Functional Languages



Montevideo, Uruguay

October 1-3, 2025
(Tutorials September 29-30)


https://www.fing.edu.uy/inco/congresos/ifl2025


==========================================================

The goal of the IFL symposia is to bring together researchers actively
engaged in the implementation and application of functional and
function-based programming languages. IFL 2025 will be a venue for
researchers to present and discuss new ideas and concepts, work in
progress, and publication-ripe results related to the implementation and
application of functional languages and function-based programming.


### Registration


The registration fee covers use of facilities, participation in the
tutorials and symposium, lunches, coffee breaks, social outing,
symposium dinner and access to draft proceedings.
Early Bird Registration Deadline is Sep 5, 2025.

https://www.fing.edu.uy/inco/congresos/ifl2025/register.html

If you choose online payment at registration, you will receive payment
instructions during the week.

### Keynote speakers

Roberto Ierusalimschy
Departamento de Informática, PUC-Rio, Río de Janeiro, Brazil
Functions in Lua

Iván Pérez
NASA Ames Research Center, California, USA
Making Haskell Fly

https://www.fing.edu.uy/inco/congresos/ifl2025/keynotes.html


### Tutorials

On September 29 and 30, the two days prior to the symposium, four
tutorials will be held:

Gradual typing
Éric Tanter, University of Chile, Chile

Type Based Static Analysis
Jurriaan Hage, Heriot-Watt University, UK

Development of dApps in the UTxO model
TxPipe, Argentina

Programming-Based Automata Theory
Marco T. Morazán, Seton Hall University, USA

https://www.fing.edu.uy/inco/congresos/ifl2025/tutorials.html


### Accepted Papers

Regular Papers:
Compilation of the Stochastic Language ALEA, Baltasar Trancón Y
Widemann and Markus Lepper.
Design and Implementation of DSLs for Unit Testing, Marco T. Morazán
and Andres Garced.
Recipe-Based Errors: Methodology, Implementation, and Evaluation,
Marco T. Morazán, Shamil Dzhatdoyev, Josephine Des Rosiers, Rose
Bohrer, Andres Garced and David Anthony Fields.
Refinement-Types Driven Development: A study, Facundo Domínguez and
Arnaud Spiwack.

Draft Papers:


AI-Assisted Program Design Using Structural Recursion, Marco T. Morazán.
A Quantum-Control Lambda-Calculus with Multiple Measurement Bases,
Nicolas A. Monzon and Alejandro Díaz-Caro.
Automatic Testing for Finite-State Machines, Marco T. Morazán, Sophia
G. Turano, Andres Garced and David Anthony Fields.
Closures in a Higher-Order Polymorphic DSL for GPU programming, Andre
Rauber Du Bois, Henrique Gabriel Rodrigues and Rodrigo Geraldo
Ribeiro.
Energy-aware Data-Parallel Functional Array Processing for
Heterogeneous Platforms, Clemens Grelck.
Formalizating System I with type Top in Agda, Agustín Séttimo,
Cristian Sottile and Cecilia Manzino.
Foundations of Gradual Abstract Interpretation, Gaspar Ricci,
Sebastian Erdweg, Éric Tanter and Matías Toro.
Heuristics-based Type Error Diagnosis for Haskell: the case of type
families, Niels Kwadijk and Jurriaan Hage.
Higher-ranked region inference for polymorphic, lazy languages, Ivo
Gabe de Wolff and Jurriaan Hage.
Improving a Group Membership Protocol Implementation using Liquid
Haskell and QuickCheck, Jianhao Li and Viktoria Zsok.
List Fold Operators in Dafny, Juan Michelini, Nora Szasz and Alvaro Tasistro.
Reducibility candidates modulo isomorphisms, Cristian Sottile and
Alejandro Díaz-Caro.
Type Checking Dependently Sorted Nominal Signatures, Maribel
Fernandez, Miguel Pagano, Nora Szasz and Alvaro Tasistro.
Unrestricted Grammar Design and Visualization: A Design Recipe and
Dynamic Visualization Tool, Marco T. Morazán, Andres Garced and Tijana
Minić.