Call for Papers |
ALI, the Association for Logic in India, announces the tenth edition of its biennial Indian Conference on Logic and its Applications (ICLA), to be held at the Indian Institute of Technology Indore, from March 3 to 5, 2023.
ICLA is a forum for bringing together researchers from a wide variety of fields in which formal logic plays a significant role, including mathematicians, philosophers, computer scientists, linguists, logicians studying foundations of formal logic. A special feature of this conference is the inclusion of studies in systems of logic in the Indian tradition, and historical research on logic. ================== 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. +++++++++++++++++++++ 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. |
Summary |
ICLA 2022 : 10th Indian Conference on Logic and its Applications will take place in India. It’s a 3 days event starting on Mar 3, 2022 (Thursday) and will be winded up on Mar 5, 2022 (Saturday). ICLA 2022 falls under the following areas: FORMAL METHODS, LOGIC, THEORETICAL COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE, etc. Submissions for this Conference can be made by Oct 2, 2022. Authors can expect the result of submission by Nov 29, 2022. Upon acceptance, authors should submit the final version of the manuscript on or before Dec 16, 2022 to the official website of the Conference. Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines. Other Details of the ICLA 2022
|
Credits and Sources |
[1] ICLA 2022 : 10th Indian Conference on Logic and its Applications |