Email Gateway (Jan 13 2026 at 18:17): Email Gateway (Jan 13 2026 at 18:17):From: Gidon Ernst <gidon.ernst@lmu.de>
[apologies for cross-posting]
Dear researchers,
We would like to invite you to submit your work as a paper to FTfJP 2026
(https://2026.ecoop.org/home/FTfJP-2026
<https://2026.ecoop.org/home/FTfJP-2026>). 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://www.sigplan.org/Resources/Author/ for details. Submissions
should be made via Easychair
(https://easychair.org/conferences?conf=ftfjp2026). 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
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
*
*
Akos Hajdu
Software engineer
Meta/WhatsApp
PC Chair
Last updated: Jan 31 2026 at 12:53 UTC