FTfJP 2018
Mon 16 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA
Conference Editions
Mon 16 - Sat 21 July 2018, Amsterdam, Netherlands

FTfJP 2018 with ECOOP and ISSTA

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