Call for Papers: FTfJP 2025 – Formal Techniques for Judicious Programming

Formal techniques are crucial for analyzing programs, precisely describing their behavior, and verifying their properties. Modern programming languages like C#, Java, Kotlin, Rust, and Scala are significant targets for these techniques due to their widespread use, stable interfaces, and complex libraries, presenting ongoing research challenges.

The Workshop on Formal Techniques for Judicious Programming (FTfJP) has been an annual event since 1999, held alongside ECOOP, to foster collaboration between those working in formal techniques and programming language research.

In 2024, the workshop name was updated from “Formal Techniques for Java-like Programs” to “Formal Techniques for Judicious Programming” to encompass a wider range of programming languages and related research.

Paper Categories

We solicit two categories of papers:

• Full Papers: (12 pages, excluding references) These papers should present a technical contribution, case study, or detailed experience report. Both complete and incomplete technical results are welcome; ongoing work that can stimulate discussion is particularly encouraged.
• Short Papers: (6 pages, excluding references) These papers should advocate a promising research direction or present a position that is likely to stimulate discussion. This category is suitable for established researchers outlining a vision or early-career researchers planning their PhD path.

Both paper types will benefit from feedback at the workshop. Submissions will be peer-reviewed and evaluated based on clarity and their potential to generate interesting discussions. The reviewing process is single blind, meaning submissions do not need to be anonymized.

FTfJP is designed to encourage interaction, serving as a forum for diverse expertise, from experienced researchers to PhD students.

Submission Guidelines

• Formatting: Papers must be formatted according to the guidelines for Springer LNCS papers.
• Submission Platform: Submissions must be made via EasyChair: https://easychair.org/conferences?conf=ftfjp2025.
• Paper Category: There is no need to indicate the paper category (long/short) during submission.
• Publication: Accepted papers will be published as post-proceedings in the Journal of Object Technology (JOT). Authors may opt out of this publication.
• Attendance: At least one author of an accepted paper must register for the workshop by the early registration deadline and attend to present the work and engage in discussions.

Important Dates (AoE - UTC-12h)

1. Workshop Date: Thursday, July 3, 2025
2. Early Registration Deadline: Wednesday, May 28, 2025
3. Notification: Wednesday, May 21, 2025
4. Submission Deadline (extended): Wednesday, May 7, 2025

Example Topics of Interest

• Language design and semantics
• Type systems
• Concurrency and new application domains
• Specification and verification of program properties
• Program analysis (static or dynamic)
• Program synthesis
• Security
• Pearls (programs or proofs)

FTfJP welcomes submissions on technical contributions, case studies, experience reports, challenge proposals, tools, and position papers.

Keynote Speakers

• Jonathan Aldrich, Carnegie Mellon University, USA. Topic: Gradual Verification: Assuring Software Incrementally.
• Pavle Subotic, Sonic Research, Serbia. Topic: Formal Model Guided Conformance Testing for Blockchains.

Program Committee

• PC Chair: Crystal Chang Din (University of Bergen, Norway)
• PC Members: Richard Bubel (Technische Universität Darmstadt, Germany), Syed Ali Asadullah Bukhari (Maynooth University, Ireland), Claire Dross (AdaCore, France), Erik Ernst (Google Inc., Denmark), Marie Farrell (The University of Manchester, United Kingdom), Carlo A. Furia (Università della Svizzera italiana (USI), Switzerland), Atsushi Igarashi (Kyoto University, Japan), Marie-Christine Jakobs (LMU Munich, Germany), Taylor T Johnson (Vanderbilt University, United States), Matthew Lutze (Aarhus University), Wojciech Mostowski (Halmstad University), Wytse Oortwijn (TNO-ESI, Netherlands), Violet Ka I Pun (Western Norway University of Applied Sciences, Norway), Anton Wijs (Eindhoven University of Technology, Netherlands), Elena Zucca (University of Genoa, Italy)

Steering Committee

• Steering Committee Chair: Rosemary Monahan (Department of Computer Science & Hamilton Institute, Maynooth University, Ireland)
• Steering Committee Members: Werner Dietl (University of Waterloo, Canada), Radu Grigore (Facebook, United Kingdom), Gary T. Leavens (University of Central Florida, United States), Alexander J. Summers (University of British Columbia, Canada)