[Hol-info] 13th International Conference on Graph Transformation (ICGT2020): Call for Paper

=== 13th International Conference on Graph Transformation ICGT 2020 http://icgt2020.di.unipi.it co-located with STAF 2020, June 22-26 Bergen, Norway === Aims and S

[Hol-info] 24th European Conference on Artificial Intelligence (ECAI 2020)

** Please accept our apologies for cross-posting ** ** It would be highly appreciated if you could disseminate this CFP among your colleagues ** The deadlines for some events of the 24th European Conference on Artifi

[Hol-info] [CfP] ICLP2020 - The 36th International Conference on Logic Programming

Call for Papers* The 36th International Conference on Logic Programming (ICLP 2020) 18-24 September 2020, Rende, Italy https://iclp2020.unical.it/home ***

[Hol-info] 2020 Alonzo Church Award - Call for Nominations

Subject: 2020 Alonzo Church Award: Call for Nominations CALL FOR NOMINATIONS The 2020 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 establishe