ICLA 2021

9th Indian Conference on Logic and its Applications


About the artist: Ram Kumar (1924-2018), Image source (Courtesy: Vadehra Art Gallery)

Home Programme Invited Speakers Panel discussions Call for Papers Accepted Papers Important dates Registration Committee Contact



Call for Papers

The conference invites authors to present their research in any area of logic and applications. Being an online conference, ICLA 2021 will have a different programme structure from earlier conferences, with contributed talks limited to only 15 minutes' duration. The Proceedings of the conference will be a reviewed collection of abstracts published online, with selected papers being invited for submission to a special issue of a Journal after the conference.

Scope:

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

We welcome reports of Work in Progress, and this should be highlighted along with the title and abstract.

Submission Guidelines:

The extended abstract must not exceed 5 pages in Easychair LaTeX style: Style files. If appropriate, a live link to a full version of the paper hosted on a freely accessible website may be provided. Concurrent submissions to other conferences/journals are not admissible.

For an accepted paper to be included in the proceedings, one of the authors must commit to presenting the paper at the conference.

All submissions must be made through the Easychair link: ICLA 2021 Easychair link


News and updates