[Hol-info] [fm-announcements] First Call for Papers SOAP 2022

=== The 11th ACM SIGPLAN International Workshop on the State of the Art in Program Analysis (SOAP) First Call for Papers 21 June 2022 https://pldi22.sigp

[Hol-info] [CfP] ICLP 2022 - Deadline Extension (28th Jauary)

= CALL FOR PAPERS = The 38th International Conference on Logic Programming (ICLP 2022) https://software.imdea.org/Co

[Hol-info] 2022 Alonzo Church Award: Call for Nominations

CALL FOR NOMINATIONS The 2022 Alonzo Church Award for Outstanding Contributions to Logic and Computation INTRODUCTION An annual award, called the Alonzo Church Award for Outstanding Contributions to Logic and Computation, was established in 2015 by the ACM Special Interest Group for Logic and Co