FTfJP 2025
Mon 30 June - Fri 4 July 2025 Bergen, Norway
co-located with ECOOP 2025

FTfJP

All Editions
Mon 30 June - Fri 4 July 2025 Bergen, Norway

FTfJP 2025 with ECOOP 2025

Formal techniques can help analyse programs, precisely describe program behaviour, and verify program properties. Modern programming languages (such as C#, Java, Kotlin, Rust, or Scala) are interesting targets for formal techniques due to their ubiquity and wide user base, stable and well-defined interfaces and platforms, and powerful (but also complex) libraries. New languages and applications in this space are ...

Mon 16 - Fri 20 September 2024 Vienna, Austria

FTfJP 2024 with ISSTA/ECOOP 2024

Formal techniques can help analyse programs, precisely describe program behaviour, and verify program properties. Modern programming languages are interesting targets for formal techniques due to their ubiquity and wide user base, stable and well-defined interfaces and platforms, and powerful (but also complex) libraries. New languages and applications in this space are continually arising, resulting in new progr ...

Tue 18 Jul 2023 Seattle (University of Washington campus), Washington, United States

FTfJP 2023 with ECOOP and ISSTA 2023

Formal techniques can help analyse programs, precisely describe program behaviour, and verify program properties. Modern programming languages are interesting targets for formal techniques due to their ubiquity and wide user base, stable and well-defined interfaces and platforms, and powerful (but also complex) libraries. New languages and applications in this space are continually arising, resulting in new progr ...

Mon 6 - Fri 10 June 2022 Berlin, Germany

FTfJP 2022 with ECOOP 2022

Participation: Participation in the workshop is hybrid as with ECOOP 2022, but registration through the ECOOP registration system is required. As a hybrid event, when considering virtual mode, the registration system will provide you with the link to participate in the Zoom conference sessions. Formal techniques can help analyse programs, precisely describe program behaviour, and verify program properties. Modern ...

Sun 11 - Sat 17 July 2021 Online

FTfJP 2021 with ECOOP and ISSTA 2021

Event: The workshop will be held on July 13, 2021, virtually, from 12:00 - 20:00 UT. Participation: Participation in the virtual workshop is free but registration through the ECOOP registration system is required. The registration system will provide you with the link to participate in the Zoom conference sessions. Formal techniques can help analyse programs, precisely describe program behaviour, and verify progr ...

Mon 13 - Fri 17 July 2020 Online Conference

FTfJP 2020 with ECOOP 2020

22nd Workshop on Formal Techniques for Java-like Programs Due to COVID-19, FTfJP was held virtually on 23 July 2020 (details below). The workshop program is available here. Formal techniques can help analyse programs, precisely describe program behaviour, and verify program properties. Modern programming languages are interesting targets for formal techniques due to their ubiquity and wide user base, stable an ...

Mon 15 - Fri 19 July 2019 Hammersmith, London, United Kingdom

FTfJP 2019 with ECOOP 2019

21st Workshop on Formal Techniques for Java-like Programs (FTfJP 2019) Formal techniques can help analyse programs, precisely describe program behaviour, and verify program properties. Modern programming languages are interesting targets for formal techniques due to their ubiquity and wide user base, stable and well-defined interfaces and platforms, and powerful (but also complex) libraries. New languages and app ...

Mon 16 - Sat 21 July 2018 Amsterdam, Netherlands

FTfJP 2018 with ECOOP and ISSTA 2018

20th Workshop on Formal Techniques for Java-like Programs Formal techniques can help analyze programs, precisely describe program behavior, and verify program properties. Languages such as Java, C#, and Scala are interesting targets for formal techniques due to their ubiquity and wide user base, stable and well-defined interfaces and platforms, and powerful (but also complex) libraries. New languages and applicat ...

Sun 18 - Fri 23 June 2017 Barcelona, Spain

FTfJP 2017 with ECOOP 2017

FTfJP is an established workshop, running annually since 1999 alongside ECOOP. Its goal is to bring together people working on formal techniques and tool support for Java, or closely related languages such as C# or Scala, either with the aim to describe, analyse, and verify aspects and properties of these programming languages themselves (type systems, semantics, bytecode verification, etc.), or of programs writt ...

Mon 18 - Fri 22 July 2016 Rome, Italy

FTfJP 2016 with ECOOP 2016

Welcome to the18th Workshop onFormal Techniques for Java-like Programs Formal techniques can help analyze programs, precisely describe program behavior, and verify program properties. Languages such as Java, C#, and Scala are interesting targets for formal techniques due to their ubiquity and large installed base, stable and well-defined interfaces and platforms, powerful (but also complex) libraries. The r ...

Tue 7 Jul 2015 Prague, Czech Republic

FTfJP 2015 with ECOOP 2015

Steering Committee (FTfJP 2025)