[Hol-info] Extended submission deadline -- FTfJP 2023
== CALL FOR PAPERS -- EXTENDED FTfJP 2023 25th Workshop on Formal Techniques for Java-like Programs July 18th, 2023, Seattle, WA, USA https://2023.ecoop.org/track/ftfjp-2023 === === Im
[Hol-info] Call for Papers -- Formal Techniques for Java-Like Programs 2023
== CALL FOR PAPERS FTfJP 2023 25th Workshop on Formal Techniques for Java-like Programs July 18th, 2023, Seattle, WA, USA https://2023.ecoop.org/track/ftfjp-2023 === === Important Date