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 Extended submission deadline: September 3, 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. Invited Speakers - Anuj Dawar (University of Cambridge) - Andreas Herzig (IRIT, Toulouse) - Angelo Montanari (University of Udine) - Greg Restall (University of St Andrews) Important Dates ************************************************************************ Extended Submission Deadline: September 3, 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, Chennai] (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 Uckelman [Durham University] Yanjing Wang [Peking University] Organising Committee Deepak D’Souza [Indian Institute of Science, Bangalore] Siddhartha Gadgil [Indian Institute of Science, Bangalore] Kamal Lodaya [BGVS Bangalore]