FTfJP 2026 — 28th Workshop on Formal Techniques for Judicious Programming (at ECOOP 2026) (FTfJP)

FTfJP is a long-running ECOOP workshop (since 1999) on formal techniques for programming languages, now 'Formal Techniques for Judicious Programming'. It invites original contributions on type systems, program semantics, specification and verification, program analysis, concurrency, program synthesis, LLMs and formal methods. Submissions may take the form of full research papers, extended abstracts and poster presentations reporting theoretical, computational and experimental work, as well as industrial case studies and applications. The meeting brings together researchers, engineers, industry practitioners and students to exchange recent results and discuss emerging directions in the field. Accepted papers are published in the conference proceedings (ACM).