Conference · International Conference on Artificial Intelligence Logic and Applications
AILA 2027
Official page- Type
- Conference
- Organisation
- International Conference on Artificial Intelligence Logic and Applications
- Location
- Belfast, United Kingdom
- Submissions close
- 1 November 2026
- Takes place
- 8 April 2027 to 10 April 2027
- Found
- 26 September 2026
About this listing
International Conference on Artificial Intelligence Logic and Applications. Submissions close 2026-11-01. Held in Belfast, United Kingdom. Next deadline: Abstract. Sixth edition, on logic in artificial intelligence: logical theories and formalisms, automated reasoning, neuro-symbolic systems, knowledge graphs, verification, and trustworthy AI. Topics: logic, theorem proving, verification. Listed by PLFM (https://pl-fm.github.io/, MIT).
Last checked 9 October 2026. Found via PLFM (pl-fm.github.io).