FTfJP

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 ...

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 ...

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. Moder ...

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 pro ...

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, stab ...

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 ap ...

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 applica ...

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 ...

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) l ...

FTfJP 2015 with ECOOP 2015