FTfJP 2025 – Formal Techniques for Judicious Programming: Preface.
Abstract
The 27th Workshop on Formal Techniques for Judicious Programming (FTfJP 2025) was held in Bergen, Norway, on July 3, 2025, co-located with ECOOP 2025.FTfJP is an established workshop that has been organized alongside ECOOP since 1999.Formerly known as Formal Techniques for Java-like Programs, the workshop broadened its scope to encompass both practical and theoretical approaches for formal reasoning about correctness and security across all programming languages.The workshop welcomes both completed and ongoing research to stimulate discussion about the future of the field.
Fields of Study & Subjects
Logic
programming
and type systems
Formal Methods in Verification
Teaching and Learning Programming
Publication details
- Journal / source
- The Journal of Object Technology
- Volume
- 25
- Issue
- 1
- Pages
- 1–1
- Publication date
- 1 January 2026
- Language
- EN