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 - Submission deadline: 25th February, 2026 (extended) - Notification: 1st April, 2026 - Camera ready: 30th April, 2026 - Workshop: 30th June, 2026 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
_______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
