Please see Call for Papers.
Call for Papers
ICLA 2027: Indian Conference on Logic and its Applications January 5 - 8, 2027 The Indian Institute of Science (IISc), Bangalore, India
List of Topics
Topics of interest include, but are not limited to, the following. Interdisciplinary submissions are especially encouraged.
Mathematical Logic and Foundations
Algorithmic randomness, category theory, descriptive set theory, foundations of mathematics, homotopy type theory, logical aspects of topology, model theory, recursion theory, reverse mathematics, universal algebra.
Modal, Epistemic, and Non-Classical Logics
Belief change and revision, deontic logics, description logics, dynamic epistemic logic, first-order modal logic, formal epistemology, imperative logics, interaction of classical logic with other logics, many-valued logics and their applications, modal logic: algebraic, algorithmic, category-theoretic, and model-theoretic aspects, non-monotonic logics, paraconsistency, particular systems of logic, provability logics, normative reasoning.
Logic in Computer Science
Automata theory and logic, category theory in computer science, logic and algebraic methods, logic and concurrency, logic and games, logic and quantum computing, probabilistic logics and stochastic processes, transductions, two-variable logics, well-quasi-orders.
Formal Methods, Verification, and Automated Reasoning
Automated reasoning, decision procedures for logics, formal analysis of programs, formal verification and synthesis, hyperproperties, logic in industrial applications, logic in security and privacy, programming language semantics, real-time logics, software tools and systems for logic, theory and applications of SAT and SMT solvers and theorem provers.
Finite Model Theory, Complexity, and Data
Algorithmic metatheorems, comonads in finite model theory, definable functions on relational structures, logic and computational complexity, logic and constraint satisfaction problems, logic and databases, logic and graph structure theory, many-valued logics in finite model theory, proof complexity, stability theory over finite structures.
Logic, Artificial Intelligence, and Multi-Agent Systems
Logic and artificial intelligence, logic and machine learning, logical aspects of Large Language Models (LLMs), logic for information, logic for probability and uncertainty, logic in decision and game theory, logic and social choice theory, logic and social cognition, logic and social software, logics for multi-agent systems.
History, Philosophy, Language, and Cognition
History of logic: Indian, Chinese, and Western traditions and comparative studies, Indian philosophical systems: Buddhism, Jainism, Mīmāṃsā, and Nyāya, logic and cognitive science, logic and education, logic and ethics in artificial intelligence, logic and law, logic and linguistics, logic and metaphysics, logic and philosophy of mathematics, logic and philosophy of science, philosophical issues concerning logical systems, philosophy of language.
Submission
Authors are invited to submit papers presenting original and unpublished research in any area of logic and its applications. Submissions must be written in English and should provide sufficient detail to enable the Programme Committee to assess the merits of the work
Papers may not exceed 12 pages, excluding references, and must be prepared using the Springer-Verlag Lecture Notes LaTeX2e style: https://link.springer.com/series/558/information-for-authors-and-editors
If necessary, detailed proofs of technical results may be included in a clearly marked appendix, which may be consulted at the discretion of the Programme Committee.
Submissions must be in PDF format.
All submissions must be made electronically through the EasyChair conference management system using this link.
Simultaneous submission to journals or to other conferences with published proceedings is not permitted.
Submitted papers will undergo peer review, and accepted papers will be published in the conference proceedings, which will be available at the time of the conference.
The proceedings will appear as a volume in the FoLLI Publications on Logic, Language and Information, a subseries of Springer LNCS. To be included in the proceedings, at least one author of each accepted paper must commit to presenting the paper at the conference.
Important Dates
| Deadline for Submission: | August 28, 2026 AoE |
| Notification to Authors: | October 31, 2026. |
| Deadline for camera-ready papers: | November 11, 2026 |
| Pre-conference workshops: | January 5, 2027 |
| ICLA 2027: | January 6-8, 2027 |