ICLA 2023: 10th Indian Conference on Logic and its Applications IIT Indore Indore, India, March 3-5, 2023 |

Conference website | https://icla2023.iiti.ac.in/index.html |

Submission link | https://easychair.org/conferences/?conf=icla2023 |

Abstract registration deadline | October 9, 2022 |

Submission deadline | October 9, 2022 |

**Topics of interest**

Authors are invited to submit papers presenting original and unpublished research in any area of logic and applications. Articles on mathematical and philosophical logic, foundations and philosophy of mathematics and the sciences, set theory, history of logic, Indian systems of logic, use of formal logic in areas of theoretical computer science, formal verification and artificial intelligence, or on the relationship between logic and other branches of knowledge, are welcome.

Instructions for Submission

Submissions must be in English and should provide sufficient detail to allow the programme committee to assess the merits of the paper. The submission may not exceed 12 pages in Springer-Verlag Lecture Notes LaTeX2e style (see here.)

All submissions will be in electronic form and submitted through Easychair via link.

Submission Guidelines:

If necessary, detailed proofs of technical results can be included in a clearly marked appendix which may be read at the discretion of the programme committee. The submission must be a PDF file. Concurrent submission to journals or to other conferences with proceedings is not allowed. Submitted papers will be peer-reviewed and accepted papers will be published in the conference proceedings, which will be made available at the time of the conference. It is expected that the conference proceedings will appear as a volume in the Springer Lecture Notes in Computer Science. For an accepted paper to be included in the proceedings, one of the authors must commit to presenting the paper at the conference.