12-16 Jan 2022
Symposium on Logic and Artificial Intelligence SLAI-2022 January 12--16, 2022 The symposium will be held in virtual mode. https://slai2022.islai.org ------------------------------------------------------------------------------------- The Symposium on Logic and AI (SLAI) is annually organized by the International Society for Logic and Artificial Intelligence https://islai.org in cooperation with research, development and educational organizations worldwide. SLAI is intended to add synergy to the efforts of researchers working on logic, AI, and their confluence. Round tables are planned to ensure an open debate on the state of the art and new directions. SLAI-2022 is devoted to the World Logic Day (January 14, 2022). Collocated to SLAI-2022 events ???are * Moldovan Prizes in Logic and Artificial Intelligence ( <https://logic-prize-moldova.islai.org/> https://logic-prize-moldova.islai.org/) * Romanian Prizes in Logic and Artificial Intelligence ???( <https://logic-prize-romania.islai.org/> https://logic-prize-romania.islai.org/) * Ukrainian Seminar on Logic and its Applications ? 2022 ( <http://logic.net.ua/> http://logic.net.ua/) SLAI-2022 with collocated events is a cluster of World Logic Day events. Conference Topics Any original contributions are welcome, including but not limited to: * logic in informatics, databases, and artificial intelligence; * theoretical aspects of artificial intelligence; * theoretical aspects of automated reasoning; * combining artificial intelligence with augmented and virtual reality; * data mining and knowledge discovery; * knowledge representation and ???knowledge modeling; * ontologies and ???semantic technologies; * natural language processing, ???text mining and text generation; * logic of natural language; * formal languages and automata; * neural networks ???and ???Bayesian network (synonyms: belief network, or decision network); * machine learning ???and deep learning; * explainable artificial intelligence; * nonclassical logics and their applications; * abductive reasoning; * fuzzy logics and many-valued logics; * causal inference. Important Dates * Paper submission deadline: October 18, 2021. * Acceptance notification: November 29, 2021. * Registration deadline: January 10, 2022. * Symposium: January 12?16, 2022. Submission Guidelines Submitted papers are required to be 6-16 pages in English (one page approximating A5 size, i.e. about 800 words), and using the MFOI templates which can be found on the page https:// <https://slai2022.islai.org/> slai2022. <http://islai.org/> islai.org/. ???The submissions should have a succinct statement of the problem, obtained results, their significance and a comparison with previous works (if any), as well as a list of references. The submissions should also include the title of the proposed paper, author's names, affiliations, addresses, the name of an author to contact for a possible correspondence, the e-mail address of the contact author, and topics which best describe the paper (max. 5 keywords). Papers are submitted through EasyChair System. The submission link is <https://easychair.org/conferences/?conf=slai2022> https://easychair.org/conferences/?conf=slai2022 One author can submit at most 3 papers. The symposium will be held in virtual mode Each talk will be scheduled for one of the two time slots: * American time slot (CST timezone); * European time slot (EEST timezone). Publication All accepted papers will be published after the symposium in the Proceedings of SLAI-2022. The selected papers will be also published after the conference in the CSJM (Computer Science Journal of Moldova - indexed in DBLP, Scopus, WoS, Mathematical Reviews, Zentralblatt MATH, Clarivate Analytics/Web of Science (ISI), MathSciNet, DOAJ, EBSCO) or in the Bulletin of Academy of Sciences of Moldova, ser. Mathematics (indexed in Scopus, Mathematical Reviews, Zentralblatt MATH, SCImago Journal Rank (SJR), Russian RZh Matematika). SLAI-2022 is organized in cooperation with: * Louisiana Scholars' College at <https://www.nsula.edu/> Northwestern State University, Louisiana, USA, ???Host * <http://univ.kiev.ua/en/> Taras Shevchenko National University of Kyiv, Ukraine, * <http://www.uaic.ro/en/> Alexandru Ioan Cuza University of Iasi, Romania, * <http://www.math.md/> Vladimir Andrunachievici Institute of Mathematics and Computer Science, Chisinau, Moldova * Ukrainian Logic Society, Ukraine * Academy of Sciences, Moldova Steering Committee * Ioachim Drugus, Moldova (Chair) * Alexei Muravitsky, USA * Mykola Nikitchenko, Ukraine Program Committee Chair: Alexei Muravitsky Co-chairs: * Mykola Nikitchenko (Kyiv, Ukraine) * Inga Titchiev (Chisinau, Moldova) * Svetlana Cojocaru (Chisinau, Moldova) * Adrian Iftene (Iasi, Romania) * Ioachim Drugus (Chisinau, Moldova) ??? Organizing Committee: Chair: Tudor Bumbu (Chisinau, Moldova) With any questions or issues please contact us by email: <mailto:slai2022@islai.org> slai2022@islai.org -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam