Email Gateway (Feb 17 2026 at 11:32): Email Gateway (Feb 17 2026 at 11:32):From: Akos Hajdu <cl-isabelle-users@lists.cam.ac.uk>
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). 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.
Important dates
We have also confirmed the following invited speakers:
Bart Jacobs (KU Leuven)
Julien Lange (Royal Holloway, University of London)
Best regards,
Akos Hajdu
Meta
PC Chair
Last updated: Feb 22 2026 at 05:16 UTC