IJCAR 2022: call for workshops 11th International Joint Conference on Automated Reasoning â IJCAR 2022 August 7â12, 2022, Haifa, Israel, part of FLoC 2022, https://easychair.org/smart-program/IJCAR2022/
The International Joint Conference on Automated Reasoning (IJCAR 2022), part of the Eighth Federated Logic Conference (FLoC 2022), is soliciting proposals for workshops, tutorials and competitions. Researchers are invited to submit proposals on any topic related to automated reasoning, from theoretical foundations to tools and applications. The workshops and tutorials will take place before and after the FLoC conferences: * Sunday & Monday, July 31âAugust 1, 2022, and * Thursday & Friday, August 11â12, 2022. (Note that IJCAR will take place on August 7-10, 2022. We recommend that you plan your event on the second period, and indicate it in the proposal.) Proposals for all conferences affiliated to FLoC, including IJCAR, will be reviewed jointly. Please make sure that the proposal indicates an affiliation to IJCAR. Proposals must be submitted before September 27, 2021. For further details about the submission process and the expected content of workshop and tutorial proposals, see https://floc2022.org/workshops/ . Competition proposals should be sent directly to Yoni Zohar at yoni...@gmail.com .
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info