posted by user: sadegh_rk || 2243 views || tracked by 5 users: [display]

ICLA 2022 : 10th Indian Conference on Logic and its Applications

FacebookTwitterLinkedInGoogle

Link: https://icla2023.iiti.ac.in/cfp.html
 
When Mar 3, 2022 - Mar 5, 2022
Where India
Submission Deadline Oct 2, 2022
Notification Due Nov 29, 2022
Final Version Due Dec 16, 2022
Categories    formal methods   logic   theoretical computer science   artificial intelligence
 

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.

Related Resources

ICMCT&A 2025   ICMCT&A´25 - The 2025 International Conference on Marketing, Communication, Technologies and Applications
IEEE-Ei/Scopus-ACEPE 2024   2024 IEEE Asia Conference on Advances in Electrical and Power Engineering (ACEPE 2024) -Ei Compendex
21st AIAI 2025   21st (AIAI) Artificial Intelligence Applications and Innovations
IEEE-Ei/Scopus-SGGEA 2024   2024 Asia Conference on Smart Grid, Green Energy and Applications (SGGEA 2024) -EI Compendex
CLNLP 2025   2025 2nd International Conference on Computational Linguistics and Natural Language Processing
SPIE-Ei/Scopus-DMNLP 2025   2025 2nd International Conference on Data Mining and Natural Language Processing (DMNLP 2025)-EI Compendex&Scopus
MobiCASE 2025   16th EAI International Conference on Mobile Computing, Applications and Services
Ei/Scopus-ACAI 2024   2024 7th International Conference on Algorithms, Computing and Artificial Intelligence(ACAI 2024)
OOPSLA 2025 Round 2 2025   Conference on Object-Oriented Programming Systems, Languages, and Applications (Round 2)
Ei/Scopus-CISDS 2024   2024 3rd International Conference on Communications, Information System and Data Science (CISDS 2024)