ICLA 2025

ICLA 2025

11th Indian Conference on Logic and its Applications

Indian Statistical Institute Kolkata, India
February 3 – 5, 2025

The Indian Conference on Logic and its Applications (ICLA) is the primary conference of the Association for Logic in India (ALI). It is a forum for bringing together researchers from a variety of fields in which formal logic plays a significant and often foundational role: Mathematics, Computer Science, Philosophy, Linguistics and Cognitive Science. A special feature of ICLA is the inclusion of studies in systems of logic in the Indian tradition, as well as historical research on logic. Details of the previous two editions of ICLA can be found here, and those of the earlier editions of the conference here.

The upcoming ICLA 2025 is the 11th edition of the conference and will take place at the
Indian Statistical Institute (ISI) Kolkata during February 3 – 5, 2025.

ICLA 2025 features

  • Best paper and best student paper awards;
  • Two kinds of contributed papers:
    • Extended abstracts for inclusion in the conference proceedings that will be published in the FoLLI-LNCS series of Springer. The review process for these abstracts will involve a rebuttal phase;
    • Short abstracts only for presentation in the conference;
  • Invitation to selected accepted papers of the conference for submission to a special issue of a journal (to be announced in due course);
  • ALI will co-organize with Jadavpur University, the Asian Workshop on Philosophical Logic (AWPL) which will take place for the first time in India in Kolkata following ICLA 2025.

Committees

Program Committee

Chairs

Members

Tutorials, Workshops and Posters Committee

Organizing Committee

Invited Speakers

Distinguished lecture

  • Anil Nerode (Cornell University, USA)
    From Euclid and Eudoxus to Skolem, Gödel, and Cohen: Constructions of Structures and Proofs of Uniqueness

Keynote talks

  • Su Gao (Nankai University, China)
    On Extensions of Partial Isometries
  • Janos Makowsky (Technion, Israel)
    The Specker-Blatter Theorem: An Application of Logic to Combinatorial Counting
  • Sophie Pinchinat (University of Rennes, France)
    Propositional Dynamic Logic Formula Synthesis and some Applications
  • Nicholas Ramsey (University of Notre Dame, USA)
    NSOP1 as a dividing line

Panel Discussions

+ Gödel’s Incompleteness Theorems

Panelists

Moderator

+ Education and Careers in Logic

Panelists

Moderators

Accepted Papers

Extended abstracts

  • Benedikt Loewe and Han Xiao. Modal and Intermediate Logics of Spiked Boolean Algebras
  • Nehul Jain and Bharat Adsul. Non-Deterministic Asynchronous Automata Games and its Analysis for Two Processes
  • Kosuke Udatsu and Katsuhiko Sano. Craig Interpolation for Awareness Logics
  • Yiting Wang and Yanjing Wang. Knowable as Knowing How to Inquire
  • Sandip Paul and Bornali Paul. Passive Learning of Fuzzy Temporal Logic Rules from Finite Traces
  • Sankha S. Basu and Sayantan Roy. Relational Companions of Logics
  • Yiwen Ding, Alessandra Palmigiano, Krishna Manoorkar and Ruoding Wang. Monotone Modal Logic beyond Distributivity
  • Prince Mathew, Vincent Penelle, Prakash Saivasan and A V Sreejith. Equivalence of Deterministic Weighted Real-Time One-Counter Automata
  • Pranshu Gaba and Arnab Sur. Recognizing Numbers
  • Abhishek De. Bounded Henkin Quantifiers and the Exponential Time Hierarchy
  • Md. Aquil Khan and Ranjan. Semantics of Basic Modal Language via a Rough Set Framework
  • Santiago Jockwich Martinez. There is hope for connexive set theories!
  • Satoru Suzuki. Measurement-Theoretic Foundations of Logic of Inexact Knowledge
  • Bama Srinivasan and Mohan Raj Vijayan. A Mimamsa Inspired Framework towards Temporal Reasoning in Large Language Models

Short abstracts

  • Ben Blumson and Eugene Ho. The Cogito in Free Logic
  • Swapnil Ghosh, Lev Beklemishev and Daniyar Shamkanov. Contraction free arithmetic
  • Mangesh Patwardhan. Floyd & Putnam (and others) on Wittgenstein on Gödel’s First Incompleteness Theorem
  • Dean McHugh. On the Logic of Reasons For
  • Gopal Gupta, Joaquín Arias and Elmer Salazar. Coinductive Predicate Answer Set Programming
  • Karthik Prasanna Natarajan. Do LLMs Reason by Following Rules?
  • Avijeet Ghosh. Public Observation: A Decidable Fragment of Epistemic Planning

Accepted Posters

  • Prince Mathew, Vincent Penelle and A V Sreejith. Learning One-Counter Automata using Polynomially Many Queries
  • A Mani. Dependence in the Meaningful AI Through Granular Rough Sets Program
  • Neha Gaur and Arun Kumar. Descriptive Compatibility Frames and its Extensions
  • Bisham Dewan, Neha Gaur and Arun Kumar. Topological Characterisations of Posets and Semilattices
  • Prajkta Kodavade, Sayantan Saha, Abhisekh Sankaran and R. Venkatesh. Program Verification using Small Models

Co-Located Events

Pre-Conference: Tutorials/Workshops of ICLA 2025

+ Tutorial on First Order Modal Logic (FOML)

+ Workshop on the Mīmāṁsā System of Logical Interpretation of Imperatives (MiSLII)

+ Workshop on Recent Developments in Arithmetic Theories and Applications (DATA)

Post-Conference: AWPL 2025

The Asian Workshop on Philosophical Logic (AWPL) will be taking place for the first time in India in Kolkata. The details of this workshop are below.

Conference Proceedings and Program

Awards

The following papers were chosen by the Program Committee for the best paper and best student paper awards of ICLA 2025.

Best paper

Best student paper

Registration

Registration fees

Early bird
  • Early bird registration deadline: 18 January, 2025 AoE 11 January, 2025 AoE
  • All amounts below are in Indian Rupees (INR).
Events being
registered for		IndianForeign
StudentNon‑Student
Academia		Non‑Student
Industry		StudentNon‑Student
Academia		Non‑Student
Industry
ICLA 20252500600014000100001700025000
ICLA 2025 + FOML Tutorial3000750017000120002100031000
ICLA 2025 + Workshops3000750017000120002100031000
ICLA 2025 + FOML Tutorial + Workshops3500850020000130002400037000
FOML Tutorial100020004000400060008000
Workshops100020004000400060008000
FOML Tutorial + Workshops15004000800070001200016000
Late registration
  • Late registration starts right after the early bird registration deadline has passed.
  • Late registration deadline: 25 January, 2025 AoE
  • All amounts below are in Indian Rupees (INR).
Events being
registered for		IndianForeign
StudentNon‑Student
Academia		Non‑Student
Industry		StudentNon‑Student
Academia		Non‑Student
Industry
ICLA 20253000700016000110001900028000
ICLA 2025 + FOML Tutorial3500850019000130002300034000
ICLA 2025 + Workshops3500850019000130002300034000
ICLA 2025 + FOML Tutorial + Workshops4000950022000140002600040000
FOML Tutorial1500300060005000800011000
Workshops1500300060005000800011000
FOML Tutorial + Workshops200050001000080001400019000
Clarification of terms used
  • In the “Events being registered for” column in either table above, any entry of the column denotes registration for exactly the events mentioned in the entry.
    So for example: “ICLA 2025 + FOML Tutorial” denotes that only ICLA 2025 and the FOML tutorial are being registered for, and that the workshops of Feb 1, 2025 are not being registered for. Likewise “Workshops” means that only the workshops are being registered for, and that neither ICLA 2025 nor the FOML tutorial are being registered for.
    Thus, any two entries in the mentioned column are mutually exclusive for registration.
  • By “Foreign” we mean (pertaining to) a country other than India.
  • The location of the university/organization that is the primary affiliation of the registrant should be used to determine if Indian or Foreign rates apply.
  • By “Non-Student Academia” we mean faculty, post-docs and researchers whose primary affiliation is in academia. “Non-Student Industry” refers to people whose primary affiliation is in the industry, and more generally, not in academia.

Registration conditions

  • The registration fees above are inclusive of the Goods and Services Tax (GST) as mandated by the Government of India.
  • For each accepted paper (extended or short abstract), at least one author of the paper must register for the conference.
  • Except under exceptional circumstances, the registration fees can neither be refunded nor transferred.
  • The registration fees are for in-person attendance and cover the following:
    • Registration kit (if the registration includes ICLA 2025)
    • Lunch and refreshments during the morning and afternoon breaks on all days. For ICLA 2025, a welcome reception is additionally included.
    • Access to all talks and panel discussions of the conference/tutorial/workshops (as per the registration) and materials for these

Registering for ICLA 2025 and the pre-conference events

To participate in the conference and the co-located pre-conference events, registration is mandatory. The registration form for all the events is below.

Registration form for ICLA 2025

To register, you would first need to make the payment of the registration fees for the events you wish to attend. The registration fees are as mentioned above. The payment needs to be made via a bank transfer to the following account.

Bank Name Punjab National Bank
Branch Kolkata Dunlop Bridge Br.
Account No 0071050000118
IFSC Code PUNB0397700
Account Type Current Account
Beneficiary Name Indian Statistical Institute
Swift Code PUNBINBBISB

Please note the following:

  • You are expected to register only once. So please first choose the events you would like to attend, and then pay the registration fees for the combination you have chosen.
  • While making the payment, please mention “ICLA 2025 [Name] [Surname]” as the title of the payment. (The parentheses are not to be included when mentioning your name and surname.)
  • Registrants from India can use any of the following modes to make the payment: IMPS/RTGS/NEFT/UPI. Registrants from outside India would need to use the SWIFT Code.
  • All bank charges and other overheads must be covered by the registrant.

Once the registration fees payment is done, please fill and submit the registration form above to complete the registration.

Local Information

The website for all local information including accommodation and local travel options is below.

Local information page

Contact

You can contact us at the following email addresses.

  • For queries pertaining to organizational matters, including accommodation, invitation letters, local travel, participation certificates, registration and visa related queries: icla2025.organization [at] gmail [dot] com
  • For submitting poster proposals and queries concerning posters: icla2025.posters [at] gmail [dot] com
  • For queries pertaining to technical aspects of the conference and any general enquiries: icla2025 [at] gmail [dot] com

Call for Papers

The Call for Papers for ICLA 2025 is published on EasyChair at the link below:

https://easychair.org/cfp/icla2025

Submission Dates

All dates below are AoE (Anywhere on Earth).

  • Abstract registration deadline: Aug 29, 2024 Aug 25, 2024 Aug 11, 2024
  • Submission deadline: Aug 29, 2024 Aug 15, 2024
  • Rebuttal period: Oct 7 – Oct 11, 2024 Sep 23 – Sep 28, 2024
  • Notification to authors: Oct 25, 2024 18 Oct, 2024

Submission Guidelines

Authors are invited to submit papers presenting original and unpublished research in any area of logic and its applications. Please see below for a detailed list of topics.

EasyChair website: https://easychair.org/conferences/?conf=icla2025

Common guidelines for all submissions

  1. A submission must either be an extended abstract or a short abstract.
  2. Submissions must be in electronic form, and must be submitted through EasyChair via https://easychair.org/conferences/?conf=icla2025.
  3. Submissions must be in English and should provide sufficient details to allow the program committee to assess their merits. Each submission must be a single PDF file.
  4. Submissions will be peer-reviewed in a single-blind process.
  5. Submissions authored or co-authored by PC members are allowed. PC member submissions will however be subject to a higher level of scrutiny than other submissions.
  6. For an accepted submission, one of the authors must commit to presenting it at the conference either in person or online.

Additional guidelines for extended abstracts

  1. The submission should not exceed 12 pages excluding references, and should adhere to the Springer-Verlag Lecture Notes LaTeX2e style. Detailed proofs of technical results or other supplementary material, if necessary, can be included in a clearly marked appendix or made available via pointers to technical reports which may be read at the discretion of the programme committee. There is no restriction on the length of the appendix.
  2. Submissions of previously published works, or concurrent submissions to journals or to other conferences with proceedings, are not allowed. The authors can however make full versions of their submissions available at online repositories such as ArXiv, HAL and ECCC.
  3. During the reviewing, there will be a rebuttal phase for extended abstracts which would give the authors an opportunity to respond to the initial reviews. Instructions related to the rebuttal will be communicated to the authors before the rebuttal period.
  4. Accepted extended abstracts will be published in the conference proceedings which will appear in the FoLLI Publications on Logic, Language and Information, a sub-series of Springer LNCS.

Additional guidelines for short abstracts

  1. The submission should be about a page in length describing the main results of the work. Pointers to technical reports detailing the results can be provided.
  2. There will be no rebuttal phase for short abstracts.
  3. Accepted short abstracts will not be published in the conference proceedings. They will however be made available on the conference website.

Submission Topics

The list of topics include, but are not limited to, the following. Submissions of interdisciplinary nature are especially encouraged.

  • 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
  • Belief change and revision, deontic logics, description logics, dynamic epistemic logic, first order modal logic, formal epistemology, imperative logics, logic and artificial intelligence, logic in decision and game theory, logic and social choice theory, logic and social cognition, logic and social software, logic for information, logic for probability and uncertainty, modal logic – algebraic, algorithmic, category theoretic and model theoretic aspects, multi-agent systems, normative reasoning, provability logics
  • 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
  • Automated reasoning, formal analysis of programs, formal verification and synthesis, hyperproperties, logic in industrial applications, logic in security and privacy, programming language semantics, real time logics, temporal logics, theory and applications of SAT and SMT solvers and theorem provers, software/app development for logic
  • Algorithmic meta theorems, comonads in finite model theory, decision procedures for logics, definable functions on relational structures, logic and computational complexity, logic and constraint satisfaction problems, logic and databases, logic and graph structure theory, logic and machine learning, many valued logics in finite model theory, proof complexity, stability theory over finite structures
  • History of logic – Indian, Chinese and Western and comparative studies, Indian philosophical systems: Buddhism, Jainism, Mīmāṃsa and Nyāya, interaction of classical logic with other logics, many valued logics and their applications, non-monotonic logics, paraconsistency, particular systems of logic
  • General tools and frameworks for logical systems, Large Language Models (LLMs) – cognitive aspects and impact on society, logic and cognitive science, logic in education, logic and ethics in artificial intelligence, logic in law, logic and linguistics, logic and metaphysics, logic and philosophy of mathematics, logic and philosophy of science, philosophical issues of logical systems, philosophy of language

Past Editions

For more about the conference in general and all its previous editions, please visit the ICLA page.