[Om-announce] FTfJP 2020 (virtual) - Call for Participation - 23.07.2020

# CALL FOR PARTICIPATION 22th Workshop on Formal Techniques for Java-like Programs, FTfJP 2020 https://2020.ecoop.org/track/FTfJP-2020-papers Virtual event, to be held using Zoom, on Thursday, 23 July 2020, from 10:00 to 17:30 (GMT+2 Amsterdam time). Participation is free. For more details

[Om-announce] FTfJP 2020 (virtual): Second CFP

# SECOND CALL FOR PAPERS Submission deadline: Friday 5 June (AoE) 22st Workshop on Formal Techniques for Java-like Programs (FTfJP 2020) https://2020.ecoop.org/track/FTfJP-2020-papers FTfJP will be virtual this year and is expected to be in mid July. ## About FTfJP 2020 (virtual) Formal

[Om-announce] FTfJP 2020 - Deadline Extended

# DEADLINE EXTENDED - CALL FOR PAPERS Extended submission deadline: Friday 8 May (AoE) 22st Workshop on Formal Techniques for Java-like Programs (FTfJP 2020) https://2020.ecoop.org/track/FTfJP-2020-papers Co-located with ECOOP 2020, July 13-17, Berlin, Germany ## About FTfJP 2020 Formal

[Om-announce] FTfJP 2020 - Call for Papers

# CALL FOR PAPERS 22st Workshop on Formal Techniques for Java-like Programs (FTfJP 2020) https://2020.ecoop.org/track/FTfJP-2020-papers Co-located with ECOOP 2020, July 13-17, Berlin, Germany ## About FTfJP 2020 Formal techniques can help analyse programs, precisely describe program