[Hol-info] ITP 2022: Third Call for Papers

Call for Papers The International Conference on Interactive Theorem Proving (ITP 2022) will take place on August 7-10, 2022 in Haifa, Israel. It will be part of FLoC 2022

[Hol-info] KR2022: Session on KR and Machine Learning

CALL FOR PAPERS Call for Papers: Special Session on KR and Machine Learning July 31 - August 5, 2022, Haifa, Israel https://kr2022.cs.tu-dortmund.de/cfp_special_session_kr_and_machine_learning.php ** IMPORTANT DATES ** * Submission of title and abstract: February 2, 2022 * Paper submission

[Hol-info] [Vardi-list] World Logic Day -- From Greek Paradoxes to Political Paradoxes

https://www.eventbrite.at/e/vienna-world-logic-day-lecture-2022-tickets-238178988767 ___ Vardi-list mailing list vardi-l...@mailman.rice.edu https://mailman.rice.edu/mailman/listinfo/vardi-list ___