Flex Conference (Physical / Digital)

International Conference on Logics in Artificial Intelligence, Reasoning and Compilation - (ICLAIRC-27)

20th - 21st February 2027 , Beijing - China

Registration Options

Access Flexible Participation Categories

Call For Papers

The (ICLAIRC-27) emphasizes interdisciplinary collaboration by bringing together experts from diverse fields. It encourages research that integrates multiple perspectives to address complex global challenges.

Key areas such as Artificial Intelligence are explored to promote cross-domain knowledge exchange and collaborative innovation.

Authors are invited to submit papers addressing, but not limited to, the following areas:

  • Logics in AI reasoning processes
  • Formal methods in AI development
  • Knowledge representation in AI systems
  • AI compilation techniques and challenges
  • Applications of logic in AI
  • Ethics of reasoning in AI
  • Automated reasoning in software systems
  • Logic-based approaches to AI learning
  • Challenges in AI knowledge representation
  • Interdisciplinary approaches to AI logics
  • Future of logical reasoning in AI
  • Applications of AI in decision making
  • AI and computational logic integration
  • Role of logic in AI ethics
  • Formal verification of AI systems
  • Logic programming in AI applications
  • Collaborative reasoning in AI systems
  • AI for automated theorem proving
  • Impact of logic on AI advancements
  • Trends in AI reasoning research

Assessment

All submissions will undergo peer review to ensure quality and interdisciplinary relevance. Accepted papers will be presented and considered for publication in journals and conference proceedings.

Registration

Registering for the conference provides access to keynote sessions, technical presentations, and networking opportunities with global experts.

Publication

Publishing through the conference enhances the visibility of your research and connects your work with a broader academic audience.