[PHILOS-L] Call For Papers: Indian Conference on Logic and its Applications, January 6 - 8, 2027 (Bangalore)
Sara L. Uckelman
ICLA 2027:
Indian Conference on Logic and its Applications
January 6 - 8, 2027
The Indian Institute of Science (IISc), Bangalore, India
https://conf.researchr.org/home/icla-2027
Submission deadline: August 28, 2026 AOE
Submission link: https://easychair.org/conferences/?conf=icla2027
Notification to authors: October 31, 2026
---------------------------------------------------------------
ICLA 2027 is the 12th edition of the biennial conference organised by
the Association for Logic in India (ALI). It serves as a forum that
brings together researchers from a variety of disciplines in which
formal logic plays a significant, and often foundational, role,
including Mathematics, Computer Science, Philosophy, Linguistics, and
Cognitive Science. A distinctive feature of ICLA is its inclusion of
research on systems of logic in the Indian tradition, as well as
historical studies of logic.
Details of ICLA 2025 can be found here, and information about earlier
editions of the conference is available on the ALI website.
https://logicindia.org/icla/icla2025/, https://logicindia.org/
ICLA 2027 will be held at the Indian Institute of Science (IISc),
Bangalore, from January 6–8, 2027. Pre-conference workshops will be held
on January 5, 2027.
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 the following link:
https://easychair.org/conferences/?conf=icla2027
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
************************************************************************
Programme Committee
Sreejith A V [IIT Palakkad]
Philippe Balbiani [IRIT, Toulouse]
Nick Bezhanishvili [University of Amsterdam]
Abhishek De [Krea University]
Tim French [The University of Western Australia]
Malvin Gattinger [University of Amsterdam]
Sujata Ghosh [Indian Statistical Institute] (co-chair)
Shibashis Guha [Tata Institute of Fundamental Research]
Eberhard Guhe [Fudan University]
Yurii Khomskii [University of Amsterdam]
Arun Kumar [Banaras Hindu University]
Graham Leigh [University of Gothenburg]
Dazhu Li [Chinese Academy of Sciences]
Hitoshi Omori [Tohoku University]
Anantha Padmanabha [IIT Madras]
Sophie Pinchinat [IRISA, Universite de Rennes]
Dilip Raghavan [National University of Singapore]
Subhajit Roy [IIT Kanpur]
Prakash Saivasan [Institute of Mathematical Sciences, Chennai]
Manidipa Sanyal [University of Calcutta]
Sunil Simon [IIT Kanpur] (co-chair)
S P Suresh [Chennai Mathematical Institute]
Ramanathan Thinniyam Srinivasan [Uppsala University]
Sourav Tarafder [St. Xavier's College, Kolkata]
Sara L. Uckelman [Durham University]
Yanjing Wang [Peking University]
--
Prof. Sara L. Uckelman
Department of Philosophy
Durham University
https://sluckelman.webspace.durham.ac.uk/
Philos-L "The Liverpool List" is run by the Department of Philosophy, University of Liverpool https://www.liverpool.ac.uk/philosophy/philos-l/
Messages to the list are archived at http://listserv.liv.ac.uk/archives/philos-l.html. Recent posts can also be read in a Facebook group: https://www.facebook.com/PhilosL/
Follow the list on Twitter @PhilosL. Follow the Department of Philosophy @LiverpoolPhilos
To sign off the list send a blank message to philos-l-unsub...@liverpool.ac.uk.