Flex Conference (Physical / Digital)

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

Call for Paper

The ICLAIRC provides a supportive platform for both experienced researchers and early-career academicians to present their work and gain recognition. The conference covers diverse topics such as Artificial Intelligence encouraging participation from emerging researchers and fostering academic growth.

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

Review & Publication

Submissions will be reviewed to ensure quality and relevance, with a focus on encouraging emerging research contributions. Accepted papers will be presented and considered for publication opportunities.

Registration

Early-career researchers are encouraged to register and present their work, gaining valuable feedback and academic exposure.

Publication

The conference provides opportunities for emerging researchers to publish their work in recognized platforms.

Important Dates

Early Bird Registration :15th May 2027

Paper Submission Deadline :20th May 2027

Last Date of Registration : 30th May 2027

Date of Conference : 14th - 15th June 2027