[Hol-info] Extended submission deadline -- FTfJP 2023

2023-05-22 Thread Aaron Tomb
== 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

2023-04-27 Thread Aaron Tomb
== 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