Write a Blog >>
FTfJP 2020
Mon 13 - Fri 17 July 2020 Online Conference
co-located with ECOOP 2020

FTfJP

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

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

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

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

Tue 7 Jul 2015 Prague, Czech Republic

FTfJP 2015 with ECOOP 2015

Steering Commitee (FTfJP 2020)