EasyChair Smart CFPDocs/Log in
CFP
ICLA 2025: Indian Conference on Logic and its Applications 2025
Indian Statistical Institute
Kolkata, India, February 3-5, 2025
Conference websitehttps://logicindia.org/icla/icla2025/
Submission linkhttps://easychair.org/conferences/?conf=icla2025
Abstract registration deadlineAugust 29, 2024
Submission deadlineAugust 29, 2024
Topics: mathematical logic philosophical logic logic in computer science

About the conference

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 ICLA 2023 can be found here, and those of the earlier editions of the conference at the ALI website.

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.

Events: Main Conference and Co-located Workshops

Important 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 Oct 18, 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. Submissions should not exceed 12 pages excluding references, and should adhere to the Springer-Verlag Lecture Notes LaTeX2e style.
  2. Submissions of previously published works, or concurrent submissions to journals or to other conferences with proceedings, are not allowed. Authors can 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.
  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. Submissions 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

Awards

The following awards will be given to selected contributed papers during the conference:

  • Best paper award
  • Best student paper award

All the authors in any paper considered for the best student paper award must be students at the time of submission of the paper. Please note that it is possible for neither of these awards to be given in the event that none of the submitted papers meet the requisite standards.

Programme Committee

Chairs

Members

Invited Speakers

More speaker confirmations are awaited.

Organizing Committee Chairs

Co-located Workshops

Asian Workshop on Philosophical Logic (AWPL)

Contact

For any queries or suggestions, feel free to write to: icla2025@gmail.com.

More information and updates about the conference can be found at: https://logicindia.org/icla/icla2025/.

(Last updated: Aug 26, 2024 IST)

Copyright © 2002 – 2024 EasyChair