FTfJP 2026 at ECOOP Call for Papers

--===============7448140433197797345==
Content-Language: en-GB
Content-Type: multipart/alternative;
	boundary="_000_PH7PR15MB54266B41795B7E459D4C2CE9CC8DAPH7PR15MB5426namp_"

--_000_PH7PR15MB54266B41795B7E459D4C2CE9CC8DAPH7PR15MB5426namp_
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

Dear researchers,

We would like to invite you to submit your work as a paper to FTfJP 2026 (h=
ttps://eur01.safelinks.protection.outlook.com/?url=3Dhttps%3A%2F%2F2026.eco=
op.org%2Fhome%2FFTfJP-2026&data=3D05%7C02%7Cclean-list%40science.ru.nl%7C91=
d6a367982e4c003b2708de5502be83%7C084578d9400d4a5aa7c7e76ca47af400%7C1%7C0%7=
C639041667457992679%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiI=
wLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&=
sdata=3DnwclzcaXhpO%2BhOroZy2RA0QE%2B%2FzZq9LhE6l0m5K0xkk%3D&reserved=3D0).=
 The Formal Techniques for Judicious Programming (FTfJP) workshop is an est=
ablished workshop which has run annually since 1999 alongside ECOOP, with t=
he goal of bringing together people working in both fields.

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

Paper categories

We solicit two categories of papers:

- Full Papers (12 pages, excluding references) present a technical contribu=
tion, case study, or detailed experience report. We welcome both complete a=
nd incomplete technical results; ongoing work is particularly welcome, prov=
ided 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 dis=
cussion at the workshop. We encourage e.g. established researchers to set o=
ut a personal vision, and beginning researchers to present a planned path t=
o a PhD.

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

The format of the workshop encourages interaction. FTfJP is a forum in whic=
h a wide range of people share their expertise, including experienced resea=
rchers, 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://eur01.safelinks.prot=
ection.outlook.com/?url=3Dhttps%3A%2F%2Fwww.sigplan.org%2FResources%2FAutho=
r%2F&data=3D05%7C02%7Cclean-list%40science.ru.nl%7C91d6a367982e4c003b2708de=
5502be83%7C084578d9400d4a5aa7c7e76ca47af400%7C1%7C0%7C639041667458017870%7C=
Unknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXa=
W4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=3DGg30vNTX%2FPNI=
cUIQ0HKmVO7K92FsGJVVdwOdYsYx99o%3D&reserved=3D0 for details. Submissions sh=
ould be made via Easychair (https://eur01.safelinks.protection.outlook.com/=
?url=3Dhttps%3A%2F%2Feasychair.org%2Fconferences%3Fconf%3Dftfjp2026&data=3D=
05%7C02%7Cclean-list%40science.ru.nl%7C91d6a367982e4c003b2708de5502be83%7C0=
84578d9400d4a5aa7c7e76ca47af400%7C1%7C0%7C639041667458030303%7CUnknown%7CTW=
FpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOI=
joiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=3DpDsgsR5EwNYNCahMTpKlwK8GHD=
nXa0fNf66PFxj2XDQ%3D&reserved=3D0). There is no need to indicate the paper =
category (long/short).

The accepted papers will be published in the ACM Digital Library, though au=
thors 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 reg=
istration 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 topi=
cs related to the workshop goals that allow participants to present prelimi=
nary 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 pla=
n it to be a lightweight process (e.g. title/abstract submission via Google=
 Form).

Invited speakers
Bart Jacobs (KU Leuven)
Julien Lange (Royal Holloway, University of London)

Akos Hajdu
Software engineer
Meta/WhatsApp
PC Chair


--_000_PH7PR15MB54266B41795B7E459D4C2CE9CC8DAPH7PR15MB5426namp_
Content-Type: text/html; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

<html>
<head>
<meta http-equiv=3D"Content-Type" content=3D"text/html; charset=3Diso-8859-=
1">
<style type=3D"text/css" style=3D"display:none;"> P {margin-top:0;margin-bo=
ttom:0;} </style>
</head>
<body dir=3D"ltr">
<div style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, =
Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Dear researchers,<br>
<br>
We would like to invite you to submit your work as a paper to FTfJP 2026 (<=
a style=3D"color: rgb(17, 85, 204); text-align: left;" data-saferedirecturl=
=3D"https://www.google.com/url?q=3Dhttps://2026.ecoop.org/home/FTfJP-2026&a=
mp;source=3Dgmail&amp;ust=3D1768655789221000&amp;usg=3DAOvVaw0XUsgMM34G_e7s=
1_5n6-lK" class=3D"OWAAutoLink" id=3D"OWAb8752a93-2567-105c-192a-620d8b2453=
9b" target=3D"_blank" href=3D"https://eur01.safelinks.protection.outlook.co=
m/?url=3Dhttps%3A%2F%2F2026.ecoop.org%2Fhome%2FFTfJP-2026&amp;data=3D05%7C0=
2%7Cclean-list%40science.ru.nl%7C91d6a367982e4c003b2708de5502be83%7C084578d=
9400d4a5aa7c7e76ca47af400%7C1%7C0%7C639041667458061179%7CUnknown%7CTWFpbGZs=
b3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWF=
pbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&amp;sdata=3DJelAFN1bG7j5QzkghgUTaoGx8Qxy=
GeioQEvYXZtBLNo%3D&amp;reserved=3D0" originalSrc=3D"https://2026.ecoop.org/=
home/FTfJP-2026">https://2026.ecoop.org/home/<wbr>FTfJP-2026</a>).
 The Formal Techniques for Judicious Programming (FTfJP) workshop is an est=
ablished workshop which has run annually since 1999 alongside ECOOP, with t=
he goal of bringing together people working in both fields.</div>
<div style=3D"text-align: left; text-indent: 0px; font-family: Aptos, Aptos=
_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-si=
ze: 12pt; color: rgb(0, 0, 0);" class=3D"elementToProof">
<br>
<b>Important dates</b><br>
- Submission deadline: 18th February, 2026<br>
- Notification: 1st April, 2026<br>
- Camera ready: 30th April, 2026<br>
- Workshop: 30th June, 2026<br>
<br>
<b>Paper categories</b><br>
<br>
We solicit two categories of papers:<br>
<br>
- Full Papers (12 pages, excluding references) present a technical contribu=
tion, case study, or detailed experience report. We welcome both complete a=
nd incomplete technical results; ongoing work is particularly welcome, prov=
ided it is substantial enough to
 stimulate interesting discussions.<br>
- Short Papers (6 pages, excluding references) should advocate a promising =
research direction, or otherwise present a position likely to stimulate dis=
cussion at the workshop. We encourage e.g. established researchers to set o=
ut a personal vision, and beginning
 researchers to present a planned path to a PhD.<br>
<br>
Both types of contributions will benefit from feedback received at the work=
shop. Submissions will be peer reviewed and will be evaluated based on thei=
r clarity and their potential to generate interesting discussions. Reviewin=
g will be single blind, i.e, submissions
 need not be anonymized.<br>
<br>
The format of the workshop encourages interaction. FTfJP is a forum in whic=
h a wide range of people share their expertise, including experienced resea=
rchers, industry practitioners, and early-stage PhD students.<br>
<br>
<b>Submission guidelines</b><br>
<br>
Papers must be formatted according to the guidelines for ACM sigplan papers=
 (\documentclass[sigplan,<wbr>screen]{acmart}), see&nbsp;<a style=3D"color:=
 rgb(17, 85, 204);" data-saferedirecturl=3D"https://www.google.com/url?q=3D=
https://www.sigplan.org/Resources/Author/&amp;source=3Dgmail&amp;ust=3D1768=
655789221000&amp;usg=3DAOvVaw3k6FKqlrJM3MrktpG_-fIh" class=3D"OWAAutoLink" =
id=3D"OWAeb2576b8-fa40-256c-2133-359986b9be86" target=3D"_blank" href=3D"ht=
tps://eur01.safelinks.protection.outlook.com/?url=3Dhttps%3A%2F%2Fwww.sigpl=
an.org%2FResources%2FAuthor%2F&amp;data=3D05%7C02%7Cclean-list%40science.ru=
.nl%7C91d6a367982e4c003b2708de5502be83%7C084578d9400d4a5aa7c7e76ca47af400%7=
C1%7C0%7C639041667458078526%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWU=
sIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7=
C%7C%7C&amp;sdata=3DHpSF7hBv4p%2FUzYaEzFQTSC5UImh9Lx4a5V3P6cq8Pf8%3D&amp;re=
served=3D0" originalSrc=3D"https://www.sigplan.org/Resources/Author/">https=
://www.sigplan.org/<wbr>Resources/Author/</a>&nbsp;for
 details. Submissions should be made via Easychair (<a style=3D"color: rgb(=
17, 85, 204);" data-saferedirecturl=3D"https://www.google.com/url?q=3Dhttps=
://easychair.org/conferences?conf%3Dftfjp2026&amp;source=3Dgmail&amp;ust=3D=
1768655789221000&amp;usg=3DAOvVaw2gJHJiW0Hzh8GsElZsyiY6" class=3D"OWAAutoLi=
nk" id=3D"OWA96b28e37-4446-5df5-58e0-2d451e7022b3" target=3D"_blank" href=
=3D"https://eur01.safelinks.protection.outlook.com/?url=3Dhttps%3A%2F%2Feas=
ychair.org%2Fconferences%3Fconf%3Dftfjp2026&amp;data=3D05%7C02%7Cclean-list=
%40science.ru.nl%7C91d6a367982e4c003b2708de5502be83%7C084578d9400d4a5aa7c7e=
76ca47af400%7C1%7C0%7C639041667458098681%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU=
1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyf=
Q%3D%3D%7C0%7C%7C%7C&amp;sdata=3D8lu6n2hfxblk3FkQSThydt30pelsByXmE9MLf080vT=
w%3D&amp;reserved=3D0" originalSrc=3D"https://easychair.org/conferences?con=
f=3Dftfjp2026">https://easychair.org/<wbr>conferences?conf=3Dftfjp2026</a>)=
.
 There is no need to indicate the paper category (long/short).<br>
<br>
The accepted papers will be published in the ACM Digital Library, though au=
thors 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 reg=
istration date and attend the workshop
 to present the work and participate in the discussions.<br>
<br>
<b>Lightning talks</b><br>
<br>
In addition to papers, we also invite lightning talks (~10 minutes) on topi=
cs related to the workshop goals that allow participants to present prelimi=
nary work in academia and industry. Examples include but not limited to<br>
- Proposing a research problem/challenge<br>
- Presenting a tool/demo<br>
- Presenting a short summary of a work already published elsewhere<br>
<br>
Submission information will be announced closer to the workshop, but we pla=
n it to be a lightweight process (e.g. title/abstract submission via Google=
 Form).<br>
<br>
<b>Invited speakers</b></div>
<div style=3D"text-align: left; text-indent: 0px; font-family: Aptos, Aptos=
_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-si=
ze: 12pt; color: rgb(0, 0, 0);" class=3D"elementToProof">
Bart Jacobs (KU Leuven)</div>
<div style=3D"text-align: left; text-indent: 0px; font-family: Aptos, Aptos=
_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-si=
ze: 12pt; color: rgb(0, 0, 0);" class=3D"elementToProof">
Julien Lange (Royal Holloway, University of London)<b><br>
</b><br>
Akos Hajdu<br>
Software engineer<br>
Meta/WhatsApp<br>
PC Chair</div>
<div style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, =
Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
</body>
</html>

--_000_PH7PR15MB54266B41795B7E459D4C2CE9CC8DAPH7PR15MB5426namp_--

--===============7448140433197797345==
Content-Type: text/plain; charset="utf-8"
MIME-Version: 1.0
Content-Transfer-Encoding: base64
Content-Disposition: inline

X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KY2xlYW4tbGlz
dCBtYWlsaW5nIGxpc3QKY2xlYW4tbGlzdEBzY2llbmNlLnJ1Lm5sCmh0dHBzOi8vbWFpbG1hbi5z
Y2llbmNlLnJ1Lm5sL21haWxtYW4vbGlzdGluZm8vY2xlYW4tbGlzdAo=

--===============7448140433197797345==--