Conference · Indian Conference on Logic and its Applications
ICLA 2027
Official page- Type
- Conference
- Organisation
- Indian Conference on Logic and its Applications
- Location
- Bangalore, India
- Submissions close
- 29 August 2026
- Takes place
- 6 January 2027 to 8 January 2027
- Found
- 26 September 2026
About this listing
Indian Conference on Logic and its Applications. Submissions close 2026-08-29. Held in Bangalore, India. 12th edition, organised by the Association for Logic in India. Covers mathematical logic, modal and non-classical logics, logic in computer science, formal methods and automated reasoning, finite model theory, and logic in AI, alongside systems of logic in the Indian tradition. Topics: logic, formal methods, verification, theorem proving. Listed by PLFM (https://pl-fm.github.io/, MIT).
Last checked 9 October 2026. Found via PLFM (pl-fm.github.io).