[Hol-info] PLP 2022 - Call for Papers

PLP 2022 The 9th Workshop on Probabilistic Logic Programming Collocated with ICLP 2022 Haifa, Israel, 1

[Hol-info] Final Call for Papers -- Mathematics of Program Construction 2022

== *** FINAL CALL FOR PAPERS -- MPC 2022 *** 14th International Conference on Mathematics of Program Construction 26th-28th of September 2022, Tbilisi, Georgia Co-located with the