Calls for Papers

35th European Summer School in Logic, Language and Information Student session CfP

29 July – 9 August 2024, Leuven, Belgium

The Student Session of the 35th European Summer School in Logic, Language, and Information (ESSLLI) will take place at ESSLLI 2024, on 29 July – 9 August 2024 in Leuven, Belgium. We invite submissions of original, unpublished work from students in any area related to Logic & Language, Language & Computation, or Logic & Computation in the form of long (8 pages) or short (4 pages) papers (including references, figures, etc.). Submissions will be reviewed by several experts in the field. Accepted long papers will be presented as talks, while short papers will be presented as posters. This is an excellent opportunity for students to receive valuable feedback from expert readers and to present their work to a diverse audience. Short papers are especially suited for smaller or in-progress research works.

See the extended Call for Papers at the ESSLLI 2024 webpage for the submission and publication policies: https://2024.esslli.eu/.

Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. Information about the AiML series can be obtained at http://www.aiml.net.

AiML 2024 is organized by the Institute of Computer Science of the Czech Academy of Sciences and the Faculty of Arts of Charles University.

AiML 2024 is collocated with the 21st International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2024).

Website: https://www.cs.cas.cz/aiml2024/

The Fourth International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI 2024) will be held at Zhejiang University, Hangzhou, China, 15th – 16th June 2024.

The workshop is associated with a national key project called “Research on Logics for New Generation Artificial Intelligence” (2021-2025), supported by the National Social Science Foundation of China. The main objectives of this project are to develop theories and techniques of non-monotonic logics and formal argumentation and apply them to causal reasoning, knowledge graph reasoning, and reasoning about norms and values, in an open, dynamic and real environment. Along with the project, we organize annual international workshops that aim at enabling efficient communication and collaboration between members of the project as well as other researchers who are interested in the topics of this project.

Website: https://www.zlaire.net/lngai2024/index.html

The International Conference on Knowledge Representation and Reasoning

Knowledge Representation and Reasoning (KR) is a well-established and lively field of research within Artificial Intelligence. KR builds on the fundamental thesis that knowledge can be represented in an explicit declarative form, suitable for processing by dedicated symbolic reasoning engines. This enables the exploitation of knowledge that would otherwise be implicit through semantically grounded inference mechanisms. Consequently, KR has contributed to the theory and practice of various areas of AI, including agents, automated planning, robotics and natural language processing, and to fields beyond AI, including data management, semantic web, verification, software engineering, computational biology, and cyber security. The KR conference series is the leading forum for timely in-depth presentation of progress in the principles and practice of the representation and computational management of knowledge in intelligent systems.

KR 2024 is co-located with the 22nd International Workshop on Nonmonotonic Reasoning (NMR 2024).

Website: https://kr.org/KR2024/