[Hol-info] CFP - Recent Published Research Track (KR 2020)

CALL FOR PAPERS KR 2020 -- RECENT PUBLISHED RESEARCH TRACK A special track of the 17th Conference on Principles of Knowledge Representation and Reasoning (KR2020) September 12-18th, 2020 Rhodes, Greece -- Important Dates -- Submission deadline: 15 June 2020

[Hol-info] ThEdu'20/EPTCS proceedings 2nd call for papers

  Open 2nd Call for Papers **     Proceedings for ThEdu'20        Theorem Proving Components for Educational Software   

[Hol-info] IJCAR 2020 - Call for Participation

= CALL FOR PARTICIPATION IJCAR 2020 https://ijcar2020.org Co-located with FSCD 2020 (https://fscd-ijcar-2020.org) Due to the Covid-19 outbreak, IJCAR 2020 will be an

[Hol-info] [CfP] CASUAL2020: Workshop on Causal Reasoning and Explanation in Logic Programming

[Apologies if you receive multiple copies of this email. Please distribute to interested parties.] Workshop on Causal Reasoning and Explanation in Logic Programming   CALL FOR PAPERS    *** CAUSAL 2020 ***