[TYPES/announce] FTfJP 2026 call for papers

[Gidon Ernst]

[apologies for cross-posting]

Dear researchers,

We would like to invite you to submit your work as a paper to FTfJP 2026 
(https://urldefense.com/v3/__https://2026.ecoop.org/home/FTfJP-2026__;!!IBzWLUs!Rk9EhxcmydhkQVHMoovgrIPt2ykXXKtIjExs1gPUk_BfAdmepAO8NgMpoz2D5XRuJ7MQi-7h3xFXnxUlK15sZQvpDzg3fCkdaok$  
<https://urldefense.com/v3/__https://2026.ecoop.org/home/FTfJP-2026__;!!IBzWLUs!Rk9EhxcmydhkQVHMoovgrIPt2ykXXKtIjExs1gPUk_BfAdmepAO8NgMpoz2D5XRuJ7MQi-7h3xFXnxUlK15sZQvpDzg3fCkdaok$ >). The Formal Techniques for 
Judicious Programming (FTfJP) workshop is an established workshop which 
has run annually since 1999 alongside ECOOP, with the goal of bringing 
together people working in both fields.

*Paper categories*

We solicit two categories of papers:

- Full Papers (12 pages, excluding references) present a technical 
contribution, case study, or detailed experience report. We welcome both 
complete and incomplete technical results; ongoing work is particularly 
welcome, provided it is substantial enough to stimulate interesting 
discussions.
- Short Papers (6 pages, excluding references) should advocate a 
promising research direction, or otherwise present a position likely to 
stimulate discussion at the workshop. We encourage e.g. established 
researchers to set out a personal vision, and beginning researchers to 
present a planned path to a PhD.

Both types of contributions will benefit from feedback received at the 
workshop. Submissions will be peer reviewed and will be evaluated based 
on their clarity and their potential to generate interesting 
discussions. Reviewing will be single blind, i.e, submissions need not 
be anonymized.

The format of the workshop encourages interaction. FTfJP is a forum in 
which a wide range of people share their expertise, including 
experienced researchers, industry practitioners, and early-stage PhD 
students.

*Submission guidelines*

Papers must be formatted according to the guidelines for ACM sigplan 
papers (\documentclass[sigplan,screen]{acmart}), see 
https://urldefense.com/v3/__https://www.sigplan.org/Resources/Author/__;!!IBzWLUs!Rk9EhxcmydhkQVHMoovgrIPt2ykXXKtIjExs1gPUk_BfAdmepAO8NgMpoz2D5XRuJ7MQi-7h3xFXnxUlK15sZQvpDzg3QoruuRg$  for details. Submissions 
should be made via Easychair 
(https://urldefense.com/v3/__https://easychair.org/conferences?conf=ftfjp2026__;!!IBzWLUs!Rk9EhxcmydhkQVHMoovgrIPt2ykXXKtIjExs1gPUk_BfAdmepAO8NgMpoz2D5XRuJ7MQi-7h3xFXnxUlK15sZQvpDzg3hQJkzbs$ ). There is no need to 
indicate the paper category (long/short).

The accepted papers will be published in the ACM Digital Library, though 
authors will be able to opt out of this publication, if desired. At 
least one author of an accepted paper must register to the workshop by 
the early registration date and attend the workshop to present the work 
and participate in the discussions.

*Lightning talks*

In addition to papers, we also invite lightning talks (~10 minutes) on 
topics related to the workshop goals that allow participants to present 
preliminary work in academia and industry. Examples include but not 
limited to
- Proposing a research problem/challenge
- Presenting a tool/demo
- Presenting a short summary of a work already published elsewhere

Submission information will be announced closer to the workshop, but we 
plan it to be a lightweight process (e.g. title/abstract submission via 
Google Form).

*Important dates*
*
*
- Submission deadline: 18th February, 2026
- Notification: 1st April, 2026
- Camera ready: 30th April, 2026
- Workshop: 30th June, 2026

Akos Hajdu
Software engineer
Meta/WhatsApp
PC Chair