FTfJP 2025 – Formal Techniques for Judicious Programming: Preface

By: Crystal Chang Din

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.

Keywords

Formal methods, Program verification, Programming languages, Semantics, Concurrency

Cite as:

Crystal Chang Din, “FTfJP 2025 – Formal Techniques for Judicious Programming: Preface”, Journal of Object Technology, Volume 25, no. 1 ( 2026), pp. 1-2, doi:10.5381/jot.2026.25.1.e2.

DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn